[Elsnet-list] CFP for LCTTNL

Shalom Lappin slappin at uiuc.edu
Thu Mar 3 22:37:27 CET 2005


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 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)

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 at 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.



More information about the Elsnet-list mailing list