Section: Dissemination

Animation of the scientific community

As part of the networking activities put forward in Section 2.1 , Licit has organized or co-organized the following events:

• Multidisciplinary conference on digital evidence (Palais de Justice de Paris, December 2011) (http://licit.inrialpes.fr/lise/ ). The other organizer was ADIJ (Association pour le Développement de l'Informatique Juridique). This conference was organized in the context of the Lise project.

• Multidisciplinary workshop on legal and technical aspects of causality (ENSCP Paris, December 2011) (http://licit.inrialpes.fr/lise/ ). This open workshop was organized in the context of the Lise project.

• Annual Conference on Computers, Privacy and Data Protection CPDP 2011 (Brussels, January 2011) and panel on “behavioural targeting” (http://www.cpdpconferences.org ). CPDP, which is now established as the main privacy conference in Europe, attracts every year a wider and more multidisciplinary audience (more than 300 participants in 2011). The other organizers of CPDP are the Free University of Brussels (VUB), the University of Tilburg, the University of Namur and the Fraunhaufer Institute.

Daniel Le Métayer was a member of the PhD committee of Mario Alvim (École Polytechnique, Formal approaches to information hiding: an analysis of interactive systems, statistical disclosure control, and refinement of specifications), of the committee of the CNIL PhD award (http://www.cnil.fr/la-cnil/actualite/prix-de-these/ ) and the scientific committees of :

• The Annual Conference on Computers, Privacy and Data Protection (CPDP 2011 ).

• The National Workshop on Privacy Protection (APVP 2011 ).

Daniel Le Métayer gave the following invited talks:

• Conference on Software Engineering and Formal Methods (Montevideo, November 2011): Formal methods as a link between software code and legal rules.

• University of Laval (Québec, October 2011): Privacy by design: towards a systematic approach.

• INRIA-CELAR Seminars “Formal methods and security" (Rennes, July 2011): Méthodes formelles et protection de la vie privée (“Formal methods and privacy protection").

• Colloque “Electronique ambiante", Parlement du Futur, (Assemblée Nationale, Paris, May 2011): Des outils pour mieux protéger la vie privée (“Privacy enhancing tools").

• Exhibition “Tous connectés" on pervasive computing (CCSTI, Grenoble, February 2011): Des outils pour mieux protéger la vie privée (“Privacy enhancing tools").

• LIRIS Seminars (Lyon, February 2011): Méthodes formelles et droit (“Formal methods and regulations").

• TURBINE workshop on Privacy in ITS Applications (Brussels, January 2011): Privacy by design: towards a systematic approach.