Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

25 January 2001, Computational Linguistics and Logic workshop

25 January 2001, Computational Linguistics and Logic workshop
Title: Linear Logic and Linguistics
Speakers: Christian Retore, Francois Lamarche, Gianfranco Mascari and Gerhard Jaeger
Topics: Proof theory, category theory, linear logic, substructural logic, categorial grammar, Petri Nets
Location: Utrecht, Trans 10, room 1.01
Date and Time: Thursday 25 January 2001, 13.00 - 17.00

Thursday 13.00 -17.00 a workshop on Linear Logic and Linguistics will take place. The workshop is organised by the group of Computational Linguistics of the UiL-OTS in collaboration with the Mathematics Department on the occasion of Quintijn Puite's promotion. For the whole program and further background information, look at: http://www-uilots.let.uu.nl/conferences/workshop_CLL.html.

Please note that this newsitem has been archived, and may contain outdated information or links.