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
- Member of the programme committee for
21st Brazilian Symposium on Formal Methods (SBMF),
Salvador,
Brazil, November 26th to November 30th, 2018
- Member of the programme committee for
International Symposium on Distributed Autonomous Robotic Systems 2018
15-17 October 2018, University of Colarado at Boulder, USA
- Programme committee co-chair for
Workshop on the Verification and Validation of Autonomous Systems
18-19 July 2018, Oxford, UK.
Part of
FLoC 2018
- Member of the programme committee for
9th International Joint Conference on Automated Reasoning (IJCAR)
14-17 July 2018, Oxford, UK.
Part of
FLoC 2018
-
Member of the programme committee for
Thirty-Second AAAI Conference on Artificial Intelligence
AAAI-18
2-7 February – New Orleans, Lousiana, USA, 2018.
2017
- Member of the programme committee for
20th Brazilian Symposium on Formal Methods (SBMF),
Recife,
Brazil, November 27th to December 1st, 2017
- Invited speaker for the
N8 Robotics and Autonomous Systems
Student Network Meeting, University of Sheffield, 12th September 2017
- Programme committee co-chair for
11th International Symposium on the Frontiers of Combining Systems (FroCoS)
Brasilia, September 27-29th, Brazil 2017
- Member of the programme committee for
26th International Conference on Automated Reasoning with Analytic Tableaux
and Related Methods (TABLEAUX)
Brasilia, September 25-28th, Brazil 2017
- Member of the programme committee for
26th International Joint Conference on Artificial Intelligence (IJCAI),
Melbourne, 19th - 25th August, 2017
- Keynote Speaker
Formal Verification (FV2017) Industrial Conference, Reading, 27th June 2017
2016
- Member of the programme committee for
13th International Symposium on Distributed Autonomous Robotic Systems 2016
7-9th November 2016
- Invited speaker for the
High Integrity Software (Industrial Conference), 1st November 2016
- Member of the programme committee for
8th International Joint Conference on Automated Reasoning (IJCAR),
Coimbra, Portugal 27th June - 2nd July, 2016
- Member of the programme committee for
25th International Joint Conference on Artificial Intelligence (IJCAI),
New York City, 9th - 15th July, 2016
- Invited speaker for the
Social Trust in Autonomous Robots Workshop,
part of Robotics: Science and Systems Conference,
University of Michigan, Ann Arbor, USA,
19th June 2016
- Member of the programme committee for
AAAI-16: Student Abstract and Poster Program
Phoenix, Arizona, USA February 12-17,
2016.
- Oganising committee member for the Automated Reasoning
Workshop: Bridging the Gap between Theory and Practice
2015
- Member of the programme committee for
18th Brazilian Symposium on Formal Methods (SBMF),
Belo Horizonte, Minas Gerais, Brazil, September 21st to September 26th, 2015
- Member of the programme committee for
22nd International Symposium on
Temporal Representation and Reasoning, (TIME 2015),
September 23-25, 2015, Kassel, Germany
- Member of the programme committee for
Frontiers of Combining Systems (FroCoS'15)
University of Wroclow, Poland September 19-24 2015
- Member of the programme committee for
Fifteenth conference on
Theoretical Aspects of Rationality and Knowledge (TARK)
Carnegie Mellon University, Pittsburgh, USA, June 4--6, 2015.
- Member of the programme committee for
AAAI-15: Student Abstract and Poster Program
Austin, Texas, USA 25th-30 January,
2015.
- Organising committee member for the Automated Reasoning
Workshop: Bridging the Gap between Theory and Practice
2014
2013
2012
- Member of the programme committee for
25th anniversary of the Australasian Joint Conference on Artificial
Intelligence
Sydney, Australia, December 2012
- Member of the programme committee for
Seventh Workshop on Logical and Semantic Frameworks, with
Applications(LSFA'12), Rio de Janeiro, Brazil, September 29-30, 2012
- Member of the programme committee for
15th Brazilian Symposium on Formal Methods (SBMF 2012),
Natal-RN, Brazil from 23-28 September 2012
- Member of the programme committee for
19th International Symposium on
Temporal Representation and Reasoning, (TIME 2012),
Leicester, UK, September 12-14, 2012.
- Member of the programme committee for the
6th "Starting Artificial Intelligence Research" Symposium
Part of
ECAI 2012
Montpellier, France, August, 27-28, 2012
- Organising committee member for the Automated Reasoning
Workshop: Bridging the Gap between Theory and Practice
2011
- Member of the programme committee for
Brazilian Symposium on Formal Methods (SBMF 2011),
Sao Paulo, Brazil from 26-30 September 2011
- Member of the programme committee for
18th International Symposium on
Temporal Representation and Reasoning, (TIME 2011),
Luebeck, Germany, September 12-14, 2011.
- Reviewer for
Computer Science Logic (CSL 2011)
Bergen, Norway, September 12-15, 2011,
- Member of the programme committee for
Sixth Workshop on Logical and Semantic Frameworks, with
Applications(LSFA'11), Belo Horizonte, Brazil, August 27th, 2011
- Organising committee member for the Automated Reasoning
Workshop: Bridging the Gap between Theory and Practice
2010
- Member of the programme committee for
Fifth Workshop on Logical and Semantic Frameworks, with
Applications(LSFA'10), Natal, Brazil, August 2010
- Member of the programme committee for
Brazilian Symposium on Formal Methods (SBMF 2010),
Natal, Brazil, 8-12 November 2010
- Member of the programme committee for
17th International Symposium on
Temporal Representation and Reasoning (TIME'10),
Paris, France,
6-8 September 2010
- Member of the programme committee for
19th European Conference on Artificial Intelligence, ECAI 2010,
Lisbon, Portugal 16-20 August 2010
- Organising committee member for the Automated Reasoning
Workshop: Bridging the Gap between Theory and Practice
2009
2008
2007
2006
2005 and before