Workshop Details

Lambda Calculus, Type Theory and Natural Language

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

[ Programme | Location | Proceedings | Other Information ]

This page describes 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 appeared in a special edition of the Journal of Logic and Computation.

Topics & Speakers

The workshop covered aspects of the lambda calculus and its connection with type theory, natural language.

Speakers:

Elias Ponvert (University of Texas at Austin, USA)
Carl Pollard (Ohio State University, USA)
Paula Severi and Fer-Jan de Vries (University of Leicester, UK)
Glyn Morrill and Mario Fadda (Universitat Politècnica de Catalunya, E)
Reinhard Muskens (Tilburg University, NL)

Invited Speakers:

Prof. J Roger Hindley (University of Swansea, UK)
Prof. Ray Turner (University of Essex, UK)

Programme

9:15	Registration & Coffee -- Welcome
10:00	Opening
10:10	Invited talk: Roger Hindley ``Types in early combinatory logic''
10:55	Coffee Break (25 mins)
11:20	Paula Severi and Fer-Jan de Vries ``Separability of infinite terms''
12:00	Elias Ponvert ``Polymorphism in English logical grammar''
12:40	Lunch (60 mins)
13:40	Carl Pollard ``Hyperintensional Semantics in A Higher-Order Logic with Definable Subtypes''
14:20	Reinhard Muskens ``Intensional models for the theory of types''
15:00	Coffee Break (25 mins)
15:25	Glyn Morrill and Mario Fadda ``Proof Nets for Basic Discontinuity''
16:05	Invited talk: Ray Turner ``Computationalism''
16:55	Closing
19:00	Dinner

Proceedings

A collection of papers and abstracts for the workshop is available online as a single PDF file, formatted for double-sided printing on A4 paper.

A special issue of the Journal of Logic and Computation is in preparation that will include papers based upon a selection of the submissions to the workshop.

Location

All the talks took place in Lecture Theatre 2C (``Main Building'') at King's College London, The Strand, London WC2R 2LS, UK.

Main Map

www.kcl.ac.uk/maps/map.html

Strand Campus

www.kcl.ac.uk/maps/strand.html
or www.dcs.kcl.ac.uk/contact.html

Tubes

The nearest tube stations are Temple (marked on the Strand Campus map) which is on the Circle line, and Holborn (turn left at the exit and walk down Kingsway to enter near the top-left of the Strand Campus map), which is on the Central and Piccardily lines.

Other Information

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)

Correspondence:

Email: lcttnl@foxearth.org;

Fax: +44 (0)870 054 7770 (not for credit card payments)

Website:

lcttnl.foxearth.org.

Related Events:

The following conferences took place the week before the workshop, 7th-9th September 2005, at Imperial College London.

LOPSTR 05

www.cs.man.ac.uk/~kung-kiu/lopstr/.

SAS'05

www.doc.ic.ac.uk/~clh/sas05.htm.