[Prev][Next][Index][Thread]
IMLA'02 Program and Call for Participation
-
To: <lics-request@dcs.ed.ac.uk>, <types@cis.upenn.edu>, <types-wg@durham.ac.uk>, <appsem@cs.chalmers.se>, <theorynt@listserv.nodak.edu>, <linear@cs.stanford.edu>, <qed@mcs.anl.gov>, <coq-club@pauillac.inria.fr>, <info-hol@jaguar.cs.byu.edu>, <isabelle-users@cl.cam.ac.uk>, <pvs@csl.sri.com>, <theorem-provers@ai.mit.edu>, <lprolog@cs.umn.edu>
-
Subject: IMLA'02 Program and Call for Participation
-
From: "Valeria de Paiva" <paiva@parc.xerox.com>
-
Date: Fri, 14 Jun 2002 16:42:27 PDT
-
Cc: <paiva@parc.com>
-
Importance: Normal
-
Reply-To: <paiva@parc.xerox.com>
Program and Call for Participation
Second Workshop on
Intuitionistic modal Logics and Applications
(IMLA'02)
http://floc02.diku.dk/IMLA/
A FLoC'02 affiliated workshop
Copenhagen, Denmark, July 26, 2002
http://discus.anu.edu.au/~rpg/IMLA02/IMLA02.html
REMINDER: DEADLINE FOR EARLY REGISTRATION 15 JUNE !!!
Constructive and modal logics are of foundational and practical relevance
to
Computer Science. Constructive logics are used as type
disciplines for programming languages, as metalogics for
denotational semantics, in the paradigm of program extraction from proofs
and
for interactive proof development in automated
deduction systems such as Agda, Coq, Twelf, Isabelle, HOL, NuPrl and
Plastic.
Modal logics like temporal logics, dynamic logics and process
logics are used in industrial-strength applications as concise formalisms
for
capturing reactive behaviour.
Although constructive and modal frameworks have
typically been investigated separately, a growing body of published work
shows
that both paradigms can (and should) be fruitfully combined. The goal of
this workshop is to stimulate more systematic study of constructive
or Intuitionistic Modal Logics and, in parallel of modal type theories.
-----------------------------
IMLA'02 Preliminary Programme
-----------------------------
8:50--9:00 Opening
9:00--10:00 Invited Talk: Dana Scott
10:00--10:30 paper 1: Awodey/Bauer
10:30--11:00 refreshment break
11:00--11:30 paper 2: C. Hermida
11:30--12:00 paper 3: G. Bellin
12:00--12:30 paper 4: O. Brunet
12:30--14:00 lunch
14:00--15:00 Invited talk: Giovanni Sambin
15:00--15:30 paper 5: Davoren et al
15:30--16:00 refreshment break
16:00--16:30 paper 6: Maietti/Ritter
16:30--17:00 Discussion and conclusion
17:00--18:00 FLOC Plenary Talk
Programme committee:
Natasha Alechina (Nottingham, UK)
Sergei Artemov (CUNY Graduate Center, USA)
Johan van Benthem (Amsterdam, The Netherlands and Stanford, USA)
Matt Fairtlough (Sheffield, UK)
Rajeev Goré (ANU, Australia)
Jean Goubault-Larrecq (ENS-Cachan, France)
Michael Mendler (Bamberg, Germany)
Eugenio Moggi (Genova, Italy)
Valeria de Paiva (Xerox PARC, USA)
Frank Pfenning (CMU, USA)
Carsten Schuermann (Yale, USA)
Alex Simpson (Edinburgh, UK)
ORGANIZERS:
Valeria de Paiva (PARC, USA) [paiva@parc.com]
Rajeev Gore' (ANU, Australia) [ rpg@discus.anu.edu.au]
Michael Mendler (Bamberg, [michael.mendler@wiai.uni-bamberg.de]