Section: Dissemination

Promoting Scientific Activities

Organization of Scientific Events

General Chair, Scientific Chair

• Jasmin Blanchette and Stephan Merz, with the help of Anne-Lise Charbonnier of Inria Nancy, organized the 7th International Conference on Interactive Theorem Proving (ITP 2016) and associated workshops in Nancy, on August 22–27, 2016.

Member of the Organizing Committees

• Jasmin Blanchette co-organized the Hammers for Type Theories (HaTT 2016) workshop at IJCAR 2016 in Coimbra, Portugal.

• Pascal Fontaine co-organized the First SC${}^2$ workshop on Satisfiability Checking and Symbolic Computation with Erika Abraham (RWTH, Aachen).

• Pascal Fontaine co-organized the 5th Workshop on Practical Aspects of Automated Reasoning (PAAR) with Stephan Schulz (DHBW Stuttgart) and Josef Urban (Czech Technical University in Prague).

• Dominique Méry was a member of the organizing committees of the workshops F-IDE, BWare, Impex, and Formose.

• Dominique Méry, together with Yamine Aït-Ameur (Toulouse) and Shin Nakajima (Tokyo), organized a meeting on Implicit and explicit semantics integration in proof based developments of discrete systems in November within the series of NII Shonan meetings.

• 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 2016, VTSA took place at the end of August in Liège, Belgium.

Selection of Scientific Events

Chair of Conference Program Committees

• Jasmin Blanchette and Stephan Merz chaired the program committee of the 7th International Conference on Interactive Theorem Proving (ITP 2016).

• Stephan Merz co-chaired the program committee of the Third International Workshop on Formal Reasoning in Distributed Algorithms (FRiDA), organized in May as a satellite of NETYS in Marrakech, Morocco.

Member of Conference Program Committees

• Jasmin Blanchette served on the program committee of the International Conference on Tests and Proofs (TAP).

• Pascal Fontaine served on the program committee of the workshop SMT.

• Stephan Merz served on the program committees of the international conferences ABZ, ICALP, and ICFEM, and of the workshops ARQNL, FMICS-AVoCS, and GRSRD.

• Martin Strecker served on the program committees of ICTERI and ICGT.

• Thomas Sturm served on the program committees of CASC and of the SC${}^2$ workshop at SYNACS.

• Uwe Waldmann served on the program committee of the workshop PAAR, colocated with IJCAR 2016.

• Christoph Weidenbach served on the program committee of IJCAR.

Journals

• Stephan Merz, together with Jun Pang of the University of Luxembourg, edited two volumes of a special issue on Formal Engineering Methods in the journal Formal Aspects of Computing.

• 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. Together with Deepak Kapur and Stéphane Demri he edited a special issue of JAR containing selected and extended papers of IJCAR 2014.

Invited Talks

• Jasmin Blanchette gave invited talks at the Semantic Representation of Mathematical Knowledge Workshop organized by the Wolfram Foundation and the Fields Institute in Toronto, Canada, at the Sino-German Frontiers of Science Symposium (SINOGFOS) organized by the Humboldt Foundation and the Chinese Academy of Science in Shenzhen, China, at the Workshop on Proofs, Justifications, and Certificates in Toulouse, France, at the Universality of Proof seminar at Schloss Dagstuhl in Wadern, Germany, and at the Prague Inter-Reasonning Workshop (PIWo) in Prague, Czech Republic.

• Pascal Fontaine gave an invited talk at the AFSEC day of the GdR GPL, and at GT-Verif day of the GdR IM.

• Stephan Merz gave invited talks at the TRS meeting and the JAIST-LORIA workshop in Kanazawa, Japan, on Satisfiability Checking for Modal Logics via SMT Solving and on The Design of the TLA⁺ Proof System. He also gave an invited talk at the Cloud Reliability Workshop in Shenzhen, China, on A Formal Analysis of Pastry.

• Thomas Sturm gave an invited talk at ACA 2016 titled Real Problems over the Reals.

• Christoph Weidenbach gave an invited lecture at the SMT Summer School in Lisbon, Portugal.

Leadership within the Scientific Community

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

• Jasmin Blanchette and Christoph Weidenbach were elected on the CADE (Conference on Automated Deduction) Inc. Board of Trustees. Christoph Weidenbach was elected President of CADE Inc. by the CADE Inc. Board of Trustees.

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

• Pascal Fontaine is an SMT-LIB manager, together with Clark Barrett (Stanford University) and Cesare Tinelli (University of Iowa). He is a member of the FroCoS steering Committee. He has been an elected CADE trustee since October 2014. He serves as member of the Association for Automated Reasoning (AAR) board.

• Stephan Merz is a member of the IFIP Working Group 2.2 on Formal Description of Programming Concepts. He is also a member of the steering committee of the workshop on Automated Verification of Critical Systems (AVoCS).

• Thomas Sturm is a member 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 IJCAR.

Scientific Expertise

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

• Stephan Merz served as an expert for the French Agence Nationale de la Recherche (ANR), the Haut Conseil de l'Évaluation de la Recherche et de l'Enseignement Supérieur (HCERES), and for the European Research Council (ERC).

• Christoph Weidenbach served as an expert for GIF (German Israel Foundation), the FWF (Austrian Science Fund) and the DFG (German Science Foundation).

Research Administration

• Dominique Méry is the head of the Doctoral School IAEM Lorraine for the University of Lorraine.

• Stephan Merz is a member of the Scientific Directorate of the International Computer Science Meeting Center in Schloss Dagstuhl. Until August 2016, he was the head of the PhD committee for computer science of the Doctoral School IAEM Lorraine. Since September 2016, he is the delegate for scientific affairs at the Inria Nancy – Grand Est research center. He is also the delegate for the organization of conferences at Inria Nancy and the coordinator of the CPER Sciences du Numérique in Lorraine (2015–2020). He was a member of the hiring committee of junior researchers at Inria Nancy in 2016 and a member of the committee for the SIF thesis award (Prix Gilles Kahn).

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