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
- 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