Please note that this newsitem has been archived, and may contain outdated information or links.
15 January 2009, GLoRiClass Seminar, Florian Horn
Speaker: Florian Horn (CWI)
Title: Stochastic games for verifications
Date: Thursday 15 January 2009
Time: 11:00-13:00
Location: P.327, Euclides Building, Plantage Muidergracht 24, Amsterdam
For more information, see http://www.illc.uva.nl/GLoRiClass/index.php?page=4
Please note that this newsitem has been archived, and may contain outdated information or links.