Program

Program as a PDF

Sunday 27

19.15 Dinner


Monday 28

07.30 - 09.00 Breakfast
09.00 - 09.50 Mai Gehrke Duality in Logic (slides)
09.50 - 10.20 Coffee
10.20 - 11.10 Peter Jipsen Finite models and practical decision procedures in propositional substructural logics (slides)
11.20 - 12.10 Stanley Wainer Computing Bounds from Arithmetical Proofs (slides)
12.15 Lunch*
17.00 Coffee
18.00 - 19.00 Hans van Ditmarsch Dynamic Epistemic Logic - an Overview (slides)
19.15 Dinner


Tuesday 29

07.30 - 09.00 Breakfast
09.00 - 09.50 Stanley Wainer Computing Bounds from Arithmetical Proofs (slides)
09.50 - 10.20 Coffee
10.20 - 11.10 Stanley Wainer Computing Bounds from Arithmetical Proofs (slides)
11.20 - 12.10 Peter Jipsen Finite models and practical decision procedures in propositional substructural logics (slides)
12.15 Lunch*
17.00 Coffee
18.00 - 19.00 Thomas Studer Justification logic - a short introduction (slides)
19.15 Dinner


Wednesday 30

07.30 - 09.00 Breakfast
09.00 - 09.50 Peter Jipsen Finite models and practical decision procedures in propositional substructural logics (slides)
09.50 - 10.20 Coffee
10.20 - 11.10 Mai Gehrke Duality in Logic (slides)
11.20 - 12.10 Mai Gehrke Duality in Logic
12.15 Lunch*
17.00 Coffee
18.00 - 19.00 Dale Miller Foundational Proof Certificates (slides)
19.15 Dinner


Thursday 31

07.30 - 09.00 Breakfast


*Or a packed lunch may be ordered from the hotel before 9am the same day.