Programme BLC 2008

BLC 2008 programme

14:00 - 15:00 Mikhail Zakharyaschev: Two etudes on modal logic in computer science . Slides.
15:15 - 16:15 Dexter Kozen: Kleene Algebra with Tests and Kleene Coalgebra with Tests: A Unifying Theme for Partial Correctness and Program Schematology
16:30 - 17:00 James Brotherston: Classical BI: a logic for reasoning about dualising resource . Slides.
17:00 - 17:30 Dmitry Tishkovsky: A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments . Slides . Paper
17:30- 18:00 Roy Dyckhoff: A cut-free sequent calculus for distributive lattices with adjoint pairs of modal operators . Slides

9:15- 10:15 Rob Goldblatt: Lindenbaum's Lemma as an axiom for infinitary logic . Slides.
10:15 - 11:15 Ulrich Kohlenbach: Proof Interpretations, "Hard Analysis" and Ergodic Theory
11:30 - 12:30 Michael Moortgat: Symmetric categorial grammar . Slides. More to be found here .
14:00 - 15:00 Michael Benedikt: Logic on Streams
15:00 - 16:00 Hannes Leitgeb: On Truth and Probability
16:15 - 16:45 Laura Crosilla: Constructive operational set theory

9:15 - 9:45 Basil Smith: Back to the roots . Extended handout.
10:00 - 11:00 Alan Weir: The Force of Reason: what makes logic compelling?
11:30-12:30 Peter Milne: Betting on Fuzzy and Many-valued Propositions . Slides.