Events 2006

3-15 Dec: Kostas Chatzikokolakis visits the Canadian team at McGill
3-9 Dec: Catuscia Palamidessi visits the Canadian team at McGill
21 Nov: Kostas Chatzikokolakis and Catuscia Palamidessi visit the S4 group in Rennes and give a talk on the paper Anonymity Protocols as Noisy Channels
7-9 Nov: Kostas Chatzikokolakis and Catuscia Palamidessi attend the Symposium on Trustworthy Global Computing and present the paper Anonymity Protocols as Noisy Channels
31 Oct: Samy Abbes visits LIX and he gives a talk titled "Branching cells as local states for probabilistic event structures"
20 Oct: Glynn Winskel visits LIX and he gives a talk titled "Event structures with symmetry"
26 Sept: Tom Chothia visits LIX and he gives a talk titled "Analysing the MUTE Anonymous File-Sharing System Using the Pi-calculus"
10-15 July: Panangaden, Chatzikokolakis and Palamidessi meet at ICALP 2006
23 June: John Mullins visits LIX and he gives a talk titled "Analyse de flux d'information dans les protocoles cryptographique"
5-9 June: The French team visits the Canadian team at McGill. During 6-7 June we held a workshop. See the picture of the workshop dinner
22-26 May: Panangaden, Chatzikokolakis and Palamidessi meet at MFPS XXII
2-12 May: Panangaden visits the French team at LIX
19 Fe-4 Mar: Panangaden visits the French team at LIX

Related events 2006

13-15 Nov: Lix Colloquium in Palaiseau
22 May: Meeting ProNoBiS in Cachan
Feb-March: Workshops Geocal in Luminy. Among these, the meeting on Probabilistic Transition Systems organized by Vincent Danos was particularly relevant for Printemps