BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/1500/13-October-2006-Colloquium-on-Mathematical-L
ogic-Prof-dr-Yuri-Gurevich
DTSTAMP:20060914T000000
SUMMARY:Colloquium on Mathematical Logic, Prof. dr
. Yuri Gurevich
ATTENDEE;ROLE=Speaker:Prof. dr. Yuri Gurevich
DTSTART:20061013T160000
DTEND:20061013T170000
LOCATION:*Changed:*\n Room P.017, Eucl
ides Building (P), Plantage Muidergracht 24, Amste
rdam\n (Tram 9 from Central Station, to Plant
age Badlaan).
DESCRIPTION:Abstract What's testing? Well, from s
ome point of view, it is a game. Testing tasks can
be viewed (and organized!) as games against natur
e. We introduce and study reachability games. Such
games are ubiquitous. A single industrial test su
ite may involve many instances of a reachability g
ame; hence the importance of optimal or near optim
al strategies for reachability games. We find out
when exactly optimal strategies exist for a given
reachability game, and how to construct them. F
or abstracts and more information, see http://www.
math.uu.nl/people/jvoosten/seminar.html or contact
P. van Emde Boas, peter at science.uva.nl
X-ALT-DESC;FMTTYPE=text/html:\n \n
Abstract

\n What's testing? Well, fro
m some point of view, it is a game. Testing\n
tasks can be viewed (and organized!) as games
against nature. We introduce\n and study re
achability games. Such games are ubiquitous. A sin
gle\n industrial test suite may involve man
y instances of a reachability game;\n hence
the importance of optimal or near optimal strateg
ies for\n reachability games. We find out w
hen exactly optimal strategies exist for\n
a given reachability game, and how to construct th
em.\n

\n \n \n For abst
racts and more information, see\n http://www.math.uu.nl/people/j
voosten/seminar.html\n or contact P. va
n Emde Boas, peter at science.uva.nl\n

\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/1500/13-October-2006-Colloquium-on-Mathematical-L
ogic-Prof-dr-Yuri-Gurevich
END:VEVENT
END:VCALENDAR