Conference & Workshop Organizational Involvement

International Conferences

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

2002 Programme Committee Verify-02: formal verification workshop associated with FLoC-02: Copenhagen, Denmark

2001 Programme Committee Verify-01: formal verification workshop associated with IJCAR-01: Siena, Italy

2000 Programme Committee Automated inductive theorem proving workshop associated with CADE-17: CMU, Pittsburgh, US

1999 Organizing Committee Automated inductive theorem proving workshop associated with CADE-16: Trento, Italy

1998 Programme Chair Automated inductive theorem proving workshop associated with CADE-15: Lindau, Germany

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