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/2024/newsitem/14802/9-
 --14-September-2024-15th-Conference-on-Interactive
 -Theorem-Proving-ITP-2024-Tbilisi-Georgia
DTSTAMP:20240208T153237
SUMMARY:15th Conference on Interactive Theorem Pro
 ving (ITP 2024), Tbilisi, Georgia
DTSTART;VALUE=DATE:20240909
DTEND;VALUE=DATE:20240914
LOCATION:Tbilisi, Georgia
DESCRIPTION:The ITP conference series is concerned
  with all aspects of interactive theorem proving, 
 ranging from theoretical foundations to implementa
 tion aspects and applications in program verificat
 ion, security, and the formalization of mathematic
 s. This will be the 15th conference in the ITP ser
 ies, while predecessor conferences from which it h
 as evolved have been going since 1988.  ITP welcom
 es submissions describing original research on all
  aspects of interactive theorem proving and its ap
 plications. In addition to Regular papers we also 
 welcome short papers, which can be used to describ
 e interesting work that is still ongoing and not f
 ully mature. All submissions are expected to be ac
 companied by verifiable evidence of a suitable imp
 lementation, such as the source files of a formali
 zation for the proof assistant used.  Abstract sub
 mission deadline:         March 11, 2024.  The ITP
  conference organizers are aslo soliciting proposa
 ls for affiliated workshops and tutorials. Worksho
 ps typically feature presentations of ongoing rese
 arch that is not ready yet for formal publication,
  and tutorials may e.g. present extended demos of 
 particular software.  The workshops and tutorials 
 will take place 13-14 September (last two days of 
 the conference).The deadline for submitting a prop
 osal is March 5, 2024.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The ITP c
 onference series is concerned with all aspects of 
 interactive theorem proving, ranging from theoreti
 cal foundations to implementation aspects and appl
 ications in program verification, security, and th
 e formalization of mathematics. This will be the 1
 5th conference in the ITP series, while predecesso
 r conferences from which it has evolved have been 
 going since 1988.</p>\n</div><div>\n  <p>ITP welco
 mes submissions describing original research on al
 l aspects of interactive theorem proving and its a
 pplications. In addition to Regular papers we also
  welcome short papers, which can be used to descri
 be interesting work that is still ongoing and not 
 fully mature. All 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. &nbsp;Abstra
 ct submission deadline: &nbsp; &nbsp; &nbsp; &nbsp
 ; March 11, 2024.</p>\n  <p>The ITP conference org
 anizers are aslo soliciting proposals for affiliat
 ed workshops and tutorials. Workshops typically fe
 ature presentations of ongoing research that is no
 t ready yet for formal publication, and tutorials 
 may e.g. present extended demos of particular soft
 ware.&nbsp; The workshops and tutorials will take 
 place 13-14 September (last two days of the confer
 ence).The deadline for submitting a proposal is Ma
 rch 5, 2024.</p>\n</div>
URL:https://www.viam.science.tsu.ge/itp2024/
CONTACT:bdundua at gmail.com
END:VEVENT
END:VCALENDAR