Seventh Workshop on Automated Reasoning

Participants

Send email to all of them

Andrew A. Adams
University of St. Andrews
30 Wood Burn Terrace
St. Andrews KY16 8BA
Phone: +44 1334 463268
Fax: +44 1334 463278
Email: aaa@cs.st-and.ac.uk

Rolf Backofen
Ludwig-Maximilians-Universität München
Institut für Informatik
Oettingenstr. 67
D-80538 München (Germany)
Phone: +49 89 2178-2213
Fax: +49 89 2178 2238
Email: backofen@informatik.uni-muenchen.de

Christoph Benzmüller
University of Birmingham
School of Computer Science
Edgbaston B15 2TT
Phone: +44 121 414 4793
Fax: +44 121 414 4281
Email: c.e.benzmuller@cs.bham.ac.uk

Matt Bishop
King's College London
Department of Computer Science
Strand
London WC2R 2LS
Phone: +44 20 7848 2478
Fax: +44 20 7848 2851
Email: bishopm@dcs.kcl.ac.uk

Alexander Bolotov
Manchester Metropolitan University
Department of Computing and Mathematics
Chester Street
Manchester M5 1GD
Phone: +44 161 247 1531
Fax: +44 161 247 1483
Email: a.bolotov@doc.mmu.ac.uk

Richard J. Boulton
University of Glasgow
Department of Computing Science
17 Lilybank Gardens
Glasgow G12 8QQ
Phone: +44 141 330 4454
Fax: +44 141 330 4913
Email: boulton@dcs.gla.ac.uk

Alan Bundy
University of Edinburgh
Division of Informatics
80 South Bridge
Edinburgh, EH1 1HN
Phone: +44 131 650 2716
Fax: +44 131 650 6516
Email: a.bundy@ed.ac.uk

David Corfield
King's College London
Department of Philosophy
Strand
London WC2R 2LS
Phone: +44 20 7848 2327
Fax: +44 20 7848 2270
Email: david.corfield@kcl.ac.uk

Anatoli Degtiarev
Manchester Metropolitan University
Department of Computing and Mathematics
Chester Street
Manchester M1 5GD
Phone: +44 161 247 6710
Fax: +44 161 247 1483
Email: a.degtiarev@doc.mmu.ac.uk

Maarten de Rijke
University of Amsterdam
Department of Mathematics, Computer Science, Physics and Astronomy
Plantage Muidergracht 24
1018 TV Amsterdam (The Netherlands)
Phone: +31 20 525 6511
Fax: +31 20 525 5101
Email: mdr@wins.uva.nl

Ulrich Endriss
King's College London
Department of Computer Science
Strand
London WC2R 2LS
Phone: +44 20 7848 2985
Fax: +44 20 7240 1071
Email: endriss@dcs.kcl.ac.uk

Nigel Evans
I.M.S. Limited
3 Archipelago Business Park
Lyon Way, Frimley, Surrey
GU16 5ER
Phone: +44 1276 686 569
Fax: +44 1276 686 510
Email: nevans@imsltd.com

M. Carmen Fernández-Gago
Manchester Metropolitan University
Department of Computing and Mathematics
Chester Street
Manchester M1 5GD
Phone: +44 161 247 3598
Fax: +44 161 247 1483
Email: c.gago@doc.mmu.ac.uk

Alan M. Frisch
University of York
Department of Computer Science
York YO10 5DD
Phone: +44 1904 432745
Fax: +44 1904 432767
Email: frisch@cs.york.ac.uk

Dov Gabbay
King's College London
Department of Computer Science
Strand
London WC2R 2LS
Phone: +44 20 7848 2930
Fax: +44 20 7240 1071
Email: dg@dcs.kcl.ac.uk

Lilia Georgieva
University of Manchester
Computer Science Deparment
Oxford Road
Manchester M13 9PL
Phone: +44 161 275 6132
Email: georgiel@cs.man.ac.uk

Jeremy Gow
University of Edinburgh
Division of Informatics
80 South Bridge
Edinburgh EH1 1HN
Phone: +44 131 650 2722
Fax: +44 131 650 6516
Email: jeremygo@dai.ed.ac.uk

James Harland
Royal Melbourne Institute of Technology
Department of Computer Science
GPO Box 2476V
Melbourne 3001 (Australia)
Phone: +61 3 9925 2348
Fax: +61 3 9662 1617
Email: jah@cs.rmit.edu.au

Shymanta M. Hazarika
University of Leeds
School of Computer Studies
Leeds LS2 9JT
Phone: +44 113 233 6806
Fax: +44 113 233 5468
Email: smh@scs.leeds.ac.uk

Joe Hurd
University of Cambridge
Computer Laboratory
Pembroke Street
Cambridge
Phone: +44 1223 334729
Email: joe.hurd@cl.cam.ac.uk

Ullrich Hustadt
Manchester Metropolitan University
Department of Computing and Mathematics
Chester Street
Manchester M1 5GD
Phone: +44 161 247 1515
Fax: +44 161 247 1483
Email: u.hustadt@doc.mmu.ac.uk

Manfred Kerber
University of Birmingham
School of Computer Science
Edgbaston B15 2TT
Phone: +44 121 414 4787
Fax: +44 121 414 4281
Email: m.kerber@cs.bham.ac.uk

Michael Kohlhase
Universität des Saarlandes
Fachbereich Informatik
Im Stadtwald
D-66041 Saarbrücken (Germany)
Phone: +49 681 302 4628
Fax: +49 681 302 2235
Email: kohlhase@cs.uni-sb.de

Konstantin Korovin
University of Manchester
Computer Science Department
Oxford Road
Manchester M13 9PL
Phone: +44 161 275 6132
Email: korovink@cs.man.ac.uk

Elena Koublanova
Community College of Philadelphia
1132 liberty Bell Drive
Cherry Hill
NJ 08003 (USA)
Phone: +1 856 616 9235
Email: ekoublanova@ccp.cc.pa.us

Martina Kullmann
ENSAIS Strasbourg
LIIA
24, Bd de la Victoire
F-67084 Strasbourg Cedex (France)
Phone: +33 3 8814 4753
Fax: +33 3 8824 1490
Email: martina@liia.u-strasbg.fr

George Metcalfe
King's College London (from Sept 2000)
11 Malvern Road
Southsea Hampshire PO5 2LZ
Phone: +44 23 9233 6480
Email: gmetcalfe1@dera.gov.uk

Markus Moschner
TU Vienna
Institut für Angewandte und Numerische Mathematik
Wiedner Hauptstr. 8-10
A-1040 Vienna (Austria)
Phone: +43 1 58801 11520
Fax: +43 1 58801 11599
Email: moschm@logic.at

Cláudia Nalon
Manchester Metropolitan University
department of Computing and Mathematics
Chester Street
Manchester M1 5GD
Phone: +44 161 247 3598
Fax: +44 161 247 1483
Email: c.nalon@doc.mmu.ac.uk

Hans Jürgen Ohlbach
Ludwig-Maximilians-Universität München
Institut für Informatik
Oettingenstr. 67
D-80538 München (Germany)
Phone: +49 89 2178 2200
Fax: +49 89 2178 2211
Email: ohlbach@informatik.uni-muenchen.de

Regimantas Pliuskevicius
Manchester Metropolitan University
Department of Computing and Mathematics
Chester Street
Manchester M1 5GD
Phone: +44 161 247 1537
Email: r.pliuskevicius@doc.mmu.ac.uk

Allan Ramsay
UMIST
Department of Language Engineering
PO Box 88
Manchester M60 1QD
Phone: +44 161 200 3108
Fax: +44 161 200 3099
Email: allan.ramsay@umist.ac.uk

Alexandre Riazanov
University of Manchester
Computer Science Department
Oxford Road
Manchester M13 9PL
Phone: +44 161 275 6132
Fax: +44 161 275 6204
Email: riazanov@cs.man.ac.uk

Odinaldo Rodrigues
King's College London
Department of Computer Science
Strand
London WC2R 2LS
Phone: +44 20 7848 2469
Fax: +44 20 7240 1071
Email: odinaldo@dcs.kcl.ac.uk

Tatiana Rybina
University of Manchester
Department of Computer Science
Oxford Road
Manchester M13 9PL
Phone: +44 161 275 6137
Email: rybina@cs.man.ac.uk

Stefan Schlobach
King's College London
Department of Computer Science
Strand
London WC2R 2LS
Phone: +44 20 7848 2985
Fax: +44 20 7240 1071
Email: schlobac@dcs.kcl.ac.uk

Renate Schmidt
University of Manchester
Department of Computer Science
Oxford Road
Manchester M13 9PL
Phone: +44 161 275 6163
Fax: +44 161 275 6211
Email: schmidt@cs.man.ac.uk

Paolo Torrini
University of Leeds
School of Computer Studies
Leeds LS2 9JT
Phone: +44 113 233 6806
Email: paolot@scs.leeds.ac.uk

Andrei Voronkov
University of Manchester
Department of Computer Science
Oxford Road
Manchester M13 9PL
Phone: +44 161 275 6116
Email: voronkov@cs.man.ac.uk

Jon Williamson
King's College London
Department of Philosophy
Strand
London WC2R 2LS
Phone: +44 20 7848 2327
Fax: +44 20 7848 2270
Email: jon.williamson@kcl.ac.uk

Silvana Zappacosta
Imperial College
Department of Computing
180 Queen's Gate
London SW7 2BZ
Phone: +44 20 7594 8343
Fax: +44 20 7581 8024
Email: sza@doc.ic.ac.uk