Workshop on Types and Structures

Dedicated to the memory of Thomas Streicher
(February 11, 1958 – January 2, 2025)

Types and Structures 2027 will take place in Padua 24–28 May 2027.

Registration

Registration will open in 2027. It will be possible to give contributed talks.

Venue

• Torre Archimede, Department of Mathematics (Google Maps)
• Address: Via Trieste, 63. Padova (Italy)

Suggested Hotels

• Albergo Verdi | City centre | 20 minutes walk to the department
• Hotel Giotto | City centre | 20 minutes walk to the department
• NH Padova | Fair area | 10 minutes walk to the department
• Best Western | Fair area | 10 minutes walk to the department
• Hotel Igea | Hospital area | 15 minutes walk to the department

Committees