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.

13 October 2006, Colloquium on Mathematical Logic, Prof. dr. Yuri Gurevich

Speaker: Prof. dr. Yuri Gurevich
Title: Play to Test
Date: Friday 13 October 2006
Time: 16:00-17:00
Location: <em>Changed:</em>
Room P.017, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan).

Abstract
What's testing? Well, from some point of view, it is a game. Testing tasks can be viewed (and organized!) as games against nature. We introduce and study reachability games. Such games are ubiquitous. A single industrial test suite may involve many instances of a reachability game; hence the importance of optimal or near optimal strategies for reachability games. We find out when exactly optimal strategies exist for a given reachability game, and how to construct them.

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html or contact P. van Emde Boas,

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