Metatheory Type system with capabilities Workshop on Effects and Type Theory 2007-12-14 – Tallin, Estonia Dagstuhl seminar: Types, Logics and Semantics for State 2008-02-04 – Dagstuhl, Germany International Conference on Functional Programming (ICFP) 2008-09-23 – Victoria, Canada Deep embedding of ML Journée GDR : langage, type et preuves 2008-11-28 – Evry, France INRIA Gallium team 2009-05-11 – Rocquencourt, France Characteristic formulae Max Planck Institute for Software Systems seminar 2010-03-25 – Saarbrücken, Germany Dagstuhl seminar : Modelling, Controlling and Reasoning About State 2010-10-01 – Dagstuhl, Germany International Conference on Functional Programming (ICFP) 2010-10-29 – Baltimore, USA Microsoft Research Cambridge 2010-11-18 – Cambridge, UK Thesis defense 2010-12-16 – Université Paris Diderot Max Planck Institute for Software Systems, PL-verif seminar 2011-02-10 – Kaiserslautern, Germany INRIA Celtique team 2011-06-01 – Rennes, France Philippa Gardner's group 2011-08-23 – Imperial College, London International Conference on Functional Programming (ICFP) 2011-09-21 – Tokyo, Japan 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 Optimal fixed points International Conference on Interactive Theorem Proving (ITP) 2010-07-14 – Edinburgh Verification-oriented programming IFIP Working Group 2.8 2012-11-06 – Annapolis, USA Parallelism Max Planck Institute for Software Systems, PL-verif seminar 2011-06-17 – Saarbrücken, Germany OOPSLA (International Conference) 2011-10-26 – Portland, USA Declarative Aspects and Applications of Multicore Programming (DAMP) 2012-01-28 – Philadelphia, USA |