BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
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:20170326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20171029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20180325T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20181028T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20191027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20180827
DTEND;VALUE=DATE:20180901
DTSTAMP:20260405T032053
CREATED:20180822T135253Z
LAST-MODIFIED:20180822T135258Z
UID:5890-1535328000-1535759999@www.loria.fr
SUMMARY:VTSA 2018
DESCRIPTION:L’école d’été sur la technologie\, les systèmes et les applications de vérification aura lieu à Nancy du 27 au 31 août 2018. \nNous croyons que les trois aspects de la technologie de vérification\, les systèmes et les applications dépendent fortement les uns des autres et que les progrès dans le domaine de l’analyse formelle et de la vérification ne peuvent être réalisés que si les trois aspects sont considérés comme un tout. Nos cinq conférenciers David Basin\, Jean-Christophe Filliâtre\, Peter Lammich\, Anca Muscholl et Carsten Sinz défendent ce point de vue en ce sens qu’ils représentent et présenteront une technologie de vérification particulière et sa mise en œuvre dans un système afin d’appliquer avec succès l’approche aux problèmes de vérification du monde réel. \nOrganisée par Inria en partenariat avec l’Université de la Grande Région\, l’Université de Liège\, l’Université du Luxembourg et le Max Planck Institute for Informatics. \nPlus d’informations
URL:https://www.loria.fr/event/vtsa-2018/
CATEGORIES:Manifestation
END:VEVENT
END:VCALENDAR