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.

14 March 2006, ACG Colloquium, Stephanie Kemper

Speaker: Stephanie Kemper (CWI)
Title: SAT-based Verification for Abstraction Refinement
Date: Tuesday 14 March 2006
Time: 13:30
Location: Room M279, CWI, Kruislaan 413, Amsterdam

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