Universiteit van Amsterdam

Archives

Institute for Logic, Language and Computation

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

12 March 2010, NVTI Theory Day 2010

Speaker: Jan Friso Groote, Georges Gonthier, Monika Henzinger, Monique Laurent
Date: Friday 12 March 2010
Time: 09:30-16:40
Location: Hoog Brabant Utrecht
Costs: free

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 ( 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.