====================================================================== Computing with lambda-terms A special issue dedicated to Corrado Bohm for his 90th birthdays http://www.lipn.univ-paris13.fr/~guerrini/bohm90/ ====================================================================== 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. SCOPE ===== 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. SUBMISSION ========== 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/ PLANNED SCHEDULE ================ 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 GUEST EDITORS ============= Henk Barendregt (henk at cs.ru.nl) Stefano Guerrini (guerrini at univ-paris13.fr) Adolfo Piperno (piperno at di.uniroma1.it) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]