Workshop on Automated Reasoning

Bridging the Gap between Theory and Practice


About ARW  |  Organising committee  |  1994  |  1995  |  1996  |  1997  |  1998  |  1999  |  2000  |  2001  |  2002  |  2003  |  2004  |  2005  |  2006  |  2007  |  2008  |  2009  |  2010  |  2011  |  2012  |  2013  |  2014  |  2015  |  Related sites  |  Fancy ARW site

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

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, 2016 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 (2018 Programme Chair)
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/

Konstantin Korovin
Department of Computer Science
University of Manchester
Oxford Road
Manchester M13 9PL
United Kingdom
Tel: +44 161 306 7005
Fax: +44 161 275 6204
Email: korovin@cs.man.ac.uk
URL: http://www.cs.man.ac.uk/~korovink/

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 (2017 Programme Chair)
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/

Giles Reger
Department of Computer Science
University of Manchester
Oxford Road
Manchester M13 9PL
United Kingdom
Fax: +44 161 275 6204
Email: giles.reger@manchester.ac.uk
URL: http://www.cs.man.ac.uk/~regerg/

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.


About ARW  |  Organising committee  |  1994  |  1995  |  1996  |  1997  |  1998  |  1999  |  2000  |  2001  |  2002  |  2003  |  2004  |  2005  |  2006  |  2007  |  2008  |  2009  |  2010  |  2011  |  2012  |  2013  |  2014  |  2015  |  Related sites  |  Fancy ARW site

last modified on Thursday, 03-Feb-2005 21:41:03 GMT