LINGUIST List 14.2927
Mon Oct 27 2003
Confs: Computational Linguistics/London, UK
Editor for this issue: Prashant Nagaraja <prashantlinguistlist.org>
Please keep conferences announcement as short as you can; LINGUIST
will not post conference announcements which in our opinion are
excessively long.
To post to LINGUIST, use our convenient web form at
http://linguistlist.org/LL/posttolinguist.html.
Directory
lappin, Wokshop on Lambda Calculus, Type Theory, and Natural Language 2003
Message 1: Wokshop on Lambda Calculus, Type Theory, and Natural Language 2003
Date: Mon, 27 Oct 2003 09:19:29 +0000
From: lappin <lappindcs.kcl.ac.uk>
Subject: Wokshop on Lambda Calculus, Type Theory, and Natural Language 2003
Wokshop on Lambda Calculus, Type Theory, and Natural Language 2003
Short Title: Workshop on LCTTNL03
Date: 08-Dec-2003 - 09-Dec-2003
Location: King's College, London, United Kingdom
Contact: Shalom Lappin
Contact Email: lappindcs.kcl.ac.uk
Meeting URL: http://http://www.dcs.kcl.ac.uk/staff/maribel/Workshop-Kings.html
Linguistic Sub-field: Computational Linguistics
Meeting Description:
Workshop on Lambda Calculus, Type Theory, and Natural Language. The
meeting features papers on the formal properties of different versions
of the lambda calculus, type theory, and the application of these
systems to the syntax and semantics of natural language. Workshop on
Lambda-Calculus, Type Theory, and Natural Language 2003
King's College, London
December 8 and 9, 2003
Organizers:
Maribel Fernandez (King's College London),
Chris Fox (University of Essex),
Shalom Lappin (King's College London).
Sponsors:
Department of Computer Science, King's College London
Department of Computer Science, University of Essex
Speakers:
David Clark , King's College London, U.K.
Robin Cooper , Göteborg University, Sweden
Maribel Fernandez , King's College London, U.K.
Chris Fox , University of Essex, U.K.
Dov Gabbay , King's College London, U.K.
Jamie Gabbay , INRIA Futurs, France
Simon Gay , University of Glasgow, U.K.
Jonathan Ginzburg , King's College London, U.K.
Chris Hankin , Imperial College, U.K.
Shalom Lappin , King's College London, U.K.
Ian Mackie , King's College London, U.K.
Francois-Regis Sinot , Ecole Polytechnique, France
Ray Turner , University of Essex, U.K.
Keynote Speaker:
Jan van Eijck , CWI, Netherlands
Programme:
Monday, December 8th.
9:30 Coffee - Welcome
10:00 Opening
10:15 Chris Hankin. Lambda calculus and static analysis.
11:00 Coffee Break
11:30 Ian Mackie. Reduction in the lambda calculus.
12:15 Francois-Regis Sinot. N-ary director strings: Efficient
representations of variables in terms.
13:00 Lunch
14:00 Jan van Eijck. Relations, Types and Scoping.
15:00 Chris Fox and Shalom Lappin. Underspecified Semantic
Representations for Natural Language in a Lambda Calculus with Curry
Typing.
15:45 Coffee Break
16:15 Jonathan Ginzburg. Abstraction and Ontology.
17:00 Robin Cooper. Records and record types in semantic theory.
19:00 Dinner
Tuesday, December 9th.
9:30 Coffee
10:00 Maribel Fernandez. Rewriting Frameworks and Types.
10:45 David Clark. Measuring interference in PCF.
11:30 Coffee Break
12:00 Jamie Gabbay and Dov Gabbay. The restart rule and evaluation.
12:45 Lunch
14:00 Ray Turner. Polymorphism in Specifications.
14:45 Simon Gay. Session Types: Specifying Structured Communication.
15:30 Closing
Participation:
Everyone is cordially invited to attend, and there is no registration
charge.
Proceedings:
A collection of abstracts will be available at the workshop.
After the workshop speakers will be invited to submit a full paper for
a special issue of Logic and Computation. Full papers will be subject
to a refereeing process according to the standards of the journal.
Location:
All the talks will take place at King's College London:
Room GFES3 (Ground Floor, Strand Building),
Strand, London, WC2R 2LS, U.K.
Maps and information:
King's College London
For any further questions:
Please contact the organizers
Maribel Fernandez, maribeldcs.kcl.ac.uk
Chris Fox, foxcjessex.ac.uk
Shalom Lappin, lappindcs.kcl.ac.uk
Workshop web site: www.dcs.kcl.ac.uk/staff/maribel/Workshop-Kings.html