Please note that this newsitem has been archived, and may contain outdated information or links.
11 January 2002, Colloquium on Mathematical Logic, Aart Middeldorp
Speaker: Aart Middeldorp
Title: Transforming Context-Sensitive Rewrite Systems
Date: Friday 11 January 2002
Time: 16:00-17:00
Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht
(Bus 12 from Utrecht Central Station).
(Bus 12 from Utrecht Central Station).
For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html
Please note that this newsitem has been archived, and may contain outdated information or links.