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.

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

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