Meetings and visits

December 2014: Geoffrey Smith (FIU), Mário Alvim (UFMG), Carroll Morgan (UNSW and NICTA) and Annabelle McIver (Macquarie U) will visit Catuscia Palamidessi and Kostas Chatzikokolakis at INRIA for ten days.

November 2014:  Justin Hsu (Upenn) will visit Catuscia Palamidessi and Kostas Chatzikokolakis at INRIA for one week.

July 2014: Kostas Chatzikokolakis, Catuscia Palamidessi (INRIA), Geoffrey Smith (FIU), and Mário Alvim (UFMG) visit Carroll Morgan and Annabelle McIver at Macquarie University for two weeks.

April 2014: Kostas Chatzikokolakis, Catuscia Palamidessi (INRIA), Geoffrey Smith (FIU), Mário Alvim, Marco Gaboardi (Upenn) and Annabelle McIver (Macquarie University) meet at ETAPS 2014.

January-March 2014: Marco Stronati (INRIA) visits the team of Geoffrey Smith at FIU for three months.

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

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

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

May 2013: Catuscia Palamidessi (INRIA) visits Upenn.