recent talks
research projects
student projects

Stephan Merz — events

Some events I am currently affiliated with:
The summer school on Verification Technology, Systems, and Applications is organized every year in the Greater Region. The organizing institutions are INRIA Nancy, Max-Planck-Institut für Informatik Saarbrücken, and the Universities of Koblenz, Liège and Luxembourg. It is a five-day event with five speakers that get two half-days to present their field in sufficient detail. The focus is on an integration of theory, tool support, and real-world applications. The 2015 edition takes place during the last week of August in Koblenz, Germany.
AVoCS is a yearly workshop on automated verification of system, understood broadly. It is intended as a friendly meeting where young researchers (in particular, Ph.D. students) are encouraged to present their work and get feedback. I am a member of the AVoCS steering committee. The 2014 edition is organized at the University of Twente.
MSR 2015
MSR is a meeting of the French community of computer scientists and control theorists interested in techniques for modeling, analyzing, and controlling reactive systems. We are organizing MSR 2015 in Nancy in November 2015.
FRIDA 2015: Formal Reasoning in Distributed Algorithms
This workshop is affiliated with DisCoTec 2015, a federation of conferences on formal techniques for distributed algorithms and systems. It is organized in Grenoble in June. The FRIDA workshop is an interdisciplinary effort by scientists from the fields of formal methods, logic in computer science, and distributed algorithm theory in order to bring together researchers interested in the verification of distributed algorithms.
ICFEM 2015
The International Conference on Formal Engineering Methods provides a forum for researchers and practitioners interested in applying formal methods to software systems. The 2015 edition takes place in Paris in November.
SEFM 2015
SEFM is a forum for researchers active in formal methods and in software engineering. The 2015 edition is organized at the University of York in September.

Stephan Merz