BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2006/newsitem/1500/13-
 October-2006-Colloquium-on-Mathematical-Logic-Prof
 -dr-Yuri-Gurevich
DTSTAMP:20060914T000000
SUMMARY:Colloquium on Mathematical Logic, Prof. dr
 . Yuri Gurevich
ATTENDEE;ROLE=Speaker:Prof. dr. Yuri Gurevich
DTSTART;TZID=Europe/Amsterdam:20061013T160000
DTEND;TZID=Europe/Amsterdam:20061013T170000
LOCATION:<em>Changed:</em>\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      <p>\n        
 Abstract<br />\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      </p>\n    \n      <p>\n        For abst
 racts and more information, see\n          <a targ
 et="_blank" href="http://www.math.uu.nl/people/jvo
 osten/seminar.html">http://www.math.uu.nl/people/j
 voosten/seminar.html</a>\n        or contact P. va
 n Emde Boas, <a class="email">peter <span class="a
 t">at</span> science.uva.nl</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2006/newsitem/1500/13-
 October-2006-Colloquium-on-Mathematical-Logic-Prof
 -dr-Yuri-Gurevich
END:VEVENT
END:VCALENDAR