BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.4//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20201025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20211031T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20211028T133000
DTEND;TZID=Europe/Paris:20211028T143000
DTSTAMP:20211018T082656Z
CREATED:20211015T070459Z
LAST-MODIFIED:20211018T082656Z
UID:14042-1635427800-1635431400@www.loria.fr
SUMMARY:Colloquium Loria - Jaco van de Pol
DESCRIPTION:Next Colloquium Loria will take place on Thursday\, 28 October at 1:30 pm in the Amphitheater. \nWe are delighted to welcome Jaco van de Pol\, Professor of Computer Science in Aarhus University\, with a talk entitled « Explainable Verification of Safety and Security of Software Systems ». \nVerification of safety-critical (software) systems is essential\,\nbut requires automation to be applied full scale. The first half\nof the presentation will mention contributions that pushed the\nscalability of verification\, in particular symbolic and parallel\nalgorithms that are applied in model checkers.\n \nHowever\, fully automated verification poses new challenges.\nCertification: why can we trust the yes/no answer of a complicated\ntool like an automated model checker? Explainability: which result\nhas actually been demonstrated\, and under what assumptions?\n \nFinally\, I will introduce the notion of certified model checking\,\nand illustrate it on a concrete approach for verification based\non timed automata.
URL:https://www.loria.fr/event/colloquium-loria-jaco-van-de-pol/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Colloquium Loria
ATTACH;FMTTYPE=image/jpeg:https://www.loria.fr/wp-content/uploads/Jaco_Van_De_Pol_AU_CS_web_square.jpg
END:VEVENT
END:VCALENDAR