Program

PHDs Logic ProgramTake a look at our 3 days schedule, talks and chairs
Mon Sep 05 2022
08:00 - 09:30
Registration and Breakfast
09:30 - 11:15
11:15 - 11:45
Coffee Break
11:45 - 12:15
12:20 - 12:50
12:50 - 14:20
Lunch Break
14:20 - 15:20
Ivano Ciardelli (invited)Questions in first-order logic
15:25 - 15:55
15:55 - 16:25
Coffee Break
16:25 - 16:55
17:00 - 17:30
17:35 - 18:05