Clare Dixon - Activities


Past activities include the following.

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