Former working group Nothing. Thematic team Automata and applications Former team Proofs, programs and systems Manage talks Semantics and verification Day, hour and place Thursday at 4pm, room 3052 The calendar of events (iCal format). In order to add the event calendar to your favorite agenda, subscribe to the calendar by using this link. Contact(s) Paul-André Melliès Olivier Serre http://research.grellois.fr/gdt.htm