Seminar Pole Automata, structures and verification Thematic team Modeling and verification Manage talks Verification Day, hour and place 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. Contact(s) Mohammed Foughali Srinidhi Nagendra Enrique Roman-Calvo