INTERNATIONAL WORKSHOPS ON LOGICAL FRAMEWORKS AND META-LANGUAGES:
THEORY AND PRACTICE (LFMTP'06)
(Affiliated with LICS and IJCAR at FLOC'06)
Call for Papers
Seattle, Washington, 16 August, 2006.
http://www.cs.mcgill.ca/~bpientka/lfmtp06/index.html
* Theme. The automation and implementation of the meta-theory of
programming languages and related calculi, particularly work which
involves variable binding and fresh name generation. The theoretical
and practical issues concerning the encoding of variable binding and
fresh name generation, especially the representation of, and
reasoning about, datatypes defined from binding signatures. Case
studies of meta-programming, and the mechanization of the
(meta)theory of programming languages and calculi.
* Paper Submissions.
Category A: Detailed and technical accounts of new research: up
to fifteen pages including bibliography.
Category B: Shorter accounts of work in progress: up to eight
pages including bibliography.
Category C: System descriptions, presenting an implemented tool
and its novel features: up to six pages. A demonstration is
expected to accompany the presentation.
Submission is electronic. For instructions, see the LFMTP web page:
http://www.cs.mcgill.ca/~bpientka/lfmtp06/index.html
* Submission Deadline: May 15, 2006
* Program Committee. Andrew Appel (Princeton University), Thierry
Coquand (Goteborg University), Martin Hofmann (LMU Munich), Furio
Honsell (University of Udine), Dale Miller (Inria Futurs), Brigitte
Pientka (McGill University) Andrew Pitts (Cambridge University)
Kevin Watkins (Carnegie Mellon University).
------------------------------------------------------------------------
This e-mail was delivered to you by [EMAIL PROTECTED], what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany.
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
In the case of any requests, questions, or comments, do not hesitate and
contact [EMAIL PROTECTED] ASAP.
******************************************************
* CIG does not take any responsibility for validity *
* of content of messages sent through this list. *
******************************************************
Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
