This is a list of conferences, workshops, summer schools etc. where I have been (or plan to be in the near future).
2020
- D-CON 2020 (Attendee)
March 2020, Duisburg, Germany
2018
- D-CON 2018 (Attendee)
March 2018, Darmstadt, Germany
2016
- D-CON 2016 (Attendee)
March 2016, Saarbrücken, Germany
2015
- MFPS XXXI (Attendee) & CALCO 2015 (Speaker)
June 2015, Nijmegen, The Netherlands - AutoMathA 2015 (Attendee)
May 2015, Leipzig, Germany - D-CON 2015 (Speaker)
March 2015, Kerkrade, The Netherlands
2014
- FSTTCS 2014 (Speaker) & INFINITY 2014 (Attendee)
December 2014, New Delhi, India - Cogrow Workshop (Attendee)
September 2014, Nijmegen, The Netherlands - CMCS 2014 (Speaker) & ETAPS 2014 (Attendee)
April 2014, Grenoble, France - Bellairs Workshop on Probabilistic Systems 2014 (Speaker)
March 2014, Holetown, Barbados - D-CON 2014 (Speaker)
March 2014, Ilsenburg, Germany
2013
- QAIS Workshop 1 (Speaker)
September 2013, Braga, Portugal - CALCO 2013 (Speaker CALCO EI)
September 2013, Warsaw, Poland - Spring School 2013: Program Analysis and Verification (Attendee)
April 2013, Gif-sur-Yvette, France - D-CON 2013 (Attendee)
March 2013, Lübeck, Germany
2012
- CONCUR 2012 (Speaker)
September 2012, Newcastle upon Tyne, United Kingdom - D-CON 2012 (Speaker)
March 2012, Kaiserslautern, Germany - ETAPS 2012 (Attendee)
March/April 2012, Tallinn, Estonia