2014 Programme Committee
6th International Conference on Verified Software: Theories, Tools and
Experiments (VSTTE 2014), Vienna, Austria.
2014 Expert Reviewing Panel
29th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2014), Vasteras, Sweden.
2013 Tool Demo Co-Chair
28th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2013), Palo Alto, USA.
2012 Expert Reviewing Panel
27th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2012), Essen, Germany.
2011 Expert Reviewing Panel
26th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2011), Lawrence KA, USA.
2010 Steering Committee
International Conference on Verified Software: Theories, Tools and
Experiments (VSTTE).
2010 Conference Chair
3rd International Conference on Verified Software: Theories, Tools and
Experiments (VSTTE 2010), Edinburgh, Scotland.
2010 Expert Reviewing Panel
25th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2010), Antwerp, Belgium.
2009 Expert Reviewing Panel
24th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2009), Auckland, New Zealand.
2008 Steering Committee
IEEE/ACM International Conference on Automated Software Engineering
(ASE).
2008 Programme Co-Chair
23rd IEEE/ACM International Conference on Automated Software Engineering
(ASE 2008), L'Aquila, Italy.
2007 Doctoral Symposium Co-Chair
22nd IEEE/ACM International Conference on Automated Software Engineering
(ASE 2007), Atlanta, Georgia, USA.
2007 Programme Committee
22nd IEEE/ACM International Conference on Automated Software Engineering
(ASE 2007), Atlanta, Georgia, USA.
2006 Programme Committee
3rd International Joint Conference on Automated Reasoning (IJCAR 2006),
Seattle, US.
2006 Tutorials Co-Chair
21th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2006), Tokyo, Japan.
2006 Expert Reviewing Panel
21th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2006), Tokyo, Japan.
2005 Programme Committee
7th International Conference on Formal Engineering Methods (ICFEM 2005),
Manchester, UK.
2005 Publications Chair
20th IEEE International Conference on Automated Software Engineering
(ASE 2005), Long Beach, CA, US.
2005 Programme Committee
20th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2005), Long Beach, CA, US.
2004 Programme Committee
19th IEEE International Conference on Automated Software Engineering
(ASE 2004), Linz, Austria.
2003 Programme Committee
19th International Conference on Automated Deduction (CADE 19),
Miami, US.
2003 Programme Committee
18th IEEE International Conference on Automated Software Engineering
(ASE 2003), Montreal, Canada.
2002 Programme Committee
18th International Conference on Automated Deduction (CADE 18),
Copenhagen, Denmark.
2002 Local Arrangements Chair 17th IEEE International Conference on
Automated Software Engineering (ASE 2002)
Edinburgh, UK.
2001 Programme Committee 16th IEEE International Conference on
Automated Software Engineering (ASE 2001), San Diego, US.
2001 Local Arrangements Chair CHARME 2001 IFIP WG1.5:
Advanced Research Working Conference on Correct Hardware Design and Verification Methods
ISLI Livingston, Edinburgh, UK.
International Workshops
2015 Co-Organizer
AVoCS-15: 15th International Workshop on Automated Verification of
Critical Systems, 1-4 September 2015 at ICMS in Edinburgh, Scotland.
2009 Co-Chair
WING-09: 2nd International Workshop on Invariant Generation.
Satellite Workshop of ETAPS-09, 22-29 March, 2009, York, UK.
2008 Keynote Speaker
AVoCS-08: 8th International Workshop on Automated Verification of
Critical Systems, Sep 30 - Oct 1, Glasgow, Scotland.
2008 Programme Committee
Verify-08: formal verification workshop associated with
IJCAR-08 in August 2008 in Sydney, Australia.
2007 Programme Committee
Verify-07: formal verification workshop associated with
CADE-21 in July 2007 in Bremen, Germany.
2006 Programme Committee
Verify-06: formal verification workshop associated with
FLoC/IJCAR in August 2006 in Seattle, WA, USA
2005 Programme Committee
SoftCeMent-05: Software Certification Management workshop
associated with ASE-05: Long Beach, CA
1993 Organiser
Automation of proof by mathematical induction associated with AAAI-93: Washington, DC
National Workshops
2008 Keynote Speaker
ARW-08: 15th Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice.
Associated with the Conferences on Intelligent Computer
Mathematics (CICM-08). 30-31st July 2008 at the
University of Birmingham.
2002 Programme Committee
Ninth Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice,
Imperial College
2001 Programme Committee
Eighth Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
affiliated to AISB-01: University of York
2000 Programme Committee
Seventh Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
affiliated to AISB-00: City University, London
1999 Programme Committee
Sixth Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
affiliated to AISB-99: University of Edinburgh
1998 Programme Committee
Fifth Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
BCTCS-98: University of St.Andrews
1997 Programme Committee
Fourth Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
AISB-97: University of Manchester
1997 Organizer
Third Scottish Theorem Proving Seminar Series, Heriot-Watt University
1996 Programme Committee
Third Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
AISB-96: University of Sussex
1995 Programme Chair Second Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
AISB-95: University of Sheffield
1995 Local Arrangements
Fourth Clam-Inka workshop, University of Edinburgh
1994 Panel Moderator
Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
AISB-94: University of Leeds
1993 Local Arrangements
Second Clam-Inka workshop, University of Edinburgh