CALL FOR PAPERS
				LCTTNL

          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. Selected papers from that workshop
are shortly to be published in a special edition of the Journal of
Logic and Computation.

This call for papers for the second workshop is also available as a
PDF document, and as plain text.

Scope

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

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)
Workshop:
    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 LATEX are encouraged, prepared using the standard
article class file, avoiding the use of any non-essential packages
and style files. LATEX 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@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)

Publication:
    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.

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

Website:
    lcttnl.foxearth.org.

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.

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

SAS'05
    (The 12th International Static Analysis Symposium). See
    www.doc.ic.ac.uk/~clh/sas05.htm