[TYPES] Call for Participation: MERLIN 2005

[Alwen Tiu]

Apologies for multiple copies
----------------------------------------------------------------------------

                      Call for Participation

                        Third ACM Workshop

MEchanized Reasoning about Languages with variable bInding and Names

                           (MERLIN 2005)  

                       Affiliated with ICFP'05
                 Tallinn, Estonia, 30 September 2005

                  **********************************
                  * http://merlin.dimi.uniud.it/   *
                  **********************************


REGISTRATION: Information on registration available on
http://www.cs.ioc.ee/tfp-icfp-gpce05/

EARLY REGISTRATION DEADLINE IS JULY 29, 2005.

ABOUT MERLIN

The aim of the workshop is run a short, but highly focussed meeting, 
which will
provide researchers with a forum to review state-of-the-art results and
techniques, to summarize current progress on key problems, and to evaluate
the challenges we face over the next decade. The broad subject areas of 
MERLIN
include:
- The automation 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.

MERLIN this year will host panel disucssions on the POPLMark Challenge
(http://www.cis.upenn.edu/group/proj/plclub/mmm/)

INVITED TALK

"Towards a Type Theory of Contexts", Frank Pfenning, Carnegie Mellon
University, Pittsburgh, USA.

PANEL DISCUSSIONS

"Beyond the POPLmark challenge"

Participants:

Benjamin Pierce, University of Pennsylvania, USA.
Steve Zdancewic, University of Pennsylvania, USA.
Randy Pollack, University of Edinburgh, UK.
Robert Harper, Carnegie Mellon University, USA.
James Cheney, University of Edinburgh, UK.

ACCEPTED PAPERS

Aleksey Nogin, Alexei Kopylov, Xin Yu and Jason Hickey. A Computational
Approach to Reflective Meta-Reasoning about languages with Bindings.

Miki Tanaka and John Power. A Unified Category-Theoretic Formulation of
Typed Binding Signatures.

Christian Urban and Michael Norrish. A Formal Treatment of the Barendregt
Variable Convention in Rule Inductions.

James Cheney. Towards a General Theory of Names, Binding, and Scope.

Olha Shkaravska. Types with Semantics.

Marino Miculan, Ivan Scagnetto and Furio Honsell. Translating 
Specifications
from Nominal Logic to CIC with the Theory of Contexts.

Kevin Donnelly and Hongwei Xi. Combining Higher-Order Abstract Syntax with
First-Order Abstract Syntax in ATS.