===== Event Organisation =====

==== ProveCS Series ====

  * Workshop 2007 [[http://lina.atlanstic.net/provecs/]] - TOOLS Conference [[http://tools.ethz.ch/]]
  * Workshop 2008





==== Nantes University's Conference ====

  * JS2013 - Colloque 3 - Logiciels de qualité : modélisation et vérification / 7 juin 2013 / Nantes, FRANCE [[http://www.lina.sciences.univ-nantes.fr/apcb/JSQ2013/index.html|site]]
  * The B Method: from Research to Teaching TFMB'2010 [[http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2010/index.html|site]]
  * Edition 2009 [[http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2009/index.html|site]]
  * Edition 2008 [[http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2008/index.html|site]]

==== Numéro spécial de la revue L'Objet ====

  * Composants, Services et Aspects : techniques et outils pour la vérification [[http://www.lina.sciences.univ-nantes.fr/coloss/lobjet/|cfp]]


==== IM_FMT 2009 ====

  * Workshop on Integration of Model-based Formal Methods and Tools (IM_FMT 2009)\\ 15 - 19 February, 2009,  (Düsseldorf, Germany) [[http://www.lina.sciences.univ-nantes.fr/apcb/IM_FMT2009/index.html|site]]

==== Miles 2009 ====

  * exposé Miles du 16/01/09 (EM) {{intranet:docs:fmco2008-ericmadelaine.pdf|pdf}}