Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

 
 
 

 

Organising Committee

Alexander Bolotov (Chair of the Organising Committee, 2010 Programme Chair, 2014 Programme Co-Chair)
Harrow School of Computer Science
University of Westminster
Harrrow Campus, Watford Road, HA1 3TP
United Kingdom
Tel: +44 20 7911 4218
Fax: +44 20 7911 5906
Email: A.Bolotov@wmin.ac.uk
URL: http://www2.wmin.ac.uk/bolotoa/

Simon Colton (2007 Programme Chair)
Department of Computing
Goldsmiths College,
University of London
25 St. James, New Cross,
London, SE14 6NW,
United Kingdom
Tel: +44 20 7919 7850
Fax: +44 20 7919 7853
Email: s.colton@gold.ac.uk
URL: http://ccg.doc.gold.ac.uk/simoncolton/

David Crocker
Escher Technologies Limited
3 Archipelago Business Park
Lyon Way
Frimley GU16 5ER
United Kingdom
Tel: +44 1276 686569
Fax: +44 1276 686510
Email: dcrocker@eschertech.com
URL: http://www.eschertech.com/company/dc_homepage.php

Clare Dixon (Chair of the Organising Committee 2004-2009 and 2003 Programme Chair)
Department of Computer Science
University of Liverpool
Liverpool L69 3BX
United Kingdom
Tel: +44 151 795 4280
Fax: +44 151 795 4235
Email: C.Dixon@csc.liv.ac.uk
URL: http://www.csc.liv.ac.uk/~clare/

Louise Dennis (2006 Programme Chair, 2008 Programme Co-Chair),
Department of Computer Science,
University of Liverpool,
Liverpool, L69 3BX,
UK.
Tel: +44 151 795 4237
Email: lad@csc.liv.ac.uk
URL: http://www.csc.liv.ac.uk/~lad/

Jacques Fleuriot (Secretary/Treasurer and 2005 Programme Co-Chair)
School of Informatics
University of Edinburgh
Appleton Tower
Edinburgh EH8 9LE
United Kingdom
Tel: +44 0131 650 9342
Fax: +44 0131 650 6513
Email: jdf@inf.ed.ac.uk
URL: http://homepages.inf.ed.ac.uk/jdf/

Ullrich Hustadt (2009 Programme Chair)
Department of Computer Science
University of Liverpool
Liverpool L69 7ZF
United Kingdom
Tel: +44 151 794 6702
Fax: +44 151 794 7431
Email: U.Hustadt@csc.liv.ac.uk
URL: http://www.csc.liv.ac.uk/~ullrich/

Mateja Jamnik
Computer Laboratory
The University of Cambridge
JJ Thomson Avenue
Cambridge, CB3 0FD
United Kingdom
Tel: +44 1223 763 587
Fax: +44 1223 334 678
Email: Mateja.Jamnik@cl.cam.ac.uk
URL: http://www.cl.cam.ac.uk/users/mj201/

Florian Kammueller(Middlesex University)
Department of Computer Science
Middlesex University
Middlesex University Hendon campus
The Burroughs
London NW4 4B
Tel:
Fax:
Email: f.kammueller@mdx.ac.uk
URL: http://sites.google.com/site/floriankammueller

Ekaterina Komendantskaya (2013 Programme Chair)
School of Computing
Queen Mother Building
University of Dundee
Dundee DD1 4HN
Scotland
Tel: +44 01382384820
Fax:
Email: Komendantskaya@gmail.com
URL: http://www.computing.dundee.ac.uk/staff/katya/

Alice Miller (2011 Programme Chair)
Department of Computing Science
University of Glasgow
Glasgow G12 8QQ
Scotland
Tel: +44 141 330 4454
Fax: +44 141 330 4913
Email: alice (you input AT symbol) dcs.gla.ac.uk
URL: http://www.dcs.gla.ac.uk/~alice/

Oliver Ray
Department of Computer Science
University of Bristol
Merchant Venturers Building
Woodland Road, BS8 1UB
Bristol, United Kingdon
Tel: +44 117 954 5150
Fax: +44 117 954 5208
Email:csxor@bristol.ac.uk
URL: https://www.cs.bris.ac.uk/~oray/

Renate Schmidt (2012 Programme Chair)
Department of Computer Science
University of Manchester
Oxford Road
Manchester M13 9PL
United Kingdom
Tel: +44 161 275 6163
Fax: +44 161 275 6236
Email: schmidt@cs.man.ac.uk
URL: http://www.cs.man.ac.uk/~schmidt/

The Organising Committee is eager to hear your comments and suggestions. Please contact a committee member to pass your comments to the ARW organising committee. The members only mail address for committee members is arw-committee at csc.liv.ac.uk.

 
 
 

last modified on Friday, 15-Apr-2005 13:42:21 BST