[TYPES] Workshop on Lambda Calculus, Type Theory and Natural Language

Maribel Fernandez maribel at dcs.kcl.ac.uk
Wed Mar 2 16:17:01 EST 2005

This workshop might be of interest to members of the list,
could you please forward the CFP below?

Thanks, and best wishes,


                           CALL FOR PAPERS

          Lambda Calculus, Type Theory and Natural Language

                     Monday, 12th September 2005
                        King's College London
                           United Kingdom


This is the first call for papers for the second workshop on Lambda
Calculus, Type Theory and Natural Language. The first workshop was
held in London in December 2003, and selected papers are shortly 
to be published in a special edition of the Journal of
Logic and Computation.


Submissions are invited on all aspects of the lambda calculus and its
connection with type theory, natural language, and functional

Important Dates

Call for papers:
    Tuesday, 1st March, 2005
Submissions deadline:
    Friday, 29th April 2005
Notifications of acceptance:
    Friday, 17th June 2005
Final versions due:
    Friday, 5th August 2005 (provisional)
    Monday, 12th September 2005

Submission Guidelines

Initial papers should be of at most 10 A4 or US Letter size pages,
with a minimum font size of 10pt for the body of the text, and with
margins of no less than 2.5cm (1 inch) all round. Papers should be
submitted by email in PDF form, or as Postscript documents that can
be viewed with Ghostscript.

Submitted papers should explain their contribution in both general
and technical terms. They should identify what has been accomplished,
explain why it is significant, and compare it with previous work.
Authors should try to make the technical content of their papers
understandable to a broad audience.

Submissions in L^ATEX are encouraged, prepared using the standard
article class file, avoiding the use of any non-essential packages
and style files. L^ATEX will be the preferred submission format for
final versions of the papers.

Submission Procedure

Authors should submit the PDF or Postscript version of their paper by
email to lcttnl at foxearth.org by Friday, 29th April 2005, formatted
according to the submissions guidelines.

Other Information

Keynote Speaker:
    Prof. Ray Turner (University of Essex, UK)

Local Organisers:
    Maribel Fernandez (King's College London, UK)
    Shalom Lappin (King's College London, UK)

Programme Chair:
    Chris Fox (University of Essex, UK)

Programme Committee:
    Jan van Eijck (CWI, Netherlands)
    Maribel Fernandez (King's College London, UK)
    Chris Fox (University of Essex, UK)
    Nissim Francez (Technion, Israel)
    Dov Gabbay (King's College London, UK)
    Chris Hankin (Imperial College London, UK)
    Shalom Lappin (King's College London, UK)
    Glyn Morrill (Universitat Politècnica de Catalunya, Spain)
    Ian Pratt (University of Manchester, UK)
    Aarne Ranta (Chalmers University of Technology, and Göteneborg
    University, Sweden)
    Phil Scott (University of Ottawa, Canada)
    Jacqueline Vauzeilles (University of Paris Nord, France)

    All accepted papers will be published in proceedings that will be
    made available during the workshop. Selected papers will also be
    considered for inclusion in a post workshop volume.

    Email: lcttnl at foxearth.org;
    Fax: +44 (0)870 054 7770.


Related Events

Prospective participants in this workshop may also be interested in
the following conferences that take place the week before the
workshop, 7th-9th September 2005, at Imperial College London.

    (International Symposium on Logic-based Program Synthesis and
    Transformation). See www.cs.man.ac.uk/~kung-kiu/lopstr/.

    (The 12th International Static Analysis Symposium). See

More information about the Types-list mailing list