Events 2007

7 Nov: Catuscia Palamidessi attends the workshop on The Interplay of Programming Languages and Cryptography and gives an invited talk Formal approaches to Information-hiding - An Overview -
26 Oct: Kostas Chatzikokolakis defends his PhD thesis Probabilistic and Information-Theoretic Approaches to Anonymity
14-19 Oct: Kostas Chatzikokolakis attends the Dagstuhl seminar Formal Protocol Verification Applied and present the paper Making Random Choices Invisible to the Scheduler
14-19 Oct: Catuscia Palamidessi attends the Dagstuhl seminar Formal Protocol Verification Applied and and gives an invited tutorial on ``Formal approaches to Information-hiding''
3-8 Sep: Kostas Chatzikokolakis and Catuscia Palamidessi attend CONCUR 2007 and present the paper Making Random Choices Invisible to the Scheduler
21 Aug: Catuscia Palamidessi attends The 3rd International Workshop on Programming Language Interference and Dependence and gives an invited talk Formal Approaches to Information-hiding Protocols
9-13 July: Prakash Panangaden and Catuscia Palamidessi meet at ICALP 2007 and at LICS 2007
9 July: Catuscia Palamidessi attends The Second International Workshop on Probabilistic Automata and Logic and gives an invited talk Information-hiding Protocols as Opaque Channels
6-8 July: Kostas Chatzikokolakis and Catuscia Palamidessi attend Computer Security Foundations 2007 and present the paper Probability of Error in Information-Hiding Protocols
6-12 June: Keye Martin visits the French team at LIX
1-2 June: Prakash Panangaden and Catuscia Palamidessi meet in London at the PC selection meeting of QEST 2007
7-11 May: Prakash Panangaden visits the French team at LIX
7-28 May: Sophia Knight visits the French team at LIX
19-23 Mar: Kostas Chatzikokolakis and Catuscia Palamidessi attend the Bellairs workshop on Mathematical Methods for Reasoning about Security, organized by Prakash Panangaden. See the picture of the workshop dinner

Related events 2007

7 Dec: Meeting ProNoBiS in LIX
3 Sep : SecCo 2007 (Lisboa): 5th International Workshop on Security Issues in Concurrency. Organized by Daniele Gorla and Catuscia Palamidessi.

Events 2006