Last update: 14 August 2017
The SoSySec seminar is held on Firdays at 11am in Inria Rennes - Bretagne Atlantique (access). It generally takes place in the Turing room of the convention center.
The seminars are open to all. To facilitate access to the seminar room, people not from INRIA or IRISA must register by providing their name and affiliation to Cécile Bouton (email@example.com) and present an ID at the front desk.
A mailing list for announcements about the seminar is available. To subscribe, simply send an email to with the subject .
Most of the talks are taped. The videos are accessible through INRIA's intranet (here) or DGA's intranet.
- 22 September 2017. Room Petri/Turing.
|David Bühler (CEA)|
|Structuring an Abstract Interpreter through State and Value Abstractions|