BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/747
2/22-27-August-2016-The-7th-International-Conferen
ce-on-Interactive-Theorem-Proving-ITP-2016-Nancy-F
rance
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

\n
URL:/NewsandEvents/Events/Conferences/newsitem/747
2/22-27-August-2016-The-7th-International-Conferen
ce-on-Interactive-Theorem-Proving-ITP-2016-Nancy-F
rance
END:VEVENT
END:VCALENDAR