Agenda

We are happy to invite you to the first Theoretical Computer Science Amsterdam (TCSA) Day which will take place on Friday October 30, 2009. 

Time and location
10:00-16:30 hrs 
VU University Amsterdam 
Faculty of MEDICINE (!)
Room A301

Route description

Programmme
The programme consists of talks by researchers from CWI, UvA, and VU. The schedule and abstracts of the talks can be found below.

09:30       coffee

10:00-10:45 Wan Fokkink (VU)
            Analysis of C. elegans Vulval Development using Petri Nets

10:45-11:15 coffee

11:15-11:45 Christian Schaffner (CWI)
            Quantum cryptography

11:45-12:15 Joerg Endrullis (VU)
            Productivity and The Pebbleflow Method

12:15-13:30 lunch (not organised)

13:30-14:15 Jan Bergstra (UvA)
            From Material Division to the off-line Halting Problem

14:15-15.00 Yde Venema (UvA)
            Coalgebra Atomata (towards a Universal Theory of Automata)

15:00-15:30 tea

15:30-16:15 John Hitchcock (University of Wyoming and CWI)
            Density and Complexity of Instances in NP-Complete Sets

There is no need to register in advance. During the day, tea and coffee will be offered (lunch is not included). Please note that the TCSA Day is held in the Faculty of Medicine and not in the building of the Department of Computer Sciences.

Further details and speaker abstracts are available on the website of the Department of Computer Sciences: www.cs.vu.nl.