BEGIN:VCALENDAR
CALSCALE:GREGORIAN
VERSION:2.0
X-WR-TIMEZONE:Europe/Paris
METHOD:PUBLISH
PRODID:-//LIP6//www.lip6.fr//FR
X-WR-CALNAME;VALUE=TEXT:Séminaire LIP6
X-LIC-LOCATION:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
DTSTART:19810329T020000
TZNAME:GMT+02:00
TZOFFSETTO:+0200
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
DTSTART:19961027T030000
TZNAME:GMT+01:00
TZOFFSETTO:+0100
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:18th International Conference on Formal Methods (FM 2012)
ORGANIZER;CN=Fm2012:MAILTO:fm2012@cnam.fr
DESCRIPTION:L'objectif de cette conférence est de réunir des cherch
 eurs intéressés à la fois par les aspects théoriques et les appli
 cations des méthodes formelles au développement et à l'analyse de 
 systèmes informatiques. 
 La conférence est soutenue par l'associati
 on européenne FME (Formal Methods Europe) et organisée conjointemen
 t par le groupe de recherche MeFoSyLoMa (Méthodes Formelles pour les
  Systèmes Logiciels et Matériels, http://www.mefosyloma.fr/) qui re
 groupe 7 laboratoires de la région parisienne : Cedric (CNAM), IBISC
  (Univ. Evry), LACL (Univ. Paris Est), LIP6 (UPMC), LIPN (Univ. Paris
  Nord), LSV (ENS de Cachan) et LTCI (Télécom ParisTech).
  General c
 hairs : Kamel Barkaoui (Cedric, CNAM) et Béatrice Bérard (LIP6, UPM
 C)
  PC chairs : Dimitra Giannakopoulou (NASA Ames) et Dominique Méry
  (LORIA,Univ. Nancy 1)
DTSTAMP:20261014T153807Z
DTSTART;TZID=Europe/Paris:20120827
DTEND;TZID=Europe/Paris:20120831
URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O443
UID:LIP6/SEM/O443
LOCATION:CNAM Paris
END:VEVENT
END:VCALENDAR