Section: Dissemination

Promoting Scientific Activities

Organization of Scientific Events

• Jasmin Blanchette co-organized the first Verification and Deduction Mentoring Workshop (VDMW 2018) as part of the Federated Logic Conferences (FLoC 2018) in Oxford, UK. He also coorganized two workshops at VU Amsterdam: the First European Workshop on Higher-Order Automated Reasoning (Matryoshka 2018) and the Fourth International Workshop on Automated (Co)inductive Theorem Proving (WAIT 2018).

• Igor Konnov and Stephan Merz were organizers of the fifth Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2018) as part of the Federated Logic Conference (FLoC 2018) in Oxford, UK.

• Stephan Merz was the main organizer of the TLA⁺ Community Meeting as part of the Federated Logic Conference (FLoC 2018) in Oxford, UK.

• Thomas Sturm co-organized two international interdisciplinary workshops on Symbolic Methods for Biological Networks at the University of Bonn, Germany.

• 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 2018, VTSA took place in August in Nancy, France.

Program Committees

Chair of Conference Program Committees

• Igor Konnov served as a chair of the Artifact Evaluation Committee at Computer-Aided Verification (CAV 2018).

• Dominique Méry was a co-chair of the program committee of the 8th International Conference on Model and Data Engineering (MEDI 2018), organized in Marrakesh, Morocco, in October 2018.

• Uwe Waldmann co-chaired the program committee of Deduktionstreffen 2018, the annual meeting of the Interest Group for Deduction Systems (FGDedSys) of the AI Chapter of the German Society of Informatics.

Member of Conference Program Committees

• Jasmin Blanchette served on the program committees of the NASA Formal Methods Symposium (NFM 2018), the Conference on Computer-Aided Verification (CAV 2018), the International Conference on Tests and Proofs (TAP 2018), the International Joint Confrence on Automated Reasoning (IJCAR 2018), the Interational Conferene on Interactive Theorem Proving (ITP 2018), the ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2018), and the Conference on Artificial Intelligence and Theorem Proving (AITP 2018). He also served on the workshop committees for the International Workshop on the Implementation of Logics (IWIL 2018) and the Deduktionstreffen 2018.

• Pascal Fontaine served on the program committees of the International Joint Confrence on Automated Reasoning (IJCAR 2018), the International Workshop on the Implementation of Logics (IWIL 2018), the International Workshop on Practical Aspects of Automated Reasoning (PAAR 2018), the Satisfiability Checking and Symbolic Computation Workshop (SC-Square 2018).

• Igor Konnov served on the program committees of ACM Symposium on Principles of Distributed Computing (PODC 2018), Formal Methods in Computer-Aided Design (FMCAD 2018), International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018), International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018), Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018), and Workshop on Program Semantics, Specification, and Verification (PSSV 2018).

• Dominique Méry served on the program committees of the International Conference on Engineering of Complex Computer Systems (ICECCS 2018), the International Symposium on Formal Methods (FM 2018), the International Conference on Formal Engineering Methods (ICFEM 2018), the International Conference on Integrated Formal Methods (iFM 2018), the International Conference on ASM, Alloy, B, TLA, VDM and Z (ABZ 2018), the Workshop on Formal Methods for Interactive Systems (FMIS 2018), the Workshop in Formal Models for Mastering Multifaceted Systems (REMEDY 2018), the Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2018), and the Workshop on Software Engineering in Healthcare Systems (SEHS 2018).

• Stephan Merz served on the program committees of the International Conference on ASM, Alloy, B, TLA, VDM and Z (ABZ), the International Conference on Formal Methods for Industrial Critical Systems (FMICS), the International Conference on Formal Engineering Methods (ICFEM), the International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA), the International Workshop on Automated Verification of Critical Systems (AVoCS), and the International Workshop about Sets and Tools (SETS).

• Sorin Stratulat served on the program committees of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2018), the International Conference on Information Assurance and Security (IAS 2018), and the International Conference on Computational Intelligence in Security for Information Systems (CISIS 2018).

• Thomas Sturm served on the program committees of Automated Deduction in Geometry (ADG 2018), Computer Algebra in Scientific Computation (CASC 2018), the International Joint Confrence on Automated Reasoning (IJCAR 2018), the Satisfiability Modulo Theories Workshop (SMT 2018), the Satisfiability Checking and Symbolic Computation Workshop (SC-Square 2018).

• Uwe Waldmann served on the program committee of the International Joint Confrence on Automated Reasoning (IJCAR 2018).

• Christoph Weidenbach served on the program committee of the International Joint Conference on Automated Reasoning (IJCAR 2018) and the senior program committee of International Joint Conference on Artificial Intelligence (IJCAI 2018).

Journals

Member of Editorial Boards

• Jasmin Blanchette and Stephan Merz served as guest editors for the special issue on Interactive Theorem Proving (ITP 2016) of the Journal of Automated Reasoning.

• Dominique Méry is Book Reviews Editor for Formal Aspects of Computing.

• Thomas Sturm is an editor of the Journal of Symbolic Computation (Elsevier) since 2003 and an editor of Mathematics in Computer Science (Springer) since 2013.

• Christoph Weidenbach is a member of the editorial board of the Journal of Automated Reasoning (Springer). He also served as an editor on the special issue on Automated Reasoning Systems of JAR.

Invited Talks

• Jasmin Blanchette was invited to give a seminar talk at the University of Edinburgh on the IsaFoL (Isabelle Formalization of Logic) project.

• Marie Duflot-Kremer was an invited speaker at EduCode 2018 in Brussels, Belgium, where she presented the Class'Code project.

• Pascal Fontaine was an invited speaker at Deduktionstreffen 2018 in Luxembourg. He was an invited lecturer at the EPIT 2018 Software Verification Spring School in Aussois, France and at the SAT-SMT-AR school 2018 in Manchester, UK.

• Igor Konnov was invited to give a tutorial at the Dagstuhl Seminar 18211 “Formal Methods and Fault-Tolerant Distributed Computing: Forging an Alliance” in Dagstuhl, Germany. He was also invited to give talks at the Workshop on Verification of Distributed Systems, Essaouira, Morocco, and Helmut Veith Memorial Workshop in Obertauern, Austria. Furthermore, he gave a talk (together with Josef Widder) on one of the research highlights of the RISE project at Alpine Verification Meeting in Wagrain, Austria.

• Stephan Merz was invited to give a seminar talk at EPFL Lausanne on the use of auxiliary variables for proving refinement between TLA⁺ specifications.

• Thomas Sturm was an invited speaker at ISSAC 2018 in New York. He was furthermore invited to give a lecture at the graduate school for mathematics at RWTH Aachen University, Germany, and a seminar talk at Johannes Kepler University Linz, Austria.

• Uwe Waldmann was invited to give a tutorial on Saturation Theorem Proving at the SAT/SMT/AR Summer School 2018 in Manchester, UK.

• Christoph Weidenbach gave an invited talk on Robust Automated Reasoning at the 2018 Innsbruck Symposium on Integration of Automated Deduction and Interactive Theorem Proving.

Leadership within the Scientific Community

• Jasmin Blanchette is a regular member of the CADE (Conference on Automated Deduction) Inc. Board of Trustees. He is also a regular member of the steering committees for the ITP (Interactive Theorem Proving) and TAP (Tests and Proofs) conference series.

• Marie Duflot-Kremer is an elected member of the council of SIF, the French association for computer science.

• Pascal Fontaine is an SMT-LIB manager, together with Clark Barrett (Stanford University) and Cesare Tinelli (University of Iowa). He is a regular member of steering committees for the FroCoS (Frontiers of Combining Systems) conference series, and for the SC-Square (Satisfiability Checking and Symbolic Computation workshop series. He is ex-officio member of the CADE (Conference on Automated Deduction) Inc. Board of Trustees. He is an elected member of the steering committee for the SMT (Satisfiability Modulo Theories) workshop series.

• Stephan Merz is a member of the IFIP Working Group 2.2 on Formal Description of Programming Concepts, a member of the committee for the SIF thesis award (Prix Gilles Kahn), and a member of the steering committee of the workshop on Automated Verification of Critical Systems (AVoCS).

• Thomas Sturm is a member at large of the steering committee of the ACM conference series International Symposium on Symbolic and Algebraic Computation (ISSAC).

• Christoph Weidenbach is the president of CADE and a member of the steering committee of IJCAR.

Scientific Expertise

• Dominique Méry and Stephan Merz served as experts for ANR, the French national research agency.

• Christoph Weidenbach served as an expert for the German Science Foundation (DFG).

Research Administration

• Marie Duflot-Kremer is an elected member of the council of LORIA. She was a member of the hiring committee for an associate professor at Université Paris-Est-Créteil.

• Stephan Merz is the delegate for scientific affairs at the Inria Nancy – Grand Est research center and a member of Inria's Evaluation Committee. In 2018, he was a member of the hiring committees of senior researchers at Inria and of junior researchers at Inria Paris. He is also a member of the bureau of the computer science committee of the doctoral school IAEM Lorraine and of the executive committee of the project on citizens' trust in the digital world (DigiTrust) funded by Lorraine Université d'Excellence.

• Uwe Waldmann is a member of the admissions committee for scholarships of the International Max-Planck Research School for students aiming at a master's degree.

• Christoph Weidenbach is a member of the selection committee of the Saarbrücken Graduate School in Computer Science.