A Day of Bounded Arithmetic

Preliminary Program:

10:00 -- 10:30  Arrivals and morning coffee (CS1.03 - Common Room)

10:30 -- 11:00  1st Talk (CS1.01)

11:00 -- 11:30  2nd Talk (CS1.01)

11:30 -- 12:00  3rd Talk (CS1.01)

12:00 -- 13:00  Lunch (ask the organisers for suggestions on campus)

13:00 -- 14:00  Informal Discussion (CS1.01)

14:00 -- 14:30  4th Talk (CS1.04)

14:30 -- 15:00  5th Talk (CS1.04)

15:00 -- 15:30  Coffee Break (CS1.04)

15:30 -- 16:00  5th Talk (CS1.04)

16:00 -- 16:30  6th Talk (CS1.04)

16:30 -- 17:00  Open Problems and Conclusion (CS1.04)

17:00 --  .....     Pub Trip