FLoC '02 - IMLA program

IMLA program

Friday July 26th, 2002

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

08:50	Opening
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]

10:30-11:00 Refreshments

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

12:30-14:00 Lunch

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

15:30-16:00 Refreshments

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
16:30	Discussion