Please note that this newsitem has been archived, and may contain outdated information or links.
3 December 2009, PROSE Colloquium, Mohammad Mousavi
Speaker: Mohammad Mousavi
Title: Decompositional Reasoning About Past
Date: Thursday 3 December 2009
Time: 15:45-16:45
Location: Room 6.96, HG (Main Building), TU Eindhoven
For more information, see http://www.win.tue.nl/prose/
Please note that this newsitem has been archived, and may contain outdated information or links.