Piazza dei Signori, Padua

Workshop on
Types and Structures

Department of Mathematics “Tullio Levi-Civita”

Padua, May 24–28, 2027

Dedicated to the memory of
Thomas Streicher (1958–2025)

Workshop on Types and Structures

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

Photo of Thomas Streicher

Types and Structures 2027 will take place in Padua from the 24th to the 28th of May 2027.

Programme

Monday 24 May

  • 9:15–9:30 Opening
  • Morning session
  • 9:30–10:00 Talk
  • 10:00–10:30 Talk
  • 10:30–11:00 Talk
  • 11:00–11:30 Coffee break
  • 11:30–12:00 Talk
  • 12:00–12:30 Talk
  • 12:30–13:00 Talk
  • 13:00–15:00 Lunch break
  • Afternoon session
  • 15:00–15:30 Talk
  • 15:30–16:00 Talk
  • 16:00–16:30 Coffee break
  • 16:30–18:30 Speed talks
  • 18:30 Reception

Tuesday 25 May

  • Morning session
  • 9:30–10:00 Talk
  • 10:00–10:30 Talk
  • 10:30–11:00 Talk
  • 11:00–11:30 Coffee break
  • 11:30–12:00 Talk
  • 12:00–12:30 Talk
  • 12:30–13:00 Talk
  • 13:00–15:00 Lunch break
  • Afternoon session
  • 15:00–15:30 Talk
  • 15:30–16:00 Talk
  • 16:00–16:30 Coffee break
  • 16:30–18:30 Speed talks

Wednesday 26 May

  • Morning session
  • 9:30–10:00 Talk
  • 10:00–10:30 Talk
  • 10:30–11:00 Talk
  • 11:00–11:30 Coffee break
  • 11:30–12:00 Talk
  • 12:00–12:30 Talk
  • 12:30–13:00 Talk
  • 13:00–15:00 Lunch break
  • Afternoon session
  • 15:00–15:30 Talk
  • 15:30–16:00 Talk
  • 16:00–16:30 Coffee break
  • 16:30–18:30 Speed talks

Thursday 27 May

  • Morning session
  • 9:30–10:00 Talk
  • 10:00–10:30 Talk
  • 10:30–11:00 Talk
  • 11:00–11:30 Coffee break
  • 11:30–12:00 Talk
  • 12:00–12:30 Talk
  • 12:30–13:00 Talk
  • 13:00–15:00 Lunch break
  • Afternoon session
  • 15:00–15:30 Talk
  • 15:30–16:00 Talk
  • 16:00–16:30 Coffee break
  • 16:30–18:30 Speed talks
  • 20:00 Social dinner

Friday 28 May

  • Morning session
  • 9:30–10:00 Talk
  • 10:00–10:30 Talk
  • 10:30–11:00 Talk
  • 11:00–11:30 Coffee break
  • 11:30–12:00 Talk
  • 12:00–12:30 Talk
  • 12:30–13:00 Talk
  • 13:00–15:00 Lunch break
  • Afternoon session
  • 15:00–15:30 Talk
  • 15:30–16:00 Talk
  • 16:00–16:30 Coffee break
  • 16:30–17:30 Speed talks
  • 17:30–18:30 Round table
  • 18:30 Closing

Registration

Registration is now open until 15 April 2027. Proposals for contributed talks are welcome.

To register (and to apply for financial support) please complete this form.

Venue

Committees

Scientific committee

Local organizing committee