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:[Séminaire MoVe] Yann Thierry-Mieg (MoVe, LIP6) : Modélisat
 ion et vérification de systèmes complexes.
ORGANIZER;CN=Dylan Marinho:MAILTO:Dylan.Marinho@lip6.fr
ATTENDEE;CN=Yann Thierry-Mieg (MoVe, LIP6);CUTYPE=INDIVIDUAL;PARTSTAT
 =ACCEPTED:mailto:Dylan.Marinho@lip6.fr
DESCRIPTION:Cet exposé présentera les grandes lignes de mon travail
 , depuis les diagrammes de décisions hiérarchiques à des langages 
 de haut niveau (GAL/ITS) pour la modélisation des systèmes. 
 L'exp
 osé sera peu technique; il balaiera quelques résultats anciens (pre
  2015) et certains plus récents mélant des surapproximations SMT, d
 es sous approximations (heuristiques) et des réductions structurelle
 s.
 L'ensemble de ces méthodes sert l'objectif d'analyser des systèm
 es complexes, typiquement concurrents, et de prouver formellement des
  propriétés sur leurs comportements possibles.
DTSTAMP:20260427T003919Z
DTSTART;TZID=Europe/Paris:20260507T140000
DURATION:PT2H
URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1230
UID:LIP6/SEM/O1230
LOCATION:Salle 24-25/405, Campus Pierre et Marie Curie
GEO:48.847449;2.355255
END:VEVENT
END:VCALENDAR