There are two motivations for the workshop. First, constructive type theory has enriched the conceptual apparatus of logic in many ways that are relevant for linguistics, and it will be interesting to see what has been done on this topic in the Types community. Second, there have been projects of developing natural language interfaces both to Alf, to Coq, and to Lego. The workshop should create an opportunity to share experiences from this work.
The workshop has been planned among some of us who have already been in contact on the topic of natural language for some years. Thus the participation of Yann Coscoy, Daniel Fridlender, Matti Kinnunen, Zhaohui Luo, Per Martin-Löf, Petri Mäenpää, Bengt Nordström, Aarne Ranta, and Jan Smith has been confirmed. Speakers and titles have not been decided yet. There is room for more participants, both speaking and non-speaking.
Anyone who is interested in participating the Natural Language Workshop should contact me (address below) by the end of February. Those who are willing to talk should include a preliminary title. Demos are also welcome.
For the extra night's accommodation in Kloster Irsee, just mark April 1 as the day of departure in the TYPES registration form, and add the remark "Natural Language Workshop". However, the accommodation is only guaranteed for 20 participants. I will inform you if there is any problem, and we will try to solve it. Hence, if you want to stay the night in Kloster Irsee, and not just attend the workshop on March 31, please send me a short notice at the same time as you mail your registration form to the organizers. (The deadline for TYPES registration is the end of January.)
With best regards,
(Member of the Helsinki site but now working in Grenoble : )
Xerox Research Centre Europe 6, chemin de Maupertuis 38240 Meylan France tel. + 33 - 4 - 76 61 50 67 fax + 33 - 4 - 76 61 50 99 e-mail Aarne.Ranta@xrce.xerox.com