BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2016/newsitem/7472/22-
27-August-2016-The-7th-International-Conference-on
-Interactive-Theorem-Proving-ITP-2016-Nancy-France
DTSTAMP:20160623T000000
SUMMARY:The 7th International Conference on Intera
ctive Theorem Proving (ITP 2016), Nancy, France
DTSTART;VALUE=DATE:20160822
DTEND;VALUE=DATE:20160827
LOCATION:Nancy, France
DESCRIPTION:ITP is the premier international confe
rence for researchers from all areas of interactiv
e theorem proving and its applications. The progra
m committee accepted 27 regular papers and 5 rough
diamonds this year. There will be invited talks b
y Viktor Kuncak (EPFL), Grant Olney Passmore (Aest
hetic Integration and University of Cambridge) and
Nikhil Swamy (Microsoft Research). The followin
g affiliated events will take place after the main
conference: - Coq Workshop 2016 - Isabelle Work
shop 2016 - Mathematical Components, an Introduct
ion Up-to-date information and online registrati
on can be found at https://itp2016.inria.fr/.
X-ALT-DESC;FMTTYPE=text/html:\n ITP is the
premier international conference for researchers\
n from all areas of interactive theorem provi
ng and its\n applications. The program commit
tee accepted 27 regular papers\n and 5 rough
diamonds this year. There will be invited talks b
y\n Viktor Kuncak (EPFL), Grant Olney Passmor
e (Aesthetic\n Integration and University of
Cambridge) and Nikhil Swamy\n (Microsoft Rese
arch).\n

\n The following affilia
ted events will take place after the main conferen
ce:

\n - Coq Workshop 2016

\n
- Isabelle Workshop 2016

\n - Mathema
tical Components, an Introduction\n

\n
\n Up-to-date information and online regi
stration can be found at https://itp2016.inria.f
r/.\n

URL:/NewsandEvents/Archives/2016/newsitem/7472/22-
27-August-2016-The-7th-International-Conference-on
-Interactive-Theorem-Proving-ITP-2016-Nancy-France
END:VEVENT
END:VCALENDAR