Section: Dissemination

Promoting Scientific Activities

Organization of scientific events

General Chair, Scientific Chair

Pascal Fontaine co-organized the SAT/SMT Summer School 2014, affiliated with Vienna Summer of Logic, in Semmering, Austria.

Stephan Merz is a member of the steering committee of the workshop on Automated Verification of Critical Systems (AVoCS). He co-organized the TLA⁺ Community Event, a satellite of ABZ 2014 in June in Toulouse.

Thomas Sturm is chair of the steering committee of the conference series Mathematical Aspects of Computer and Information Sciences (MACIS). He coordinated the CDZ Workshop GZ1115 Computation and Reasoning with Constraints, Beijing, China, 2014.

Christoph Weidenbach is a member of the steering committee of Bundeswettbewerb Informatik, the German competition among high-school students in computer science.

Membership in Organizing Committees

The International Summer School on Verification Techniques, Systems, and Applications (VTSA) has been organized since 2008 in the Greater Region (Nancy, Saarbrücken, Luxembourg, and Liège), and Stephan Merz and Christoph Weidenbach are co-organizers of VTSA. In 2014, VTSA took place during the last week of October in Luxembourg.

Service in Program Committees

Chairmanship of Conference Program Committees

Dominique Méry was co-chair of the program committee of the 11th International Colloquium on Theoretical Aspects of Computing, held in Bucharest, Romania in September, and of the First Workshop on Formal Integrated Development Environments, a satellite of ETAPS in Grenoble, France, in April.

Stephan Merz was co-chair of the program committee of the 16th International Conference on Formal Engineering Methods, held in Luxembourg in November, and of the First International Workshop on Formal Reasoning in Distributed Algorithms (FRIDA) in July, as part of Vienna Summer of Logic.

Christoph Weidenbach was co-chair of the program committee for the 7th International Joint Conference on Automated Reasoning (IJCAR) that took place in Vienna, Austria, as part of Vienna Summer of Logic.

Membership in Conference Program Committees

Pascal Fontaine served on the program committees of the International Joint Conference on Automated Reasoning (IJCAR) and of the workshops PAAR and SMT.

Dominique Méry served on the program committees of ABZ, AFADL, CSDM, MedicalCPS, FHIES, FM, ICFEM, iFM, and FACS.

Stephan Merz served on the program committees of the international conferences ABZ, IJCAR, SAC, SEFM, SSS, and of the workshops AVoCS, GRSRD, SETS, and VERIFY.

Uwe Waldmann served on the program committee of IJCAR.

Journal Edition

Stephan Merz (together with Gerald Lüttgen of University of Bamberg) edited a special issue of Science of Computer Programming on the Automated Verification of Critical Systems, following AVoCS 2012.

Thomas Sturm is a member of the editorial boards of the Journal of Symbolic Computation (Elsevier) and Mathematics in Computer Science (Springer).

Christoph Weidenbach is an editor of the Journal of Automated Reasoning.

Scientific Bodies and Self-Administration

Pascal Fontaine was an elected member of the SMT Steering Committee (2012–2014), and he is one of three SMT-LIB managers. He was elected CADE trustee in October 2014.

Dominique Méry is a member of the IFIP Working Group 1.3 on Foundations of System Specification. He is the head of the Doctoral School IAEM Lorraine for the University of Lorraine and head of the Formal Methods department of the LORIA laboratory. He is an expert for the French Ministry of Education (DS9), an expert for the French Agence Nationale de la Recherche (ANR) and for AERES.

Stephan Merz is a member of the IFIP Working Group 2.2 on Formal Description of Programming Concepts. He is a member of the Scientific Directorate of the International Computer Science Meeting Center in Schloss Dagstuhl. He is the delegate for the organization of conferences at the Inria Nancy Grand Est research center and co-head of the PhD committee for computer science in Lorraine. He was a member of the hiring committee for an associated professor at Université Toulouse 3 and an expert for Agence Nationale de la Recherche (ANR), for Haut Conseil de l'Évaluation de la Recherche et de l'Enseignement Supérieur (HCERES), for the German DFG, the Dutch NWO, and for the European Research Council (ERC).

Thomas Sturm is a member of the selection committee for MSc and PhD students at the International Max Planck Research School.

Christoph Weidenbach is a trustee of CADE (elected 2009, reelected 2012). He is a member of the selection committee of the Saarbrücken Graduate School in Computer Science.