[Prev][Next][Index][Thread]
Extended Deadline: Workshop on MEchanized Reasoning about Languages with variable bINding (MERLIN 2001)
-
To: hvg@cl.cam.ac.uk, coq-club@pauillac.inria.fr, isabelle-users@cl.cam.ac.uk, info-hol@jaguar.cs.byu.edu, lego-club@dcs.ed.ac.uk, nuprlnotes@cs.cornell.edu, pvs@csl.sri.com, concurrency@cwi.nl, imps@linus.mitre.org, mizar-forum@mizar.uwb.edu.pl, softverf@nist.gov, rewriting@ens-lyon.fr, lprolog@cs.umn.edu, elf-list@cs.cmu.edu, lics@math.uic.edu, eacsl@dimi.uniud.it, eatcs-it@cs.unibo.it, formal-methods@cs.uidaho.edu, theorem-provers@ai.mit.edu, gulp@di.unipi.it, logic@cs.cornell.edu, theorynt@listserv.nodak.edu, ccp@sics.se, users@mozart-oz.org, compunode@dfki.de, announce@sigart.acm.org, CADEinc@cs.albany.edu, csl@dbai.tuwien.ac.at, linear@cs.stanford.edu, logic-list@cs.rice.edu, compulog-deduction@cs.bham.ac.uk, compulog@doc.imperial.ac.uk, deduktion@intellektik.informatik.th-darmstadt.de, qed@mcs.anl.gov, dreamers@dai.ed.ac.uk, lfcs-interest@dcs.ed.ac.uk, stp@dcs.gla.ac.uk, facs-members@lut.ac.uk, fme@mailbase.ac.uk, fm-info@air16.larc.nasa.gov, fsdm@cs.uq.oz.au, roy.crole@mcs.le.ac.uk, types@cis.upenn.edu
-
Subject: Extended Deadline: Workshop on MEchanized Reasoning about Languages with variable bINding (MERLIN 2001)
-
From: "A. Momigliano" <am133@mcs.le.ac.uk>
-
Date: Sat, 31 Mar 2001 16:12:55 +0100
-
Organization: University of Leicester
-
Sender: am133@mcs.le.ac.uk
Extended Deadline: Tuesday April 10th 2001
FINAL CALL FOR PAPERS
------------------------------------------------------------------------
Workshop on
MEchanized Reasoning about Languages with variable bINding
(MERLIN 2001)
Siena, Italy, June 18-19, 2001 in connection with IJCAR 2001
**********************************
* http://www.mcs.le.ac.uk/merlin *
**********************************
KEYWORDS
Induction and Coinduction, Logical Frameworks, Mechanization,
Metaprogramming, Operational Semantics, Programming Languages, Theorem
Proving, Variable Binding.
IMPORTANT DATES
+ Friday April 10th Extended Deadline for paper submission.
+ Friday April 27th Notification of acceptance by email.
+ Friday May 18th Deadline for submission of Camera Ready Copy.
+ Workshop dates June 18-19 2001, exact date to be confirmed.
For further details about the Workshop, including questions concerning
the relevance of submissions, please contact one of
+ Roy L. Crole, email: R.Crole@mcs.le.ac.uk
+ Simon J. Ambler, email: S.Ambler@mcs.le.ac.uk
+ Alberto Momigliano (Local Organizer), email:
A.Momigliano@mcs.le.ac.uk