No subject

[Shalom Lappin]

SECOND CALL FOR PAPERS

Lambda Calculus, Type Theory, and Natural Language

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

This is the second 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

Second call:
Monday, 11th April, 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.