CFP: LDTA'2002

Marjan Mernik 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@alpham.uni-mb.si, concurrency@cwi.nl, coq-club@pauillac.inria.fr, eacsl@dimi.uniud.it, EAPLS@JISCMAIL.AC.UK, eatcs-it@cs.unibo.it, ecoop-info@ecoop.org, formal-methods@cs.uidaho.edu, fsdm@it.u, q.edu.au@alpham.uni-mb.si, ftp@logic.at, haskell@haskell.org, info-hol@jaguar.cs.byu.edu, ipalist@win.tue.nl, isabelle-users@cl.cam.ac.uk, logic-ml@logic.jaist.ac.jp, lpca@loria.fr, nwpt-info@sool.ioc.ee
Fri, 25 May 2001 13:47:30 +0200 

[apologies if you receive multiple copies of this message]
-----------------------------------------------------------

           2nd Workshop on Language Descriptions,
                  Tools and Applications
                        LDTA'2002
                Affiliated with ETAPS'2002
                      April 13, 2002
                     Grenoble, France


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 call for papers and additional information please check the
following URL: http://www.cwi.nl/conferences/LDTA2002

Schedule
 Submission of full paper           December 15, 2001
 Notification                       January  31, 2002
 Final version due                  February 28, 2002