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/11465/6-
 March-2020-10th-Workshop-on-Intersection-Types-and
 -Related-Systems-ITRS-2020-Torino-Italy
DTSTAMP:20200112T171927
SUMMARY:10th Workshop on Intersection Types and Re
 lated Systems (ITRS 2020), Torino, Italy
DTSTART;VALUE=DATE:20200306
DTEND;VALUE=DATE:20200306
LOCATION:Torino, Italy
DESCRIPTION:Intersection types were introduced nea
 r the end of the 1970s to overcome the limitations
  of Curry's type assignment system and to provide 
 a characterization of the strongly normalizing ter
 ms of the Lambda Calculus.  Although intersection 
 types were initially intended for use in analyzing
  and/or synthesizing lambda models as well as in a
 nalyzing normalization properties, over the last t
 wenty years the scope of the research on intersect
 ion types and related systems has broadened in man
 y directions.  The ITRS 2020 workshop aims to brin
 g together researchers working on both the theory 
 and practical applications of systems based on int
 ersection types and related approaches. ITRS works
 hops have been held every two years.  Authors are 
 invited to submit an abstract (2 pages bibliograph
 y excluded) in PDF format, through EasyChair. Publ
 ishing of a full paper is planned in post-proceedi
 ngs to appear in EPTCS (pending approval), therefo
 re we recommend using the EPTCS macro package to p
 repare submissions. Informal proceedings will be m
 ade available at the workshop.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Intersect
 ion types were introduced near the end of the 1970
 s to overcome the limitations of Curry's type assi
 gnment system and to provide a characterization of
  the strongly normalizing terms of the Lambda Calc
 ulus.</p>\n\n  <p>Although intersection types were
  initially intended for use in analyzing and/or sy
 nthesizing lambda models as well as in analyzing n
 ormalization properties, over the last twenty year
 s the scope of the research on intersection types 
 and related systems has broadened in many directio
 ns.</p>\n\n  <p>The ITRS 2020 workshop aims to bri
 ng together researchers working on both the theory
  and practical applications of systems based on in
 tersection types and related approaches. ITRS work
 shops have been held every two years.</p>\n</div><
 div>\n  <p>Authors are invited to submit an abstra
 ct (2 pages bibliography excluded) in PDF format, 
 through EasyChair. Publishing of a full paper is p
 lanned in post-proceedings to appear in EPTCS (pen
 ding approval), therefore we recommend using the E
 PTCS macro package to prepare submissions. Informa
 l proceedings will be made available at the worksh
 op.</p>\n</div>
URL:https://types2020.di.unito.it/itrs.html
END:VEVENT
END:VCALENDAR