The programme for IMLA2002 is reproduced below. The organizers were Michael Mendler, Rajeev Gore' and myself. The preliminary proceedings appeared as a technical report from Bamberg. A special issue of the Journal of Logic and Computation, Modalities in constructive logics and type theories, collected fully expanded and reviewed versions of the papers.
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