Events

August 2014: Catuscia Palamidessi is invited to give a talk at CONCUR 2014. She will give a talk on the topics of PRINCESS.

January-March 2014: Marco Stronati visits the team of Geoffrey Smith at Florida International University.

December 2013: Geoffrey Smith (FIU) and Mário Alvim, Marco Gaboardi and Justin Hsu (Upenn) visit the INRIA team Comète. 

December 2013: workshop of Formal Methods on Hiding and Disclosing Information: Speakers: Kostas Chatzikokolakis (INRIA), Annabelle McIver (Macquarie University), Nicolás Bordenabe (INRIA), Stefan Schwoon (ENS Cachan) and Serge Haddad (ENS Cachan).

August 2013: Catuscia Palamidessi gives an invited talk at WOLLICS 2013 on the topics of PRINCESS (Quantitative aproaches to the protection of confidential information). 

June 2013: Catuscia Palamidessi gives an invited talk at the PETRI NETS 2013 conference on the topics of PRINCESS (Quantitative information flow and differential privacy). 

June 2013: Geoffrey Smith (FIU), Mario Alvim (Upenn) and Catuscia Palamidessi (INRIA) meet at LICS & CSF 2013. 

May 2013: Catuscia Palamidessi (INRIA) visits the University of Pennsylvania.