Monday, June 4

9:15	–	10:00	Valentin Shehtman "On axiomatizing products of some transitive modal logics with S5"
10:00	–	10:30	Coffee break
10:30	–	11:15	Laura Crosilla "Operations and sets, constructively"
11:30	–	12:00	Sebastian Eberhard "Applicative theories for logarithmic complexity classes"

Lunch break

14:00	–	14:45	Sergei Artemov "A classical view of constructive semantics"
14:45	–	15:15	Coffee break
15:15	–	16:00	Pierluigi Minari "Labelled sequent calculi for modal logics: getting rid of hidden contractions"
16:15	–	17:00	Wolfram Pohlers "Some applications of semiformal systems"

 

Tuesday, June 5

9:15	–	10:00	Michael Rathjen "The existence property and ordinal analysis"
10:00	–	10:30	Coffee break
10:30	–	11:15	Lev Beklemishev "Topological semantics of provability logic"
11:30	–	12:00	Samuel Bucheli "A justification logic with common knowledge"

Lunch break

14:00	–	14:45	Yuri Gurevich "What, if anything, can be done in linear time?"
14:45	–	15:15	Coffee break
15:15	–	16:00	Andreas Blass "Logical justification in distributed authorization"
16:15	–	17:00	Anton Setzer "Inductive-inductive definitions"

Social dinner

 

Wednesday, June 6

9:15	–	10:00	Tatiana Yavorskaya "Arithmetical semantics for the first order logic of proofs"
10:00	–	10:30	Coffee break
10:30	–	11:15	Isabel Oitavem "The class NP"
11:30	–	12:00	Walter Dean "Gödel, Kreisel, and the origin of the Logic of Proofs"

Lunch break

14:00	–	14:45	Reinhard Kahle "Induction schemata for classes of computational complexity"
14:45	–	15:15	Coffee break
15:15	–	16:00	Melvin Fitting "Possible world semantics for first order LP"