TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
PROGRAM FOR TUESDAY, JUNE 13TH: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overview

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
09:00-10:00 Invited Talk. The differentiation monad. Marie Kerjean (CNRS, France)
10:00-10:20
Jelle Wemmenhove, Cosmin Manea, Jim Portegies
10:20-10:40
L. Cruz-Filipe, L. Lugović, F. Montesi, M. Peressotti, R.R. Rasmussen
10:40-11:00
Matthias Eberl
11:50-12:10
Joshua Chen, Tom de Jong, Nicolai Kraus, Stiephen Pradal
12:30-12:50
Lauren White, Laura Titolo, J. Tanner Slagel
12:50-13:10
Kazuhiko Sakaguchi
15:00-15:20
Sam van Gool, Paul-André Melliès, Vincent Moreau
15:20-15:40
Andrej Dudenhefner, Felix Laarmann, Jakob Rehof, Christoph Stahl
15:40-16:00
Ammar Karkour, Giselle Reis
16:00-16:20
Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski
16:50-17:10
Benedikt Ahrens, Ralph Matthes, Kobe Wullaert
17:10-17:30
Jacob Neumann
17:30-17:50
Kobe Wullaert, Niels van der Weide
18:15-19:15 General Assembly
11:00-11:30 Coffee Break
13:30-15:00 Lunch Break
16:20-16:50 Coffee Break