Events

VORTEX 2021

VORTEX 2021, Virtual Aarhus, Denmark July 12, 2021

FM 2021

FM 2021, Beijing, China Nov 20, 2021 - Nov 26, 2021

AGERE 2020

AGERE 2020, Chicago, US, 20 November 2020

iFM 2020

iFM 2020, Lugano, Switzerland, 16-20 November 2020

FormaliSE 2020

FormaliSE 2020, Seoul, Korea, 25-26 May 2020

FASE 2020

FASE 2020, Dublin, Ireland, 28 April - 1 May, 2020

PLACES 2020

PLACES 2020, Dublin, Ireland, 26 April 2020 (Invited talk)

British Computing Society

British Computing Society, London, UK, 9 April 2020 (Invited talk)

ESOCC 2020

ESOCC 2020, Heraklion, Crete, 1-3 April 2020

iFM 2019

iFM 2019, Bergen, Norway, 2-6 December 2019