Section: Dissemination

Promoting Scientific Activities

Organization of scientific events

General chair, scientific chair

• Jasmin Blanchette and Christoph Weidenbach co-organized the Dagstuhl seminar 15381 “Information from Deduction: Models and Proofs” with Nikolaj Bjørner (Microsoft Research, Redmond, USA) and Viorica Sofronie-Stokkermans (Universität Koblenz-Landau, Germany).

• Jasmin Blanchette is an ex officio member of the steering committee of the conference series Interactive Theorem Proving.

• Pascal Fontaine and Thomas Sturm co-organized the Dagstuhl seminar 15471 “Symbolic Computation and Satisfiability Checking” with Erika Abraham (RWTH, Aachen, Germany) and Dongming Wang (Beihang University, Beijing, China).

• Stephan Merz is a member of the steering committee of the workshop on Automated Verification of Critical Systems (AVoCS). He chaired the organizing committee of the Journées Nationales of the working groups Géométrie du Calcul, Logique, Algèbre et Calcul, and Logique, Types et Preuve of GDR IM and GDR GPL in October 2015 in Nancy.

• Thomas Sturm is chair of the steering committee of the conference series Mathematical Aspects of Computer and Information Sciences (MACIS).

• 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

• Jasmin Blanchette was co-chair of workshops, tutorials, and system competitions of CADE-25 in Berlin.

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

• Dominique Méry and Stephan Merz were part of the organizing committee of the 10th edition of the conference Modélisation des Systèmes Réactifs (MSR 2015) in November 2015 in Nancy.

Service in Program Committees

Chair of conference program committees

• Jasmin Blanchette co-chaired the program committee of the Ninth International Conference on Tests and Proofs in July, as part of the STAF Conference Series in L'Aquila, Italy.

• Dominique Méry co-chaired the program committee of the Second Workshop on Formal Integrated Development Environments [38] , a satellite of the Formal Methods conference in Oslo, in June 2015.

• Stephan Merz co-chaired the program committee of the Second International Workshop on Formal Reasoning in Distributed Algorithms (FRIDA) in June, as part of the DisCoTec federation of conferences in Grenoble, and of the 10th edition of the French conference Modélisation des Systèmes Réactifs (MSR 2015) in Nancy.

Membership in conference program committees

• Jasmin Blanchette served on the program committee of the International Conference on Automated Deduction (CADE).

• Pascal Fontaine served on the program committees of the International Conference on Frontiers of Combining Systems (FroCoS) and of the workshop SMT.

• Dominique Méry served on the program committees of FM2015, ICTAC 2015, ICECCS 2015, and MEDI 2015.

• Stephan Merz served on the program committees of the international conferences ICFEM, NETYS, SEFM, and of the workshops AVoCS, GRSRD, SETS, and SYNASC.

• Thomas Sturm served on the program committees of CASC 2015, MACIS 2015, and ISSAC 2015.

• Uwe Waldmann served on the program committee of the 11th International Workshop on the Implementation of Logics.

• Christoph Weidenbach served on the program committee of the International Conference on Frontiers of Combining Systems (FroCoS).

Editorial boards of journals

• Pascal Fontaine, Thomas Sturm, and Uwe Waldmann edited Mathematics in Computer Science 9(3), a special focus volume on Constraints and Combinations.

• Dominique Méry is a member of the editorial board of the journal Formal Aspects of Computing (Springer).

• Stephan Merz, together with Jun Pang of the University of Luxembourg, is the editor of a special issue of Formal Engineering Methods in the journal Formal Aspects of Computing.

• Martin Quinson is a member of the editorial board of the Interstices journal, aiming at increasing the scientific outreach of informatics.

• 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.

Invited talks

• Stephan Merz gave an invited lecture at Journées Francophones des Langages Applicatifs in January 2015. He also gave an invited talk at Aarhus University on Modeling Distributed Algorithms in TLA⁺.

• Thomas Sturm gave an invited talk at FroCoS 2015 titled From Complete Elimination Procedures to Subtropical Decisions over the Reals.

• Christoph Weidenbach gave an invited tutorial “25th Anniversary of Superposition: Status and Future” at the International Conference on Automated Deduction (CADE), together with Stephan Schulz. He gave an invited tutorial “Automated Reasoning Building Blocks” at the International Conference on Frontiers of Combining Systems (FroCoS).

Leadership within the scientific community

• Jasmin Blanchette was elected editor of the newsletter of the Association for Automated Reasoning (AAR) and member of the AAR board.

• Pascal Fontaine 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.

• Stephan Merz is a member of the IFIP Working Group 2.2 on Formal Description of Programming Concepts.

• Christoph Weidenbach is a trustee of CADE (elected 2009, reelected 2012).

Scientific expertise

• Jasmin Blanchette is an expert for the French Agence Nationale de la Recherche (ANR) and the Deutsche Forschungsgemeinschaft (DFG).

• Pascal Fontaine was a panel member for the CASC-25 competition of first-order theorem provers.

• Dominique Méry is an expert for the French Agence Nationale de la Recherche (ANR) and for HCERES.

• Stephan Merz is an expert for the French Agence Nationale de la Recherche (ANR), for the German DFG, and for the European Research Council (ERC). He helped IRISA Rennes evaluate the opportunity of creating a new research team.

• Christoph Weidenbach is an advisor for the German-Israeli Foundation for Scientific Research.

Research administration

• Dominique Méry 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.

• Stephan Merz 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 head of the PhD committee for computer science of the Doctoral School IAEM Lorraine. He is also the coordinator of the CPER Sciences du Numérique in Lorraine (2015–2020).

• 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 member of the selection committee of the Saarbrücken Graduate School in Computer Science.