Rank-A International conferences European Symposium on Algorithms (ESA) 2014-09-08 – Wroclaw, Poland International Conference on Functional Programming (ICFP) 2011-09-21 – Tokyo, Japan OOPSLA (International Conference) 2011-10-26 – Portland, USA International Conference on Interactive Theorem Proving (ITP) 2010-07-14 – Edinburgh International Conference on Functional Programming (ICFP) 2010-10-29 – Baltimore, USA Symposium on Principles of Programming Languages (POPL) 2008-01-10 – San Francisco, USA International Conference on Functional Programming (ICFP) 2008-09-23 – Victoria, Canada International workshops Certification of high-level and low-level programs IHP Worshop 2014-07-05 – Paris, France Declarative Aspects and Applications of Multicore Programming (DAMP) 2012-01-28 – Philadelphia, USA IFIP Working Group 2.8 2012-11-06 – Annapolis, USA Dagstuhl seminar : Modelling, Controlling and Reasoning About State 2010-10-01 – Dagstuhl, Germany Dagstuhl seminar: Types, Logics and Semantics for State 2008-02-04 – Dagstuhl, Germany Workshop on Effects and Type Theory 2007-12-14 – Tallin, Estonia Seminars Inria Toccata team 2013-04-19 – Saclay, France Inria Parkas team 2013-05-27 – ENS, France Inria Gallium team 2013-06-10 – Rocquencourt, France Michael Hicks' group 2012-01-31 – University of Maryland Greg Morrisett's group 2012-02-01 – Harvard University PPS team 2012-03-01 – University Paris Diderot Max Planck Institute for Software Systems, PL-verif seminar 2011-02-10 – Kaiserslautern, Germany Inria Celtique team 2011-06-01 – Rennes, France Max Planck Institute for Software Systems, PL-verif seminar 2011-06-17 – Saarbrücken, Germany Philippa Gardner's group 2011-08-23 – Imperial College, London Max Planck Institute for Software Systems seminar 2010-03-25 – Saarbrücken, Germany Microsoft Research Cambridge 2010-11-18 – Cambridge, UK Inria Gallium team 2009-05-11 – Rocquencourt, France Journée GDR : langage, type et preuves 2008-11-28 – Evry, France Others Thesis defense 2010-12-16 – Université Paris Diderot |