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:<div>\n  <p>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.</p>\n</div>
 <div>\n  <p>ITP welcomes submissions describing or
 iginal research on all aspects of interactive theo
 rem proving and its applications. All submissions 
 must be original, unpublished, and not submitted c
 oncurrently for publication elsewhere. Furthermore
 , when appropriate, submissions are expected to be
  accompanied by verifiable evidence of a suitable 
 implementation, such as the source files of a form
 alization for the proof assistant used.</p>\n\n  <
 p>In addition to regular papers, described above, 
 there will be a rough diamond section. Rough diamo
 nd submissions are limited to 6 pages and may cons
 ist of an extended abstract. They will be refereed
  and be expected to present innovative and promisi
 ng ideas, possibly in an early form and without su
 pporting evidence.</p>\n</div>
URL:http://itp2017.cic.unb.br/
CONTACT:itp2017 at easychair.org
END:VEVENT
END:VCALENDAR