Stephan Merz — events

VTSA

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 2016 edition takes place during the last week of August in Liège, Belgium.

AVoCS

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 2016 edition is organized by the University of Pisa, jointly with the FMICS workshop.

FRIDA: Formal Reasoning in Distributed Algorithms

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 2016 edition was co-located with NETYS 2016 in Marrakech, Morocco.

ITP 2016: 7th International Conference on Interactive Theorem Proving

The flagship conference on interactive theorem proving was organized from August 22 to 27 at the Inria Nancy research center.