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

Scroll horizontally to see all five days.

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

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

Wednesday 26 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

Thursday 27 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
20:00 Social dinner

Friday 28 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–17:30 Speed talks
17:30–18:30 Round table
18:30 Closing

Registration

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

You can apply for financial support by completing this form.

Venue

Committees

Scientific committee

Local organizing committee