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.

30 November 2001, Colloquium on Mathematical Logic,
Jaco van de Pol

Speaker: Jaco van de Pol (CWI)
Title: Equational Binary Decision Diagrams
Date: Friday 30 November 2001
Time: 16:00-17:00
Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht
(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.