Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

 
 
 

 

Organising Committee

Alexander Bolotov (Chair of the Organising Committee, 2010 Programme 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
Imperial College London
180 Queen's Gate
London SW7 2BZ
United Kingdom
Tel: +44 20 7594 8315
Fax: +44 20 7581 8024
Email: sgc@doc.ic.ac.uk
URL: http://www.doc.ic.ac.uk/~sgc/

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/dc_homepage.htm

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/

Roy Dyckhoff
School of Computer Science,
University of St Andrews,
North Haugh,
ST ANDREWS,
Fife,
KY16 9SX,
Scotland.
Tel: +44-1334-463267
Fax: +44-1334-463278
Email:rd at dcs.st-and.ac.uk
URL: http://www.dcs.st-andrews.ac.uk/~rd/

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://www.dai.ed.ac.uk/homes/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/

Alice Miller
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/

Renate Schmidt
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/

Volker Sorge (2008 Programme Co-Chair)
School of Computer Science
University of Birmingham
Birmingham B15 2TT
United Kingdom
Tel: +44 121 414 3746
Fax: +44 121 414 4281
Email: V.Sorge@cs.bham.ac.uk
URL: http://www.cs.bham.ac.uk/~vxs/

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