Clare Dixon - Activities


Past activities include the following.

2020

  • Member of the programme committee for 23rd Brazilian Symposium on Formal Methods (SBMF), Ouro Preto, Brazil, 25th-27th November 26th, 2020
  • Keynote Speaker for the the 27th International Symposium on Temporal Representation and Reasoning (TIME), and the 2nd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata and sYnthesis (OVERLAY) Bozen-Bolzarno (online), Italy, September 23rd-25th, 2020
  • Member of the programme committee for the 27th International Symposium on Temporal Representation and Reasoning (TIME), Bozen-Bolzarno (online), Italy, September 23rd-25th, 2020
  • Member of the programme committee for the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, (IJCAI-PRICAI 2020) Yokohama, Japan, July 2020
  • Member of the programme committee for the 24th European Conference on Artificial Intelligence, ECAI 2020, Santiago de Compostela, Spain, June, 2020

    2019

  • Member of the programme committee for the 26th International Symposium on Temporal Representation and Reasoning (TIME 2019), Malaga, Spain, October 16-19th, 2019
  • Member of the programme committee for the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019), Middlesex University, London, September 4-6, 2019
  • Member of the programme committee for International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2019), London, UK September 3-5 2019
  • Member of the programme committee for the 16th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2019), Yanuca Island, Cuvu, Fiji, August 26th-30th, 2019
  • Member of the programme committee for Conference on Automated Deduction (CADE 2019), Natal, Brazil, 25-30 August 2019,
  • Member of the programme committee for Joint Conference on Artificial Intelligence (IJCAI) Macao, China August 10-16 2019
  • Invited lecturer at the Spring School on Computer-Assisted Assurance (CyPhyAssure) 19th-22nd March 2019, University of York, UK

    2018

    2017

    2016

    2015

    2014

    2013

    2012

    2011

    2010

    2009

    2008

    2007

    2006

    2005 and before