[TYPES/announce] CFP special issue of JAR

[urban@mathematik.uni-muenchen.de]

==================================================================
             Journal of Automated Reasoning

      Special issue on Binding, Substitution and Naming

                   First Call for Papers


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 addressing properties related to
substituting structures for variables, binding of names and fresh
name generation. This special issue is devoted to papers describing
recent advances in this area. Submissions are encouraged, but not
limited to, the following topics:

* logical frameworks, meta-languages and tools that aid reasoning
    about substitution and binding
* new formalisation techniques for languages involving binders
* applications in programming languages that support binding
* mechanised meta-theory of calculi involving binding and fresh
    name generation
* logic-based, categorical or set-based theories of names and binding
* unification for languages involving binders

Manuscripts should be unpublished works and not submitted
elsewhere. Revised and enhanced versions of papers published in
conference proceedings that have not appeared in archival journals
are eligible for submission. All submissions will be reviewed
according to the high standards of scholarship and originality
characteristic of the Journal of Automated Reasoning.

Submissions are due October 1, 2009. Papers should be in pdf format
following the JAR guidelines for authors, see

    http://www.springer.com/computer/foundations/journal/10817

We encourage authors to keep their submissions below 25 pages. Authors
should submit their papers electronically via Easychair, see

    http://www.easychair.org/conferences/?conf=taasnjar09

Guest Editors:

Christian Urban and Maribel Fernandez
(TU Munich,King's College London)

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

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.