Thematic team Automata and applications Former team Proofs, programs and systems
Manage talks
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.
Paul-André Melliès Olivier Serre
http://research.grellois.fr/gdt.htm