TYPES 2023: 29TH INTERNATIONAL CONFERENCE ON TYPES FOR PROOFS AND PROGRAMS
PROGRAM FOR WEDNESDAY, JUNE 14TH: 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
09:00-10:00 Invited Talk. Intersection and Simple types. Simona Ronchi Della Rocca (Università di Torino, Italy)
10:20-10:40
José Espírito Santo, René Gazzari, Luís Pinto
10:40-11:00
Ariel Grunfeld, Liron Cohen, Ross Tate
11:50-12:10
Pierre Cagne, Patricia Johann
12:10-12:30
Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
12:30-12:50
Gaëtan Gilbert, Yann Leray, Nicolas Tabareau, Théo Winterhalter
12:50-13:10
Felix Bradley, Zhaohui Luo
13:10-13:30
Murdoch J. Gabbay, Orestis Melkonian
15:00-15:20
Orestis Melkonian, Wouter Swierstra, James Chapman
15:20-15:40
Mohammad Shaheer, Giselle Reis, Bruno Woltzenlogel Paleo
15:40-16:00
Fahad Alhabardi, Anton Setzer
16:00-16:20
Artjoms Sinkarovs, Sven-Bodo Scholz
11:00-11:30 Coffee Break
13:30-15:00 Lunch Break
16:20-16:50 Coffee Break