Events 2010

Theses defenses

17 May 2010: Christelle Braun defends her PhD thesis

Mobility

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

Workshop

27 Nov 2010: Annual Printemps workshop. Programme

School

The junior members of Printemps (Mário Alvim, Andrés Aristizabal, Jérémy Dubreil, Miguel Andrés, Romain Beauxis, Sophia Knight and Filippo Bonchi) have participated 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). Prakash Panangaden was a lecturer at that school. See the group picture

Visits

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

Impact on the scientific community: invited talks on Printemps research

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

Presentations

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

Events 2009   Events 2008   Events 2007   Events 2006