[Prev][Next][Index][Thread]
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.
Thanks,
Valeria
-----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?)
Regards,
Benjamin
Return-Path: lfcs-interest-admin@informatics.ed.ac.uk
Received: from central.cis.upenn.edu (root@CENTRAL.CIS.UPENN.EDU
[158.130.12.2])
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
[129.215.144.54])
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 [127.0.0.1])
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 [129.215.216.15])
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
+0000
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 [13.1.64.93])
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 ([13.1.100.28]) by alpha.xerox.com with
SMTP id <133399(2)>; Fri, 15 Mar 2002 15:17:04 PST
Received: from godel ([13.2.16.126]) 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>,
<nqthm-users@cli.com>,
<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>,
<igpl@doc.ic.ac.uk>,
<linear@cs.stanford.edu>, <logic@cs.cornell.edu>,
<logic@theory.lcs.mit.edu>, <compulog-deduction@cs.bham.ac.uk>,
<lics@research.bell-labs.com>,
<deduktion@intellektik.informatik.th-darmstadt.de>,
<eacsl@dimi.uniud.it>,
<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;
charset="iso-8859-1"
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-Subscribe:
<http://lists.informatics.ed.ac.uk/mailman/listinfo/lfcs-interest>,
<mailto:lfcs-interest-request@informatics.ed.ac.uk?subject=subscribe>
List-Id: General interest LFCS list <lfcs-interest.informatics.ed.ac.uk>
List-Unsubscribe:
<http://lists.informatics.ed.ac.uk/mailman/listinfo/lfcs-interest>,
<mailto:lfcs-interest-request@informatics.ed.ac.uk?subject=unsubscribe>
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 ***
DEADLINE 5th APRIL 2002
FLoC'2002 Workshop
IMLA 2: Intuitionistic Modal Logic and Applications '02
http://floc02.diku.dk/IMLA/
July 26, 2002
Copenhagen, Denmark
BACKGROUND
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
constructive
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
to:
* 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
optimization
* applications of modal types to integration of inductive and
co-inductive types, higher-order abstract syntax, strong functional
programming
* computational aspects of the Curry-Howard correspondence between
lambda calculi and logics
* extensions of this correspondence by other modalities or
quantifiers
* 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
FORMAT
The workshop will be an informal one-day meeting with two invited
talks, regular paper presentations, and discussion.
INVITED SPEAKERS
Giovanni Sambin (Padova, Italy)
Dana Scott (Pittsburgh, USA)
PUBLICATION
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
participants.
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.
SUBMISSIONS
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
Germany
by the due date.
IMPORTANT DATES
IMLA submission deadline: April 5, 2002
IMLA notification : May 23, 2002
IMLA final version : June 20, 2002
PROGRAMME COMMITTEE
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)
ORGANISERS
Rajeev Gore (ANU, Australia)
Michael Mendler (Sheffield, UK)
Valeria de Paiva (PARC, USA)
Workshop webpage: http://floc02.diku.dk/IMLA/