Natural Language Workshop in TYPES
The workshop has now registrations of seventeen participants:
Peter Aczel, Tijn Borghuis, Robin Cooper, Yann Coscoy, Jo\"elle Despeyroux,
Daniel Fridlender, Matti Kinnunen, Zhaohui Luo, Petri M\"aenp\"a\"a,
Per Martin-L\"of, Bengt Nordstr\"om, Frank Pfenning, Randy Pollack,
Aarne Ranta, Anton Setzer, Jan Smith, and Laurent Th\'ery.
Thus there is room for a few more (check with the local organizers
and inform Aarne Ranta as well).
In the following preliminary programme, each speaker is given 30 minutes
for the talk and 10 minutes for discussion. But there is some flexibility,
given that we have five hours between 14 and 19.
Updates to the programme will be followed by updates on this web page.
Xerox Research Centre Europe
6, chemin de Maupertuis
tel. + 33 - 4 - 76 61 50 67
Tuesday March 31.
First session, 14 - 16:
Interfaces to proof editors.
Frank Pfenning, Levels of Abstraction in Proof Presentation.
Yann Coscoy, TBA
Zhaohui Luo, TBA
Second session, 17 - 19: General linguistic themes.
Tijn Borghuis, On the project DenK - dialogue management and knowledge
acquisition using type theory.
Robin Cooper, Possible uses of dependent record types for natural language
Aarne Ranta, A functional format for natural language grammars.
Wednesday April 1.
Informal discussion, possibly demos.
Back to home-page TYPES'98