Fault Tolerant Systems Research Group

Ákos Hajdu, a PhD student of our group participated in the SAT/SMT/AR 2016 (Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning) summer school in Lisbon, Portugal, where he presented his own work in the poster session. The title of his poster is "A SAT/SMT-based CEGAR Framework"

The Open IoT Developer Challenge is an annual challenge organized by the Eclipse IoT Working Group of EclipseCon North America and sponsored by bitreactive, Eurotech, MicroEJ, Red Hat, and Zolertia. Participants are given three months to create an innovative IoT solution using open source software and open standards.

Prof. Dániel Varró gave a 90-minute keynote talk with the title of "Incremental Queries and Transformations From Concepts to Industrial Applications" at SOFSEM 2016 42nd International Conference on Current Trends in Theory and Practice of Computer Science which was organized in 2016 in Harrachov, Czech Republic.

Dávid Honfi, PhD student of our research group, held a presentation about automated test generation on the 9th Enterprise Developer Meetup.

The Enterprise Developer Meetup series is organized by LogMeIn and Microsoft Hungary. Its target audience consists of developers and architects who are open to cutting-edge technologies. The meetup is currently running its second season and due to its popularity, the number of attendees usually reaches 80 or higher. Read more »