Pole Automata, structures and verification
Thematic team Modeling and verification
Manage talks
Monday at 11:00am, room 1007
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.
Mohammed Foughali Srinidhi Nagendra Enrique Roman-Calvo