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:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20230828
DTEND;VALUE=DATE:20230902
DTSTAMP:20260405T050025
CREATED:20230704T132745Z
LAST-MODIFIED:20230704T133018Z
UID:20540-1693180800-1693612799@www.loria.fr
SUMMARY:15th International Summer School on Verification Technology\, Systems & Applications
DESCRIPTION:The 15th edition of the Summer School on Verification Technology\, Systems and Applications (VTSA) will be organized by Inria Nancy –  Grand Est in cooperation with Max-Planck-Institute for Informatics Saarbruecken\, the University of Liege\, and the University of Luxembourg. \nThe school will take place from August 28 to September 1\, 2023 at Inria Nancy – Grand Est / LORIA\, France. \nThe following speakers have accepted to give courses at VTSA 2023: \n\nSandrine Blazy (Univ. Rennes 1): Verified Compilation\nSimon Bliudze (Inria Lille): Rigorous System Design using BIP – Correctness by All Means\nIgor Konnov (Informal Systems): Specifying blockchain protocols with TLA+ and Quint and checking them with Apalache\nMartin Leucker (Univ. Lübeck): Theory and Practice of Runtime Verification\nPeter Müller (ETH Zürich): Building Deductive Program Verifiers\n\nParticipation is free (except for travel and accommodation costs) and open to anybody holding at least a bachelor degree or equivalent in computer science. It includes the lectures\, daily coffee breaks and lunches as well as a school dinner. Attendance is limited to 40 participants. Please apply electronically by sending to jmueller[at]mpi-inf.mpg.de: \n\na one-page CV\nan application letter explaining your interest in the school and your\nexperience in the area\na copy of your bachelor certificate (or equivalent or a more significant\ncertificate)\na short statement if you want to contribute to the student sessions\n\nThe deadline for application is July 9\, 2023. Notification of acceptance will be given by July 12\, 2023. \nFull details are available at http://www.mpi-inf.mpg.de/vtsa23
URL:https://www.loria.fr/event/15th-international-summer-school-on-verification-technology-systems-applications/
LOCATION:Inria – Loria
CATEGORIES:school
END:VEVENT
END:VCALENDAR