TYPES 2024
30th International Conference on Types for Proofs and Programs, 10 ‑ 14 June 2024

Detailed Programme & Book of Abstracts

Programme Overview

Clicking on a session in the overview below brings you to the corresponding page in the book of abstracts:

Monday
08:20 ‑ 08:55 Registration
08:55 ‑ 09:00 Session 1: Welcome
09:00 ‑ 10:00 Session 2: Invited Talk by Brigitte Pientka
10:00 ‑ 10:40 Session 3: Polarized Logic
10:40 ‑ 11:10 Coffee Break
11:10 ‑ 12:30 Session 4: Constructive Mathematics
12:30 ‑ 14:00 Lunch
14:00 ‑ 15:20 Session 5: Proof Assistant Implementation
15:20 ‑ 15:50 Coffee Break
15:50 ‑ 16:50 Session 6: Blockchain and Smart Contracts
16:50 ‑ 17:50 Session 7: Business Meeting
Tuesday
08:30 ‑ 09:00 Registration
09:00 ‑ 10:00 Session 8: Invited Talk by Talia Ringer
10:00 ‑ 10:40 Session 9: Parametricity
10:40 ‑ 11:10 Coffee Break
11:10 ‑ 12:30 Session 10: Models of Type Theory
12:30 ‑ 14:00 Lunch
14:00 ‑ 15:20 Session 11: New Type Theories
15:20 ‑ 15:50 Coffee Break
15:50 ‑ 17:10 Session 12: Formalisations and Probability Theory
18:30 ‑ 20:00 Welcome Reception
Wednesday
09:00 ‑ 10:00 Session 13: Algebraic Geometry and Topology
10:00 ‑ 10:40 Session 14: Logic
10:40 ‑ 11:10 Coffee Break
11:10 ‑ 12:30 Session 15: Equality and Evaluation
12:30 ‑ 14:00 Lunch
14:00 ‑ 15:00 Session 16: Computability
15:00 ‑ 15:30 Coffee Break
16:50 ‑ 18:00 Social Event: Canal Tour
Thursday
09:00 ‑ 10:00 Session 17: Invited Talk by Egbert Rijke
10:00 ‑ 10:40 Session 18: Proofs
10:40 ‑ 11:10 Coffee Break
11:10 ‑ 12:30 Session 19: HoTT and Sets
12:30 ‑ 14:00 Lunch
14:00 ‑ 15:20 Session 20: Category Theory
15:20 ‑ 15:50 Coffee Break
15:50 ‑ 17:10 Session 21: Universes
19:00 Social Dinner
Friday
09:15 ‑ 10:30 Session 22: Invited Talk in Memory of Peter Aczel given by Michael Rathjen
10:30 ‑ 11:00 Coffee Break
11:00 ‑ 12:00 Session 23: Invited Talk in Memory of Peter Aczel given by Nicola Gambino
12:00 ‑ 13:30 Lunch
13:30 ‑ 14:50 Session 24: Models of Type Theory
14:50 ‑ 15:20 Coffee Break

Social Programme

Welcome Reception

The welcome reception will be hosted in Festsalen at Copenhagen City Hall.

Time: Tuesday, 18:30 - 20:00.

How to get there from the conference venue:

  • 40 minutes walk: see map.
  • Or take the metro: Take the M1 at DR Byen station towards Vanløse, get off at Kongens Nytorv station, change to the M3 via København H and get off Rådhuspladsen station. See map.

Social Event: Canal Tour

A boat will take us through the canals of Copenhagen.

Time: Wednesday, 16:50 - 18:00.

Meeting point: Christianshavns Torv, right next to Lagkagehuset

How to get there from the conference venue:

  • 30 minutes walk: see map.
  • Or take the metro at DR Byen station towards Vanløse and get off after two stops at Christianshavn station. See map.

Social Dinner

The conference dinner will be hosted at Spiseloppen (see map)

Time: Thursday, 19:00.

How to get there from the conference venue:

  • 30 minutes walk: see map.
  • Or take the metro at DR Byen station towards Vanløse and get off after two stops at Christianshavn station. See map.

SPONSORS




HOST

IT University of Copenhagen