17 May 2010: | Christelle Braun defends her PhD thesis |
16 Sept 2010: | Sophia Knight, after completing her master studies at McGill under the supervision of Prakash Panangaden, joins the team Comète as a PhD student |
27 Nov 2010: | Miguel Andrés, after completing his PhD in Nijmegen under the direction of Bart Jacobs, joins the team Comète as a postdoc |
27 Nov 2010: | Annual Printemps workshop. Programme |
Jan 2010: | Christelle Braun visits McGill for 2 months |
Feb 2010: | Sophia Knight visits Comète for 2 weeks |
May 2010: | Prakash Panangaden visits Comète for 10 days |
May 2010: | Josée Desharnais visits Comète for 10 days |
May 2010: | Romain Beauxis visits McGill for 2 weeks |
June 2010: | Sardaouna Hamadou visits Comète for 2 weeks |
July 2010: | Prakash Panangaden and Catuscia Palamidessi meet at FLOC 2010 |
March 2010: | Catuscia Palamidessi is invited to give a talk at ARSPA-WITS'10, the joint workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security |
May 2010: | Catuscia Palamidessi is invited speaker at the Amir Pnueli Memorial Symposium |
June 2010: | Catuscia Palamidessi is invited to give a keynote talk at the joint conference 10th International Conference on Mathematics of Program Construction, and 13th International Conference on Algebraic Methodology And Software Technology (MPC 2010 and AMAST 2010) |
June 2010: | Prakash Panangaden is invited to lecture at the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Aspects of Programming Languages (SFM-10:QAPL) |
July 2010: | Catuscia Palamidessi is invited to give a talk at the Twenty-Fifth Annual IEEE Symposium on Logic In Computer Science (LICS 2010) |
Aug 2010: | Catuscia Palamidessi is a joint invited speaker at the SOS 2010 and EXPRESS 2010 |
March 2010: | Miguel Andrés presents a joint paper with Catuscia Palamidessi and Geoffrey Smith at TACAS 2010 |
Aug 2010: | Mário Alvim presents a joint paper with Miguel Andrés and Catuscia Palamidessi at CONCUR 2010 |
Sept 2010: | Miguel Andrés presents a joint paper with Catuscia Palamidessi, Peter van Rossum and Ana Sokolova at QEST 2010 |
Sept 2010: | Miguel Andrés presents a joint paper with Mário Alvim, Catuscia Palamidessi and Peter van Rossum at IFIP-TCS 2010 |