All sessions take place in auditorium 2.
IMLA's program is also available with abstracts or side by side with other meetings.
08:50-10:30 Session 1
09:00 Dana Scott, Carnegie Mellon U, USA
Invited talk: Realizability and modality
10:00 Steve Awodey, Carnegie Mellon U, USA and Andrej Bauer, U Ljubljana, Slovenia
Propositions as [types]
11:00-12:30 Session 2
11:00 Claudio Hermida, IST Lisbon, Portugal
A categorical outlook on relational modalities and simulations
11:30 Gianluigi Bellin, U Verona, Italy
Towards a formal pragmatics: An intuitionistic theory of assertive and conjectural judgements with an extension of Gödel, McKinsey and Tarski's S4 translation.
12:00 Olivier Brunet, INRIA Rhône-Alpes, France
A modal logic for observation-based knowledge representation
14:00-15:30 Session 3
14:00 Giovanni Sambin, U Padova, Italy
Invited talk: Open truth and closed falsity
15:00 J. M. Davoren, Australian National U; V. Coulthard, Australian National U; T. Moor, Australian National U; Rajeev P. Goré, Australian National U; and A. Nerode, Cornell U, USA
Topological semantics for intuitionistic modal logics, and spatial discretisation by A/D maps
16:00-17:00 Session 4
16:00 Maria Emilia Maietti, U Padova, Italy and Eike Ritter, U Birmingham, UK
Modal run-time analysis revisited