Involvement in conferences / Conférences

• ETAPS'12 (Invited speaker)

• Summer school VTSA'11 (Lecturer) slides: introduction ProVerif
• Summer School Marktoberdorf (Lecturer) slides working material
• CCS'11 (PC member)
• CryptoForma workshop (PC member)
• FCC'11 (PC member and local organizer)
• FCS'11 (PC co-chair)
• ESSoS'11 (PC member)

• SecReT'10 (Invited speaker)
• CryptoForma workshop (Committee member)
• CCS'10 (PC member)
• CSF'10 (PC member)
• TACAS'10 (PC member)

• ASIAN'09 (PC member)
• ECRYPT-II summer school (Invited speaker)
• FCC'09 (PC member)
• CSF'09 (PC member)
• MITACS'09 (Invited speaker)
• CoSyProofs (Invited speaker)
• POPL'09 (PC member)

• FCC'08 (PC co-chair)
• PLAS'08 (PC member)
• CSF'08 (PC member)

• CONCUR'07 (PC member)
• FCC'07 (PC member)
• CSF'07 (Anciennement, CSFW. PC member)
• PLDI'07 (PC member)

• FCC'06 (PC member)
• CSFW'06 (PC member)
• EAAI'06 (PC member)
• FOSSACS'06 (PC member)

• MoveLog'05 (PC member)
• CADE'05 (Invited tutorial)
• Workshop on the link between formal and computational models (Organizing committee member)
• CSFW'05 (PC member)
• AIOOL'05 (PC member)
• ESOP'05 (PC member)

• CONCUR'04 (PC member)
• SAC'04 (Security track) (PC member)

• PPDP'03 (Invited talk)
• IWFM'03 (PC member)

• SAS'01 (Invited talk)