[TYPES/announce] CFP TAASN 2009 at ETAPS (York, 22 March)

[Maribel Fernandez]

====================================================================
                          Call for Papers

                             TAASN 2009
         2nd International Workshop on Theory and Applications of
                  Abstraction, Substitution and Naming

            http://www.dcs.kcl.ac.uk/staff/maribel/TAASN.html

                        22nd March 2009, York, UK
                            (part of ETAPS)


Mathematical treatments of concrete syntax have always been a central
concern in symbolic computation, programming language implementation
and computer-aided reasoning. Theories of abstract syntax have proved
harder to find, especially those addresssing properties related to
substituting structures for variables, delimiting the scope of names,
and sharing common substructures.  The main purpose of this workshop is
to bring together researchers who are applying logic, category theory
and set theory to the study of abstract syntax in computer languages,
as well as researchers who are building computer systems based on
those theories. Papers describing applications in computational logic,
program language design, and mechanised theorem proving are
particularly welcome.

The 2nd International Workshop on Theory and Applications of
Abstraction, Substitution and Naming (TAASN 2009) will take place in
York, UK, on the 22nd March 2009, as a one-day satellite event of
ETAPS 2009.  The first workshop in this series took place in Edinburgh
in May 2007.

Submissions and Publication:
Authors are invited to submit a 5 page abstract by the 4th January 2009,
in pdf format, via the Easychair website
http://www.easychair.org/conferences/?conf=taasn09
After the workshop authors will be invited to submit a full version of
their presentation for a special issue of the Journal of Automated
Reasoning.  Full papers will be refereed according to the journal's
high standards.

Important Dates:
Submission deadline for abstracts: 4 January 2009
Notification:   8 February 2009
Pre-workshop version due:       7 March 2009
Workshop:       22 March 2009
Submission deadline for journal special issue: 1 June 2009
Notification:   1 October 2009

Invited Speaker:
Robert Harper (Carnegie Mellon University)

Programme Committee:
Maribel Fernandez
Daniel Friedman
Ian Mackie
Andrew Pitts
Alwen Tiu
Christian Urban

For more information, contact Maribel Fernandez:
Maribel.Fernandez at kcl.ac.uk

================================================================