Clare Dixon - Activities

Past activities include the following.

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

2009

Member of the programme committee for Brazilian Symposium on Formal Methods (SBMF 2009), Gramado, Brazil, 19-21 August 2009
Member of the programme committee for Fourth Workshop on Logical and Semantic Frameworks, with Applications(LSFA'09), Brasilia, Brazil, June 2009
Member of the programme committee for TIME International Symposium on Temporal Representation and Reasoning, Montreal, June 2008
Chair of the organising committee for the Automated Reasoning Workshop: Bridging the Gap between Theory and Practice 2004-2009

2008

Member of the programme committee for 5th Brazilian Symposium on Formal Methods (SBMF 2008), Salvador, Bahia, Brazil, 26-29 August 2008
Member of the programme committee for Third Workshop on Logical and Semantic Frameworks, with Applications(LSFA'08), Salvador, Bahia, Brazil, September 2008
Chair of the organising committee for the Automated Reasoning Workshop: Bridging the Gap between Theory and Practice 2004-2009

2007

Member of the programme committee for Twentieth Australian Joint Conference On Artificial Intelligence 2nd-6th December 2007 Gold Coast, Queensland, Australia
Chair of the organising committee for the Automated Reasoning Workshop: Bridging the Gap between Theory and Practice 2004-2009
Member of the programme committee for Second Workshop on Logical and Semantic Frameworks, with Applications(LSFA'07), Ouro Preto, Brazil, August 2007
General chair for TIME International Symposium on Temporal Representation and Reasoning, Alicante, June 2007
Chair of the organising committee for the Automated Reasoning Workshop: Bridging the Gap between Theory and Practice 2004-2009

2006

Member of the reviewing committee for the special issue of the Journal of Applied Logic on Empirically Successful Computerized Reasoning (ESCoR) 2006
Invited speaker at Information and Computer Security Workshop, Timisoara, Romania, 29th September 2006. Part of SYNASC 2006
Member of the programme committee for JELIA 2006
Member of the programme committee for Empirically Successful Computerized Reasoning (ESCoR) 2006
Chair of the organising committee for the Automated Reasoning Workshop: Bridging the Gap between Theory and Practice 2004-2009

2005 and before

Member of the programme committee for the Time International Symposium Series 1998-2005.
Chair of the organising committee for the Automated Reasoning Workshop: Bridging the Gap between Theory and Practice 2004-2009
I was programme chair for 10th Automated Reasoning Workshop: Bridging the Gap between Theory and Practice held in Liverpool (UK), 15th-16th April 2003.
I was co-chair of the organising committee for 9th International Symposium on Temporal Representation and Reasoning (TIME'02) held in Manchester (UK), 7-9th July 2002.
I co-presented a tutorial Clausal Temporal Resolution at IJCAR 2001
I was programme co-chair of Workshop on Temporal Representation and Reasoning (TIME'99).