====== Actualité ======

  * Kickoff Meeting 2011 (Massy)

  * Theorem Proving in Certification -  Workshop - TPC 2013 (Cambridge)
    * A combination of Formal Specification and Testing for Verification in Model-Based Development
    * Philippe Baufreton (SAGEM)

  * Embedded Real Time Software and Systems -  [[http://www.erts2014.org|ERTS 2014]] (Toulouse)   
       * Session : [[http://www.erts2014.org/Default.aspx?Id=1402&Idd=1418#6D | New Trends in Certification II]]
       * Compositional certification: the CERCLES2 project
       * Pascal Manoury & Grégoire Henri (PPS - Paris 7), Emmanuel Chailloux & Philippe Wang (LIP6 - UPMC), Jean-Louis Duffour & Philippe Beaufreton (SAGEM), Etienne Prun (CLEARSY)
   
  * Approches Formelles dans l'Assistance au Développement de Logiciels - [[http://afadl2014.lacl.fr/ | AFADL 2014]] (Paris)
       *  Certification de l'assemblage de composants 
       * Pascal Manoury, Philippe Baufreton, Jean-Louis Dufour, Etienne Prun, Emmanuel Chailloux, Grégoire Henry, Florian Thibord, Philippe Wang, Etienne Millon. 
 
  * International conference ABZ 2014
       * stand CLEARSY et ([[http://www.methode-b.com/2014/06/abz-2014/ | poster]]) sur le projet CERCLES2  (Toulouse)


  * Traducteur Scade2B : [[http://www.algo-prog.info/cercles/scade2b.tgz | scade2b.tgz]]
       * Une machine virtuelle pour VirtualBox est disponible: [[http://www.algo-prog.info/cercles/cercles.box|cercles.box]].
       * Elle est engendrée par un script Vagrant disponible [[https://github.com/cercles/vm/|ici]] (pour mettre à jour changer 'version:' dans playbook.yml).