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.

4 May 2006, PROSE Colloquium, Aad Mathijssen

Speaker: Aad Mathijssen (OAS/TUE)
Title: One-and-a-halfth-order logic
Date: Thursday 4 May 2006
Time: 15:30-16:30
Location: Room 6.96, HG (Main Building), TU Eindhoven

Note that the date has changed. For more information, see http://www.win.tue.nl/prose/

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