Workshop on Lambda-Calculus, Type Theory and Natural Language
[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]
Workshop on Lambda-Calculus, Type Theory, and Natural Language 2003
King's College, London
December 8 and 9, 2003
Maribel Fernandez (King's College London),
Chris Fox (University of Essex),
Shalom Lappin (King's College London).
Department of Computer Science, King's College London
Department of Computer Science, University of Essex
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.
Jan van Eijck , CWI, Netherlands
Monday, December 8th.
9:30 Coffee - Welcome
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
variables in terms.
14:00 Jan van Eijck. Relations, Types and Scoping.
15:00 Chris Fox and Shalom Lappin. Underspecified Semantic
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.
Tuesday, December 9th.
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.
14:00 Ray Turner. Polymorphism in Specifications.
14:45 Simon Gay. Session Types: Specifying Structured Communication.
Everyone is cordially invited to attend, and there is no registration
A collection of abstracts will be available at the
workshop. After the workshop full papers will be considered for
publication in a special issue of Logic and Computation. Full papers
will be subject to a refereeing process according to the standards of
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, firstname.lastname@example.org
Chris Fox, email@example.com
Shalom Lappin, firstname.lastname@example.org
Workshop web site: www.dcs.kcl.ac.uk/staff/maribel/Workshop-Kings.html