[Prev][Next][Index][Thread]
LDTA'2001 Remainder
-
To: action-semantics@brics.dk, AG-list@uni-mb.si, alp-diffusion@univ-lille1.fr, amast@cs.utwente.nl, bra-types@cs.chalmers.se, calculemus-ig@dist.unige.it, cofi-list@brics.dk, comp.compilers@uni-mb.si, concurrency@cwi.nl, coq-club@pauillac.inria.fr, eacsl@dimi.uniud.it, eapls@mailbase.ac.uk, eatcs-it@cs.unibo.it, formal-methods@cs.uidaho.edu, fsdm@it.uq.edu.au, ftp@logic.at, info-hol@jaguar.cs.byu.edu, ipalist@win.tue.nl, protagonist@cs.kun.nl, isabelle-users@cl.cam.ac.uk, logic-ml@logic.jaist.ac.jp, lpca@loria.fr, nwpt-info@sool.ioc.ee, prog-lang@diku.dk, protagonist@cs.kun.nl, qed@mcs.anl.gov, rewriting@ens-lyon.fr, theorem-provers@ai.mit.edu, THEORYNT@listserv.nodak.edu, types@cis.upenn.edu, ldta@sophia.inria.fr
-
Subject: LDTA'2001 Remainder
-
From: Marjan Mernik <marjan.mernik@uni-mb.si>
-
Date: Thu, 05 Oct 2000 09:11:04 +0200
-
Delivery-Date: Fri Oct 6 01:51:40 2000
EXACT DATE ANNOUNCEMENT
First Workshop on Language Descriptions,
Tools and Applications
LDTA'2001
April 7, 2001
Genova, Italy
The workshop welcomes contributions on all aspects of formal
language definitions, with special emphasis on applications of these
language definitions and tools developed for or with these language
definitions.
For additional information, please check the following URL:
http://www-sop.inria.fr/oasis/LDTA/ldta.html
Schedule
Submission of full paper December 1, 2000
Notification January 20, 2001
Final version due February 20, 2001
Organizers
Didier Parigot, Mark van den Brand and Marjan Mernik