[TYPES/announce] Registration to TYPES 2026 now open!

[Ana Bove]

Dear All,

The 32nd International Conference on Types for Proofs and Programs
https://urldefense.com/v3/__https://types2026.cse.chalmers.se/__;!!IBzWLUs!XwAv3Yzn3h6Zcvmr4Dars7_rjZdLYCm8m_DjP5M-biMs47gemy-DjKU-rNJSZJk0Voq29pQoMJhacYFLPMjDdPjCNhzV-w$ 
will take place in Gothenburg, Sweden, from 4th to 8th of May 2026.

The registration is now open, visit this link 
<https://urldefense.com/v3/__https://types2026.cse.chalmers.se/registration.html__;!!IBzWLUs!XwAv3Yzn3h6Zcvmr4Dars7_rjZdLYCm8m_DjP5M-biMs47gemy-DjKU-rNJSZJk0Voq29pQoMJhacYFLPMjDdPiw4U1DhQ$ > for further 
information.
Early registration ends on *March 2nd*, late registration on *April 16th*.

The registration fees are as follows:

  * *Early regular registration (until 2 March):* 3800 SEK
  * *Early student registration (until 2 March):* 3100 SEK
  * *Late regular registration (until 16 April):* 4600 SEK
  * *Late student registration (until 16 April):* 3900 SEK

The registration fees include coffee breaks and lunches every day 4-8th 
May, a ticket to the excursion on the 5th May and a ticket to the 
banquet on the 7th May.

If needed, participants can buy an EXTRA ticket to the excursion (400 
SEK) and/or to the banquet (800 SEK).

If you have any questions or problems with the registration, do not 
hesitate to contact us!

Hope to see many of you there!

-- 
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
https://urldefense.com/v3/__https://www.chalmers.se/en/persons/bove__;!!IBzWLUs!XwAv3Yzn3h6Zcvmr4Dars7_rjZdLYCm8m_DjP5M-biMs47gemy-DjKU-rNJSZJk0Voq29pQoMJhacYFLPMjDdPjjAiX6qQ$ 
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260202/84a8f9c3/attachment.htm>