University of Glasgow
Department of Computing Science University of Glasgow Glasgow G12 8QQ United Kingdom Tel: +44 141 330 4256 Fax: +44 141 330 4913	Tom Melham Tel: +44 141 330 4967 Email: tfm@dcs.gla.ac.uk
	Richard Boulton Tel: +44 141 330 4454 E-mail: boulton@dcs.gla.ac.uk
	Fatima Beltagui Tel: +44 141 339 8855 Ext. 0049 Email: fatima@dcs.gla.ac.uk
	Kong Woei Susanto Tel: +44 141 339 8855 Ext. 0995 Email: susanto@dcs.gla.ac.uk
University of Cambridge
University of Cambridge Computer Laboratory New Museums Site Pembroke Street Cambridge CB2 3QG United Kingdom Tel: +44 1223 334600 Fax: +44 1223 334678	Mike Gordon Tel: +44 1223 334627 Email: Mike.Gordon@cl.cam.ac.uk
	Michael Norrish Tel: +44 1223 334688 Email: Michael.Norrish@cl.cam.ac.uk
	Konrad Slind Tel: +44 1223 334729 Email: Konrad.Slind@cl.cam.ac.uk
University of Edinburgh
University of Edinburgh Language Technology Group Division of Informatics 2 Buccleuch Place Edinburgh EH8 9LW United Kingdom Tel: +44 131 650 4445 Fax: +44 131 650 4587	Ewan Klein Tel: +44 131 650 4426 Email: ewan@cogsci.ed.ac.uk
	Marc Moens Tel: +44 131 650 4427 Email: marc@cogsci.ed.ac.uk
	Claire Grover Tel: +44 131 650 4441 Email: grover@cogsci.ed.ac.uk
	Alexander Holt Tel: +44 131 650 4452 Email: lex@cogsci.ed.ac.uk
Mathematical Reasoning Group Division of Informatics University of Edinburgh 80 South Bridge Edinburgh EH1 1HN United Kingdom Tel: +44 131 650 2708 Fax: +44 131 650 6516	Alan Bundy Tel: +44 131 650 2716 Email: bundy@dai.ed.ac.uk
	Louise Dennis Tel: +44 131 650 2721 Email: louised@dai.ed.ac.uk
Universität Tübingen
Universität Tübingen Institut für Technische Informatik Sand 13 D-72076 Tübingen Germany	Thomas Kropf Email: kropf@informatik.uni-tuebingen.de
	Dirk W. Hoffmann Email: hoff@informatik.uni-tuebingen.de Tel: (+49) 7071 29 74706
	Wolfgang Rosenstiel Email: rosen@informatik.uni-tuebingen.de Tel: +49 70712975482 or +49 7219654401
Prover Technology AB
Prover Technology AB Alströmergatan 22, SE-112 47 Stockholm Sweden Tel: +46 8 617 68 00 Fax: +46 8 653 69 00	Lars Lundgren Email: lars@prover.com
	Arne Borälv Email: arne@prover.com
	Gunnar Stålmarck Email: gunnar@prover.com
	Fang Huang Email: jing@prover.com
	Mary Sheeran Email: mary@prover.com
IFAD
IFAD Forskerparken 10 DK-5230 Odense M Denmark Tel: +45 63 15 71 31 Fax: +45 65 93 29 99	Kim Sunesen Email: sunesen@ifad.dk