Formal binders Symposium on Principles of Programming Languages (POPL) 2008-01-10 – San Francisco, USA Formal semantics Inria Toccata team 2013-04-19 – Saclay, France Inria Parkas team 2013-05-27 – ENS, France Inria Gallium team 2013-06-10 – Rocquencourt, France Type system with capabilities Dagstuhl seminar: Types, Logics and Semantics for State 2008-02-04 – Dagstuhl, Germany International Conference on Functional Programming (ICFP) 2008-09-23 – Victoria, Canada Workshop on Effects and Type Theory 2007-12-14 – Tallin, Estonia Deep embedding of ML Inria Gallium team 2009-05-11 – Rocquencourt, France Journée GDR : langage, type et preuves 2008-11-28 – Evry, France Characteristic formulae Certification of high-level and low-level programs IHP Worshop 2014-07-05 – Paris, 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 Philippa Gardner's group 2011-08-23 – Imperial College, London International Conference on Functional Programming (ICFP) 2011-09-21 – Tokyo, Japan 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 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 European Symposium on Algorithms (ESA) 2014-09-08 – Wroclaw, Poland Declarative Aspects and Applications of Multicore Programming (DAMP) 2012-01-28 – Philadelphia, USA Max Planck Institute for Software Systems, PL-verif seminar 2011-06-17 – Saarbrücken, Germany OOPSLA (International Conference) 2011-10-26 – Portland, USA Others |