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/2018/newsitem/9430/9-- -12-July-2018-9th-International-Conference-on-Inte ractive-Theorem-Proving-ITP-2018-Oxford-England DTSTAMP:20171026T173155 SUMMARY:9th International Conference on Interactiv e Theorem Proving (ITP 2018), Oxford, England DTSTART;VALUE=DATE:20180709 DTEND;VALUE=DATE:20180712 LOCATION:Oxford, England DESCRIPTION:The ITP conference series is concerned with all topics related to interactive theorem pr oving, ranging from theoretical foundations to imp lementation aspects and applications in program ve rification, security, and formalization of mathema tics. ITP is the evolution of the TPHOLs conferenc e series to the broad field of interactive theorem proving. ITP welcomes submissions describing ori ginal research on all aspects of interactive theor em proving and its applications. All submissions m ust be original, unpublished, and not submitted co ncurrently for publication elsewhere. Furthermore, when appropriate, submissions are expected to be accompanied by verifiable evidence of a suitable i mplementation, such as the source files of a forma lization for the proof assistant used. In addition to regular papers, there will be a section for sh orter papers, which can be used to describe intere sting work that is still ongoing and not fully mat ure. X-ALT-DESC;FMTTYPE=text/html:
The ITP c onference series is concerned with all topics rela ted to interactive theorem proving, ranging from t heoretical foundations to implementation aspects a nd applications in program verification, security, and formalization of mathematics. ITP is the evol ution of the TPHOLs conference series to the broad field of interactive theorem proving.
ITP welcomes submissions describing orig inal research on all aspects of interactive theore m proving and its applications. All submissions mu st be original, unpublished, and not submitted con currently for publication elsewhere. Furthermore, when appropriate, submissions are expected to be a ccompanied by verifiable evidence of a suitable im plementation, such as the source files of a formal ization for the proof assistant used. In addition to regular papers, there will be a section for sho rter papers, which can be used to describe interes ting work that is still ongoing and not fully matu re.
URL:https://itp2018.inria.fr/ CONTACT:Jeremy Avigad and Assia Mahboubi at itp201 8 at easychair.org END:VEVENT END:VCALENDAR