conference

Our research group organized the International Symposium on Distributed Computing (DISC) conference held in Budapest between the 14^th and 18^th of October 2019. DISC is a prestigious international forum on the theory, design, analysis, implementation, and application of distributed systems and networks.

The organizing committee included András Pataricza (general chair), Zoltán Micskei (general co-chair), Gábor Huszerl (local organization chair) and Ákos Hajdu (web chair). Read more »

Dr. Dániel Varró will serve as the program committee co-chair of SLE 2016 (9th International Conference on Software Language Engineering) to be hosted in Amsterdam together with Emilie Balland (INRIA).

Our research group participated at the STAF 2015 (Software Technologies: Applications and Foundations) conference in L'Aquila, Italy, in different roles: Read more »

Our paper entitled "New search strategies for the Petri net CEGAR approach" is accepted to the "36th International Conference on Application and Theory of Petri Nets and Concurrency".

This paper introduces our theoretical and algorithmic results regarding the advanced CounterExample Guided Abstraction Refinement algorithm applied to Petri nets.

A paper by our research group has been accepted at the TACAS 2015 (International Conference on Tools and Algorithms for the Construction and Analysis of Systems) scientific conference, a top international forum for tools and algorithms for the construction and analysis of systems.

We would like to thank our student collaborators and the reviewers for their helpful feedback.

The title of our accepted paper: Saturation-based Incremental LTL Model Checking with Inductive Proofs

Three papers by our research group have been accepted at the MODELS 2014 (ACM/IEEE Model Driven Engineering Languages and Systems) scientific conference, the top international forum for model-driven software engineering. Read more »

The program committee of the CSMR-WCRE 2014 Software Evolution Week conference named the common publication of researchers of our group and the Department of Software Engineering,University of Szeged, titled "Anti-pattern detection with model queries: A comparison of approaches". Read more »

The paper of Oszkár Semeráth, Ákos Horváth and Dániel Varró: Validation of Derived Features and Well-Formedness Constraints in DSLs received the Springer Best Paper Award at the IEEE/ACM MODELS 2013 conference, organized in Miami Beach, Florida, US, selected by the Programme Committee from the total 34 accepted contributions of the "Foundation Track". Read more »

The STAF 2013 conference - a federation of leading conferences on software technology - was organized successfully betweeen June 17-20 by the Fault Tolerant Systems Research Group in Budapest for the first time. Read more »

ETAPS 2013, the largest European conference on the theory and practice of software science was organized between March 16th and 24th in Rome, Italy. This year, Dániel Varró participated from our group as program co-chair of FASE 2013 (Fundamental Approaches to Software Engineering) conference. 

Some photos taken at the conference with over 600 participants are available here.