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