RE: IMLA 02 LAST Call for Papers, deadline: 5th April

hi Benjamin,
nice to hear from you. No, I'm afraid no modifications at this time, so no
problem, don't send it. If the deadline does get changed, I will email types
again, highlighting the modification.

-----Original Message-----
From: Benjamin C. Pierce [mailto:bcpierce@saul.cis.upenn.edu]
Sent: Monday, March 18, 2002 4:45 AM
To: paiva@parc.xerox.com
Subject: Re: IMLA 02 LAST Call for Papers, deadline: 5th April

Hi Valeria,

The policy of the TYPES list normally to distribute only one
announcement of each event, unless there are important changes in
information like deadlines.  (If there are, could you highlight them
at the top and repost it?)



Return-Path: lfcs-interest-admin@informatics.ed.ac.uk
Received: from central.cis.upenn.edu (root@CENTRAL.CIS.UPENN.EDU
	by saul.cis.upenn.edu (8.12.2/8.12.2) with ESMTP id g2I8ot5W005871
	(version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO)
	for <bcpierce@saul.cis.upenn.edu>; Mon, 18 Mar 2002 03:50:56 -0500 (EST)
Received: from beano.cogsci.ed.ac.uk (beano.cogsci.ed.ac.uk
	by central.cis.upenn.edu (8.12.2/8.12.2) with ESMTP id g2I8oZN8015751;
	Mon, 18 Mar 2002 03:50:35 -0500 (EST)
Received: from beano.cogsci.ed.ac.uk (localhost [])
	by beano.cogsci.ed.ac.uk (8.9.3/8.9.3) with ESMTP id IAA29045;
	Mon, 18 Mar 2002 08:50:04 GMT
Received: from muck.dcs.ed.ac.uk (root@muck.dcs.ed.ac.uk [])
	by beano.cogsci.ed.ac.uk (8.9.3/8.9.3) with ESMTP id XAA18898
	for <lfcs-interest@informatics.ed.ac.uk>; Fri, 15 Mar 2002 23:17:40 GMT
Received: from localhost (majordom@localhost)
          by muck.dcs.ed.ac.uk with SMTP id XAA26812
          for <lfcs-interest@informatics.ed.ac.uk>; Fri, 15 Mar 2002
23:17:41 GMT
Received: by muck.dcs.ed.ac.uk (bm-ed-dcs v1.8); Fri, 15 Mar 2002 23:17:40
Received: (from majordom@localhost)
          by muck.dcs.ed.ac.uk with  id XAA26804
          for lfcs-interest-list; Fri, 15 Mar 2002 23:17:40 GMT
Received: from alpha.xerox.com (alpha.Xerox.COM [])
          by muck.dcs.ed.ac.uk with SMTP id XAA26799
          for <lfcs-interest@dcs.ed.ac.uk>; Fri, 15 Mar 2002 23:17:35 GMT
Received: from thelma.parc.xerox.com ([]) by alpha.xerox.com with
SMTP id <133399(2)>; Fri, 15 Mar 2002 15:17:04 PST
Received: from godel ([]) by thelma.parc.xerox.com with SMTP id
<98303>; Fri, 15 Mar 2002 15:16:46 PST
Reply-To: <paiva@parc.xerox.com>
From: "Valeria de Paiva" <paiva@parc.xerox.com>
To: <info-hol@jaguar.cs.byu.edu>, <isabelle-users@cl.cam.ac.uk>,
   <theorem-provers@ai.mit.edu>, <coq@margaux.inria.fr>,
   <nuprllist@cs.cornell.edu>, <imps@linus.mitre.org>,
   <alp-list@intellektik.informatik.th-darmstadt.de>, <pvs@csl.sri.com>,
   <lprolog-list@cis.upenn.edu>, <lfcs-interest@dcs.ed.ac.uk>,
   <types@dcs.gla.ac.uk>, <theory@dcs.st-and.ac.uk>,
   <theory-a@listserv.nodak.edu>, <types-wg@durham.ac.uk>,
   <linear@cs.stanford.edu>, <logic@cs.cornell.edu>,
   <logic@theory.lcs.mit.edu>, <compulog-deduction@cs.bham.ac.uk>,
   <proof-sci@cs.chalmers.se>, <logic-list@cs.rice.edu>,
   <comlab@comlab.ox.ac.uk>, <fsdm@svrc.uq.edu.au>, <categories@mta.ca>
Cc: <'rpg@discus.anu.edu.au'>, <'M.Mendler@dcs.shef.ac.uk'>
Subject:  IMLA 02  LAST Call for Papers, deadline: 5th April
Message-ID: <000e01c1cc77$78611f50$7e10020d@parc.xerox.com>
MIME-Version: 1.0
Content-Type: text/plain;
Content-Transfer-Encoding: 8bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook CWS, Build 9.0.2416 (9.0.2910.0)
Importance: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4807.1700
Sender: lfcs-interest-admin@informatics.ed.ac.uk
Errors-To: lfcs-interest-admin@informatics.ed.ac.uk
X-BeenThere: lfcs-interest@informatics.ed.ac.uk
X-Mailman-Version: 2.0.1
Precedence: bulk
List-Help: <mailto:lfcs-interest-request@informatics.ed.ac.uk?subject=help>
List-Post: <mailto:lfcs-interest@informatics.ed.ac.uk>
List-Id: General interest LFCS list <lfcs-interest.informatics.ed.ac.uk>
List-Archive: <http://lists.informatics.ed.ac.uk/pipermail/lfcs-interest/>
Date: Fri, 15 Mar 2002 15:16:42 PST
X-Spam-Status: No, hits=0.0 required=5.0 tests= version=2.01

               [...  apologies for multiple copies ... ]

---------------------   WORKSHOP ANNOUNCEMENT  -----------------------

                 ***  LAST  CALL FOR PAPERS ***


  FLoC'2002 Workshop

  IMLA 2: Intuitionistic Modal Logic and Applications '02

  July 26, 2002
  Copenhagen, Denmark


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.

The goal of this workshop is to stimulate more systematic study of
or Intuitionistic Modal Logics and, in parallel of modal type theories. It
aims to
1. bring together two largely parallel communities - computer scientists
with a focus on proof theory and lambda calculi, and logicians and
philosophers with a focus on model theory;
2. bring together theoretically-oriented and the application-oriented
approaches, in the hope of productive interaction.

Topics of interest for papers in the Workshop include, but are not limited
      * applications of intuitionistic necessity or possibility, strong
monads, or evaluation modalities,
      * use of modal type theory to formalize mechanisms of abstraction
and refinement,
      *  applications of constructive modal logic and modal type theory to
formal verification, abstract interpretation, and program analysis and
      *  applications of modal types to integration of inductive and
co-inductive types, higher-order abstract syntax, strong functional
      *  computational aspects of the Curry-Howard correspondence between
lambda calculi and logics
      *  extensions of this correspondence by other modalities or
      *  models of constructive modal logics such as algebraic, categorical,
Kripke, topological, realizability interpretations
      *   notions of proof for constructive modal logics
      *   extraction of constraints or programs, nonstandard information
extraction techniques
      *  proof search in constructive modal logic and implementations of it


  The workshop will be an informal one-day meeting with two invited
  talks, regular paper presentations, and discussion.


  Giovanni Sambin (Padova, Italy)
  Dana Scott (Pittsburgh, USA)


Workshop contributions must be original work that has not yet appeared
elsewhere. If accepted, the authors are expected to present their paper at
the workshop.
Workshop papers will be made available on the  workshop web page and
will  appear  as a technical report  handed out to all workshop

Authors of accepted papers will be invited to submit
full and revised versions  of the Workshop papers to a special issue of
the Journal of  Logic and Computation, for which there will be a second
round of refereeing.


All submissions should be single column, use 11 point font, and be at most
15 pages in length, preferably using the LaTeX llnc style. Papers should not
be already published and should not be submitted for simultaneous
publication at another conference or workshop. Either send a .ps or .pdf
file to M.Mendler@dcs.shef.ac.uk <mailto:M.Mendler@dcs.shef.ac.uk>
or post a hard copy to

Michael Mendler
Informatics Theory Group
Faculty of Business and Applied Informatics
University of Bamberg
Feldkirchenstr. 21
D-96047 Bamberg
by the due date.


  IMLA submission deadline: April 5, 2002
  IMLA notification       : May 23, 2002
  IMLA final version      : June 20, 2002


 Natasha Alechina (Nottingham, UK)
 Sergei Artemov (CUNY, USA)
 Johan van Benthem (Amsterdam and Stanford)
 Rajeev Goré (ANU, Australia)
 Jean Goubault-Larrecq (ENS-Cachan, France)
 Michael Mendler (Sheffield ,UK)
 Eugenio Moggi (Genova, Italy)
 Valeria de Paiva (PARC, USA)
 Frank Pfenning (CMU, USA)
 Carsten Schuermann (Yale, USA)
 Alex Simpson (Edinburgh, UK)


  Rajeev Gore (ANU, Australia)
  Michael Mendler (Sheffield, UK)
  Valeria de Paiva (PARC, USA)

Workshop webpage:   http://floc02.diku.dk/IMLA/