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/2020/newsitem/11456/2-
 --5-March-2020-26th-International-Conference-on-Ty
 pes-for-Proofs-and-Programs-TYPES-2020-Torino-Ital
 y
DTSTAMP:20200210T141400
SUMMARY:26th International Conference on Types for
  Proofs and Programs (TYPES 2020), Torino, Italy
DTSTART;VALUE=DATE:20200302
DTEND;VALUE=DATE:20200305
LOCATION:Torino, Italy
DESCRIPTION:The TYPES meetings are a forum to pres
 ent new and ongoing work in all aspects of type th
 eory and its applications, especially in formalise
 d and computer assisted reasoning and computer pro
 gramming. The ITRS 2020 workshop aims to bring tog
 ether researchers working on both the theory and p
 ractical applications of systems based on intersec
 tion types and related approaches. Part of the pro
 gram is organised under the auspices of EUTypes.  
 Invited speakers: Ulrik Buchholtz, Pierre Marie-Pé
 drot, Leonardo de Moura and Sara Negri.  We solici
 t contributed talks. We encourage talks proposing 
 new ways of applying type theory. In the spirit of
  workshops, talks may be based on newly published 
 papers, work submitted for publication, but also w
 ork in progress. Selection will be based on extend
 ed abstracts/short papers of 2 pp (not including b
 ibliography) formatted with easychair.cls. Camera-
 ready versions of the accepted contributions will 
 be published in an informal book of abstracts for 
 distribution at the workshop.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The TYPES
  meetings are a forum to present new and ongoing w
 ork in all aspects of type theory and its applicat
 ions, especially in formalised and computer assist
 ed reasoning and computer programming. The ITRS 20
 20 workshop aims to bring together researchers wor
 king on both the theory and practical applications
  of systems based on intersection types and relate
 d approaches. Part of the program is organised und
 er the auspices of EUTypes.</p>\n\n  <p>Invited sp
 eakers: Ulrik Buchholtz,&nbsp;Pierre Marie-Pédrot,
  Leonardo de Moura and Sara Negri.</p>\n</div><div
 >\n  <p>We solicit contributed talks. We encourage
  talks proposing new ways of applying type theory.
  In the spirit of workshops, talks may be based on
  newly published papers, work submitted for public
 ation, but also work in progress. Selection will b
 e based on extended abstracts/short papers of 2 pp
  (not including bibliography) formatted with easyc
 hair.cls. Camera-ready versions of the accepted co
 ntributions will be published in an informal book 
 of abstracts for distribution at the workshop.</p>
 \n</div>
URL:https://types2020.di.unito.it
CONTACT:ugo.deliguoro at unito.it
END:VEVENT
END:VCALENDAR