Organized event

Participation in program committees

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

  • Concours Castor-Informatique
    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).