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/Events/Conferences/newsitem/159
 30/4---8-May-2026-32nd-Int-l-Conference-on-Types-f
 or-Proofs-and-Programs-TYPES-2026-Gothenburg-SE-
DTSTAMP:20251126T131516
SUMMARY:32nd Int’l Conference on Types for Proofs 
 and Programs (TYPES 2026), Gothenburg [SE]
DTSTART;VALUE=DATE:20260504
DTEND;VALUE=DATE:20260508
LOCATION:Gothenburg [SE]
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.  We encourage talks proposing new ways o
 f applying type theory. In the spirit of workshops
 , talks may be based on newly published papers, wo
 rk submitted for publication, but also work in pro
 gress. Participation in the meeting is primarily i
 n person, as face-to-face interactions are highly 
 valuable.  TYPES solicits contributed talks to sti
 mulate discussions. Talks proposing new ways of ap
 plying type theory are encouraged. In the spirit o
 f workshops, talks may be based on newly published
  papers, work submitted for publication, but also 
 work in progress. Selection of those will be based
  on extended abstracts of 2 pages.  For more infor
 mation see https://types2026.cse.chalmers.se/call-
 for-contributions.html.
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.</p>\n  <p>W
 e encourage talks proposing new ways of applying t
 ype theory. In the spirit of workshops, talks may 
 be based on newly published papers, work submitted
  for publication, but also work in progress. Parti
 cipation in the meeting is primarily in person, as
  face-to-face interactions are highly valuable.</p
 >\n</div><div>\n  <p>TYPES solicits contributed ta
 lks to stimulate discussions. Talks proposing new 
 ways of applying type theory are encouraged. In th
 e spirit of workshops, talks may be based on newly
  published papers, work submitted for publication,
  but also work in progress. Selection of those wil
 l be based on extended abstracts of 2 pages.</p>\n
   <p>For more information see <a href="https://typ
 es2026.cse.chalmers.se/call-for-contributions.html
 " target="_blank" rel="noopener">https://types2026
 .cse.chalmers.se/call-for-contributions.html</a>.<
 /p>\n</div>
URL:https://types2026.cse.chalmers.se
CONTACT:types2026 at chalmers.se
END:VEVENT
END:VCALENDAR