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.

24 May 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Peter van Rossum

Speaker: Peter van Rossum
Title: MathSAT - combining Boolean satisfiability solving and
mathematical reasoning
Date: Tuesday 24 May 2005
Time: 14:15-16:00
Location: TU Eindhoven, HG 8.61

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne ().

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