[TYPES/announce] Computing with lambda-terms: a Festschrift dedicated to Corrado Bohm

Stefano Guerrini Stefano.Guerrini at univ-paris13.fr
Fri Jun 29 09:46:02 EDT 2012


Computing with lambda-terms
A special issue dedicated to Corrado Bohm for his 90th birthdays



In honor of Corrado Bohm at the occasion of his 90th birthday, a
Festschrift will be published as a special issue of Mathematical
Structures in Computer Science.

The Festschrift will be presented during a special event in honor
of Corrado Bohm at ETAPS 2013, 16-24 March 2013, Rome, Italy.


We invite submissions on all the topics covered by Corrado Bohm's
research and in particular new contributions on syntax and semantics
of lambda-calculus, logic and type systems, functional programming.
We also welcome surveys or position papers on current and future
directions of research on the above topics.

A more detailed, but not exclusive, list of topics of interest for
submissions include:

Lambda-calculus and higher-order rewriting systems: properties of
    reductions, reduction strategies, combinatory logic, Bohm-out
    and Bohm-trees, variants and extensions of lambda-calculus,
    term and graph rewriting systems, higher-order reduction.

Semantics of lambda-calculus: Bohm-trees, models and theories of
    lambda-calculus, realizability.

Logic and types: type systems, linear logic, types and logics for 
    resources, implicit computational complexity.

Functional programming: foundational aspects of functional
    programming, Curry-Howard isomorphism, applications and
    implementations of functional programming.

New and alternative approaches to computing: quantum calculi,
    biologically inspired models and calculi.

Submitted papers should stay within the scope of MSCS.


The results must be unpublished and not submitted for publication
elsewhere. Submissions will be refereed according to the usual high
standards of MSCS.

Submissions should not exceed 20 pages of content (excluding references
and appendices). Submissions exceeding 25 pages (including references
and appendices) will require a specific justification and the agreement
of the editors.

Further information and instructions about submission will be
available at http://www.lipn.univ-paris13.fr/~guerrini/bohm90/


Title and short abstract submission:    1 september 2012
Deadline for submission:               15 september 2012  (STRICT!)
First referee report:                  15 december  2012
Revised version:                       15 january   2013
Notification:                           1 march     2013
Final version:                          1 june      2013


Henk    Barendregt  (henk at cs.ru.nl)
Stefano Guerrini    (guerrini at univ-paris13.fr)
Adolfo  Piperno     (piperno at di.uniroma1.it)

More information about the Types-announce mailing list