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
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 (f.dechesne at tue.nl).
Please note that this newsitem has been archived, and may contain outdated information or links.