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 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.
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 is a forum for researchers active in formal methods and in software
engineering. The 2015 edition is organized at the University of York in