-
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.
Séminaires et conférences Talks and tutorials
Liens sur les «transparents» de quelques conférences ou séminaires présentés plus ou moins récemment. Links on ‘slides’ of some of more or less recently given talks.