-
Exposé donnéTalk given le 19 Juinthe 19 June 2019 auat the Séminaire VérificationVerification Seminar de l'université d'Oxfordof the University of Oxford, Oxford, Grande BretagneGreat Britain.
-
Conférence invitée àInvited Talk to CIAA 2018 31 Juillet — 2 Août31 July — 2 August 2018, Charlottetown, PEI, Canada
-
Présentation àTalk to CIAA 2018 31 Juillet — 2 Août31 July — 2 August 2018, Charlottetown, Prince Edward Island, Canada
-
Conférence invitée àInvited Talk to DCFS 2018 25 — 27 JuilletJuly 2018, Halifax, Nova Scotia, Canada
-
Cours donné àSurvey Lecture given at WATA 2018 22 — 26 MaiMay 2018, Leipzig, AllemagneGermany.
-
Cours donné leSurvey Lecture given the 28 FévrierFebruary 2018, auat the Tokyo Institute of Technology Tokyo, JaponJapan.