We are happy to invite you to the third annual TCSA) Day.
The programme consists of five talks by researchers from CWI, UvA, and VU. There is no need to register.
* 9:30-10:15 Krzysztof Apt (CWI, UvA): Strategic games: social optima and Nash equilibria
* 10:15-10:45 coffee/tea break
* 10:45-11:30 Ela Krepska (VU): BioCheck: Proving termination for biological systems
* 11:30-12:15 Alban Ponse (UvA): Short-Circuit Logic
* 12:15-13:15 lunch (not organized)
* 13:15-14:00 Jurgen Vinju (CWI, UvA): On the Theory of Controlled Experiments in Software Engineering
* 14:00-14:45 Alexandru Baltag (UvA): Learning by Iterated Belief Revision
Since the program ends at 14:45, there is plenty of time for people who also want to attend Yde Venema's inaugural lecture, 16:00 at the Aula of the UvA.
With kind regards, the organizers:
Alban Ponse (a.ponse@uva.nl)
Femke van Raamsdonk (femke@cs.vu.nl)
Leen Torenvliet (l.torenvliet@uva.nl)
Ronald de Wolf (rdewolf@cwi.nl)