Section: Dissemination

Promoting Scientific Activities

Organization of Scientific Events

Membership in Organizing Committees

• Jasmin Blanchette co-organized the 2nd Deduction Mentoring Workshop (DeMent 2019). He also coorganized the VeriDis Group Retreat + Second European Workshop on Higher-Order Automated Reasoning (Matryoshka 2019).

• Pascal Fontaine co-organized the Third Workshop on Mathematical Logic and its Applications, in Nancy.

• Igor Konnov and Stephan Merz were organizers of the sixth Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2019), colocated with DISC 2019 in Budapest, Hungary.

• 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 2019, VTSA took place in August in Esch sur Alzette, Luxembourg.

Program Committees

Chair of Conference Program Committees

• Jasmin Blanchette co-chaired the program committee of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020).

• Pascal Fontaine served as the chair of the Conference on Automated Deduction (CADE-27).

• Dominique Méry co-chaired the program committee of the 13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019).

• Stephan Merz was Tool Exhibition Chair at the 3rd World Congress for Formal Methods (FM Week 2019).

Membership in Conference Program Committees

• Jasmin Blanchette served on the program committees of the 27th International Conference on Automated Deduction (CADE-27), 19th Conference on Formal Methods in Computer-Aided Design (FMCAD 2019), 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019), 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019), 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), and 4th Conference on Artificial Intelligence and Theorem Proving (AITP 2019). He also served on the following workshop committees: Second Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019) and Deduktionstreffen 2019.

• Pascal Fontaine served on the program committees of the International Symposium on Frontiers of Combining Systems (FroCoS 2019), the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019), and the International Conference on Theory and Applications of Satisfiability Testing (SAT 2019). He also served on the committee of Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019).

• Dominique Méry served on the program committees of the 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), the 8th Workshop on Formal Methods for Interactive Systems (FMIS 2019), the Workshop on Practical Formal Verification for Software Dependability (AFFORD'19), the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), the Workshop on Formal Methods for Autonomous Systems (FMAS 2019), the 23rd International Symposium on Formal Methods (FM 2019), the Workshop on Models and Data Engineering for Cyber-Physical Systems (CPS@MEDI 2019), the Workshop on Formal Models for Mastering Heterogeneous Multifaceted Systems (REMEDY 2019), the 3rd Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2019), the 21st International Conference on Formal Engineering Methods (ICFEM 2019), and the 9th International Conference on Model and Data Engineering (MEDI 2019).

• Stephan Merz served on the program committees of the 19th International Workshop on Automated Verification of Critical Systems (AVoCS 2019), the Doctoral Symposium, Formal Methods (DS-FM 2019), the 5th International Workshop on Formal Integrated Development Environment (F-IDE 2019), and the 21st International Conference on Formal Engineering Methods (ICFEM 2019).

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

• Thomas Sturm served on the program committees of the 21st International Workshop on Computer Algebra in Scientific Computing (CASC 2019) and the 4th International Workshop on Satisfiability Checking and Symbolic Computation (SC-SQUARE 2019).

• Uwe Waldmann served on the program committees of the 27th International Conference on Automated Deduction (CADE-27) and the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019).

• Christoph Weidenbach served on the program committees of the International Conference on Automated Deduction (CADE 27), and the International Symposium on Frontiers of Combining Systems (FroCoS 2019). He also served on the committee of Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019).

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 [16].

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

• Thomas Sturm has been an editor of the Journal of Symbolic Computation (Elsevier) since 2003 and an editor of Mathematics in Computer Science (Springer) since 2013. He edited a special issue of the Journal of Symbolic Computation on Symbolic Computation and Satisfiability Checking.

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

Invited Talks

• Jasmin Blanchette gave a keynote talk at the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2019).

• Dominique Méry was an invited speaker at the 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019).

• Stephan Merz was invited to the meeting of IFIP Working Group 2.3 in October 2019 in Los Altos, California. He was an invited speaker at the meeting of the AFSEC group of GDR GPL in December 2019 in Toulouse.

• Sorin Stratulat was an invited speaker at FROM 2019 (Working Formal Methods Symposium) in Timisoara, Romania, where he presented an efficient way to validate cyclic pre-proofs for first-order logic with inductive definitions.

• Christoph Weidenbach was invited to give a lecture at the SAT/SMT/AR summer school 2019 in Lisbon, Portugal. He was invited to present at the computer science lecture series at the University of Bonn, Germany.

Leadership within the Scientific Community

• Jasmin Blanchette served as 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.

• Pascal Fontaine is an SMT-LIB manager, together with Clark Barrett (Stanford University) and Cesare Tinelli (University of Iowa). He was a regular member of the steering committee for the FroCoS (Frontiers of Combining Systems) conference series until September 2019, and he is a member of the steering committee for the SC-Square (Satisfiability Checking and Symbolic Computation workshop series. He was ex-officio member of the CADE (Conference on Automated Deduction) Inc. Board of Trustees until July 2019. 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 and a member of the steering committee of the workshop on Automated Verification of Critical Systems (AVoCS).

• Thomas Sturm has been elected the chair 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 was a member of the committee for the thesis award of GDR GPL (Génie de la Programmation et du Logiciel) 2019.

• Stephan Merz contributed an assessment of candidates for a professorship at TU Vienna, Austria.

• Thomas Sturm served as an external expert on the appointment committee for a professorship in Computer Algebra at the University of Kassel, Germany. He is taking an advisory role as a “project partner” in the UK EPSRC Project EP/R019622/1 Embedding Machine Learning within Quantifier Elimination Procedures.

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

Research Administration

• Dominique Méry participated in the evaluation committees of HCERES for the LIASD (Laboratoire d’informatique avancée de Saint-Denis) and the doctoral school of École Polytechnique.

• 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 2019, he was a member of the hiring committees of senior researchers at Inria and of junior researchers at Inria Rennes Bretagne Atlantique. 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 coordinates the scientific affairs at MPI-INF.