Please note that this newsitem has been archived, and may contain outdated information or links.
12 March 2010, NVTI Theory Day 2010
NVTI is the "Nederlandse Vereniging voor Theoretische Informatica". One of the main activities of the NVTI is the organization of the yearly Theory Day. This year, as usual, we have an interesting program with excellent speakers from The Netherlands and abroad, covering important streams in theoretical computer science.
Program of the NVTI Day on Friday March 12, 2010
| 9.30-10.00 | Arrival with Coffee | |
| 10.00-10.10 | Opening | |
| 10.10-11.00 | Jan Friso Groote (TU/e) | Parameterised Boolean Equation Systems |
| 11.00-11.30 | Coffee/Tea | |
| 11.30-12.20 | Monika Henzinger (University of Vienna, Austria) | Algorithmic mechanism design or how web search engines make money |
| 12.20-12.40 | ||
| 12.40-14.10 | Lunch (see above for registration) | |
| 14.10-15.00 | Georges Gonthier (Microsoft Research) | Beyond the four-colour theorem: software engineering for mathematics |
| 15.00-15.20 | Coffee/Tea | |
| 15.20-16.10 | Monique Laurent (CWI, Tilburg University) | Optimization over polynomials with sums of squares and semidefinite programming |
| 16.10-16.40 | Business meeting NVTI | |
It is possible to participate in the organized lunch, for which registration is required. Please register with Ms Caroline Waij (cpwaij at few.vu.nl or 020-5983563) no later than one week before the meeting (March 5, 2010). The costs of 15 Euro can be paid at the location.
Please note that this newsitem has been archived, and may contain outdated information or links.