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:Laurent Simon’s seminar\, LaBRI. Title of his talk: 'SAT: Effi
 cient Reasoning on Real-World Application'
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:20260510T224239Z
CLASS:PUBLIC
DESCRIPTION:The NUMERICS seminar\, a transdisciplinary seminar on scientifi
 c culture and the societal issues of the Digital Age\, will take place in 
 the LaBRI amphitheatre at 6pm.\n\nOpen to all\, this seminar will be prece
 ded by a snack at 5:45pm.\n\nLaurent Simon is a University Professor at EN
 SEIRB-MATMECA\, and has been doing his research in the Formal Methods team
  at LaBRI since 2013. He is interested in efficient algorithms and tools f
 or logical reasoning\, mainly around the practical solution of the SAT pro
 blem and around SAT.\n\n&nbsp\;
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:Laurent Simon’s seminar\, LaBRI. Title of his talk: 'SAT: Efficient
  Reasoning on Real-World Application'
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR
