LCTTNL- Call for Participation

[Shalom Lappin]

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 Go:teneborg
    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.