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      <p>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      </p>\n      <p>The following affilia
 ted events will take place after the main conferen
 ce:<br/>\n        - Coq Workshop 2016<br/>\n      
   - Isabelle Workshop 2016<br/>\n        - Mathema
 tical Components, an Introduction\n      </p>\n   
  \n      <p>Up-to-date information and online regi
 stration can be found at <a target="_blank" href="
 https://itp2016.inria.fr/">https://itp2016.inria.f
 r/</a>.\n      </p>\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