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/2017/newsitem/8324/26- --29-September-2017-8th-International-Conference-o n-Interactive-Theorem-Proving-ITP-2017-Brasilia-Br azil DTSTAMP:20170130T134813 SUMMARY:8th International Conference on Interactiv e Theorem Proving (ITP 2017), Brasilia, Brazil DTSTART;VALUE=DATE:20170926 DTEND;VALUE=DATE:20170929 LOCATION:Brasilia, Brazil 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 additio n to regular papers, described above, there will b e a rough diamond section. Rough diamond submissio ns are limited to 6 pages and may consist of an ex tended abstract. They will be refereed and be expe cted to present innovative and promising ideas, po ssibly in an early form and without supporting evi dence. 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.
\n\nIn addition to regular papers, described above, th ere will be a rough diamond section. Rough diamond submissions are limited to 6 pages and may consis t of an extended abstract. They will be refereed a nd be expected to present innovative and promising ideas, possibly in an early form and without supp orting evidence.
URL:http://itp2017.cic.unb.br/ CONTACT:itp2017 at easychair.org END:VEVENT END:VCALENDAR