BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//labri.fr//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:3a23a1f0-240d-4bcd-b20e-e2fd80d0dfcf
X-WR-CALNAME:Séminaire de Laurent Simon\, LaBRI. Intitulé de son exposé : '
 SAT : Raisonnement efficace sur une application du monde réel'
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
TZUNTIL:20241027T010000Z
BEGIN:STANDARD
TZNAME:CET
DTSTART:20221030T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RDATE:20231029T030000
END:STANDARD
BEGIN:DAYLIGHT
TZNAME:CEST
DTSTART:20220327T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RDATE:20230326T020000
RDATE:20240331T020000
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:3a23a1f0-240d-4bcd-b20e-e2fd80d0dfcf
DTSTAMP:20260510T232839Z
CLASS:PUBLIC
DESCRIPTION:Le séminaire NUMERICS\, séminaire transdisciplinaire sur la cul
 ture scientifique et les enjeux sociétaux du Numérique\, aura lieu dans l’
 amphi du LaBRI\, à 17h45.\n\nOuvert à tous\, ce séminaire sera précédé d’u
 n goûter à 17h.\n\nLaurent Simon est Professeur des Universités à l’ENSEIR
 B-MATMECA\, et effectue sa recherche dans l’équipe Méthodes Formelles au L
 aBRI depuis 2013. Il s’intéresse aux algorithmes et outils efficaces pour 
 le raisonnement logique\, principalement autour de la résolution pratique 
 de la résolution du problème SAT et autour de SAT.
DTSTART;TZID=Europe/Paris:20221214T180000
DTEND;TZID=Europe/Paris:20221214T190000
LOCATION:Amphi LaBRI
ORGANIZER;CN=Nicolas Hanusse:mailto:nicolas.hanusse@labri.fr
SEQUENCE:0
SUMMARY:Séminaire de Laurent Simon\, LaBRI. Intitulé de son exposé : 'SAT :
  Raisonnement efficace sur une application du monde réel'
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR
