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 |
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 |