Organized event
-
Paris, France, November 3-6, 2015.
-
Ottawa, Canada, September 2015.
-
San Francisco, California, USA, July 2015.
-
Supelec Campus at Gif-Yvette, France, April 22-26, 2013.
Participation in program committees
- C. Keller: PC chair of TAP 2019 (13th International Conference on Tests and Proofs).
- C. Keller: PC member of CPP 2019 (8th ACM SIGPLAN International Conference on Certified Programs and Proofs).
- C. Keller: PC member of TAP 2018 (12th International Conference on Tests and Proofs).
- C. Keller: PC member of PAAR 2018 (6th Workshop on Practical Aspects of Automated Reasoning).
- C. Keller: PC member of OBT 2018 (Off the Beaten Track).
- C. Keller: PC member of CoqPL 2018 (Fourth International Workshop on Coq for Programming Languages).
- C. Keller: PC member of LFMTP 2018 (Logical Frameworks and Meta-Languages: Theory and Practice).
- C. Keller: PC member of ITP 2018 (9th International Conference on Interactive Theorem Proving).
- C. Keller: PC member of PxTP 2017 (Fifth Workshop on Proof eXchange for Theorem Proving).
- C. Keller: external PC member of POPL 2017 (44th ACM SIGPLAN Symposium on Principles of Programming Languages).
- F. Tuong: PC member of OCL 2016 (16th International Workshop on OCL and Textual Modeling) in October 2016.
- A. Charguéraud: PC chair for CoqPL 2016 (2nd International Workshop on Coq for Programming Languages).
- C. Keller: PC member of HaTT 2016 (First International Workshop on Hammers for Type Theories).
- C. Keller: PC member of LFMTP 2016 (Logical Frameworks and Meta-Languages: Theory and Practice).
- C. Keller: PC member of PAAR 2016 (5th Workshop on Practical Aspects of Automated Reasoning).
- C. Keller: PC member of MSFP 2016 (Sixth Workshop on Mathematically Structured Functional Programming).
- T. Balabonski: PC member for JFLA 2015 (26ème Journées Francophones des Langages Applicatifs).
- S. Boldo: PC member for JFLA 2015 (26ème Journées Francophones des Langages Applicatifs).
- S. Boldo: PC member for ARITH 2016 (23rd IEEE International Symposium on Computer Arithmetic).
- A. Charguéraud: PC member of ESOP 2016 (25th European Symposium on Programming).
- S. Conchon: PC Chair of ICFEM 2015 (17th International Conference on Formal Engineering Methods) in November 2015.
- F. Zaïdi: General Chair of ICFEM 2015 (17th International Conference on Formal Engineering Methods) in November 2015.
- S. Conchon: PC member of FroCoS'15 (10th International Symposium on Frontiers of Combining Systems) in September 2015
- F. Tuong: Co-Chair and PC member of OCL 2015 (15th International Workshop on OCL and Textual Modeling: Tools and Textual Model Transformations) in September 2015.
- S. Conchon: PC member of SMT 2015 (13th International Workshop on Satisfiability Modulo Theories) in July 2015.
- F. Zaïdi: PC member of ICWS 2015 (22nd IEEE International Conference on Web Services) in July 2015, also PC member in 2014, 2013, 2012, 2011.
- F. Zaïdi: PC member of TAP 2015 (9th International Conference on Tests and Proofs) in July 2015, also PC member in 2014, 2013, 2012, 2011.
- S. Boldo: PC member of ARITH-22 (22nd IEEE Symposium on Computer Arithmetic) in June 2015.
- F. Zaïdi: PC member of FMICS 2015 (20th International Workshop on Formal Methods for Industrial Critical Systems) in June 2015.
- F. Zaïdi: PC member of AFADL 2015 (14ème journées Approches Formelles dans l'Assistance au Développement Logiciel) in June 2015.
- S. Boldo: PC member of JFLA 2015 (26th "Journées Francophones des Langages Applicatifs") in January 2015.
- F. Zaïdi: PC member of HASE 2015 (16th IEEE International Symposium on High Assurance Systems Engineering) in January 2015, also PC member in 2014.
- F. Zaïdi: PC member of QSIC 2014 (14th International Conference on Quality Software) in October 2014, also PC member in 2013, 2012, 2011.
- F. Zaïdi: PC member of ICTAC 2014 (11th International Colloquim on Theoretical Aspects of Computing) in September 2014.
- S. Boldo: PC member of the NSV 2014 (7th International Workshop on Numerical Software Verification) in July 2014.
- F. Zaïdi: PC member of FORMALISE 2014 (FME Workshop on Formal Methods in Software Engineering) in June 2014.
Science popularization
-
Several members of the VALS team organize the Castor-Informatique contest, which is the french version of the Bebras contest. The goal of the contest is to raise young students' interest in algorithmics. Over 228,000 students aged between 10 and 18 participated in 2014. Next edition in November 2015. -
Sylvain Conchon and Jean-Christophe Filliâtre participate to the organization of 7th programming contest between undergraduate students of Université Pierre et Marie Curie, Université Paris Diderot and Université Paris-Sud.
- S. Boldo: editorial committee of the popular science web site Interstices (French).
- S. Boldo: editorial board
of Binaire, the blog
of the
French Computer
Science Society (French).