[clean-list] CFP: LFMTP 2006

[event at in.tu-clausthal.de]

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 event at in.tu-clausthal.de, 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 event-owner at in.tu-clausthal.de 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/