16.2227, Confs: Computational Ling/London, UK

[LINGUIST List]

LINGUIST List: Vol-16-2227. Wed Jul 20 2005. ISSN: 1068 - 4875.

Subject: 16.2227, Confs: Computational Ling/London, UK

Moderators: Anthony Aristar, Wayne State U <aristar at linguistlist.org>
            Helen Aristar-Dry, Eastern Michigan U <hdry at linguistlist.org>
 
Reviews (reviews at linguistlist.org) 
        Sheila Dooley, U of Arizona  
        Terry Langendoen, U of Arizona  

Homepage: http://linguistlist.org/

The LINGUIST List is funded by Eastern Michigan University, Wayne
State University, and donations from subscribers and publishers.

Editor for this issue: Kevin Burrows <kevin at linguistlist.org>
================================================================  

To post to LINGUIST, use our convenient web form at
http://linguistlist.org/LL/posttolinguist.html.


===========================Directory==============================  

1)
Date: 19-Jul-2005
From: Shalom Lappin < shalom.lappin at kcl.ac.uk >
Subject: Lambda Calculus, Type Theory, and Natural Language 

	
-------------------------Message 1 ---------------------------------- 
Date: Wed, 20 Jul 2005 18:00:21
From: Shalom Lappin < shalom.lappin at kcl.ac.uk >
Subject: Lambda Calculus, Type Theory, and Natural Language 
 

Lambda Calculus, Type Theory, and Natural Language 
Short Title: LCTTNL 

Date: 12-Sep-2005 - 11-Sep-2005 
Location: London, United Kingdom 
Contact: Chris Fox 
Contact Email: foxcj at essex.ac.uk 
Meeting URL: http://lcttnl.foxearth.org. 

Linguistic Field(s): Computational Linguistics 

Meeting Description: 

CALL FOR PARTICIPATION
LCTTNL
				 
Lambda Calculus, Type Theory and Natural Language

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

This is the first call for participation in 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.

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

Topics & Speakers

The workshop covers 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 Leeds, 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)

Provisional Programme

9:15 Registration & Coffee -- Welcome

10:00 Opening 
Invited talk: Roger Hindley

10:10 ''Types in early combinatory logic''  

10:55 Coffee Break (25 mins)
Paula Severi and Fer-Jan de Vries

11:20 ''Separability of infinite terms''
Elias Ponvert

12:00 ''Polymorphism in English logical grammar''

12:40 Lunch (60 mins)
Carl Pollard

13:40 ''Hyperintensional Semantics in A Higher-Order Logic with Definable Subtypes''
Reinhard Muskens

14:20 ''Intensional models for the theory of types''

15:00 Coffee Break (25 mins)
Glyn Morrill and Mario Fadda

15:25 ''Proof Nets for Basic Discontinuity''
Invited talk: Ray Turner

16:05 ''Computationalism''

16:55 Closing

19:00 Dinner 

Proceedings:

A collection of papers and abstracts will be available at the workshop.

Participation & Registration

Everyone is cordially invited to attend. The registration fee includes coffee
and a copy of the proceedings.

Credit Card payment by Friday, 2nd September 2005 - £30 
Cash on the day - £35 

Details of how to register for LCTTNL can be found at
lcttnl.foxearth.org/registration.

Location:

All the talks will take 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 Polite`cnica de Catalunya, Spain)
Ian Pratt (University of Manchester, UK)
Aarne Ranta (Chalmers University of Technology, and Goteneborg
University, Sweden)
Phil Scott (University of Ottawa, Canada)
Jacqueline Vauzeilles (University of Paris Nord, France)

Correspondence:
Email: lcttnl at foxearth.org;
Fax: +44 (0)870 054 7770 (not for credit card payments)

Registration:
lcttnl.foxearth.org/registration.

Website:
lcttnl.foxearth.org.

Hotels:
lcttnl.foxearth.org/hotels.

Related Events:

The following conferences take 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.





-----------------------------------------------------------
LINGUIST List: Vol-16-2227