Andrew A Adams
Division of Computer Science
University of St Andrews
45 Fife Park, St Andrews
Fife KY16 9UE, UK
aaa@dcs.st-and.ac.uk
Sten Agerholm
BRICS, Department of Computer
Science, University of Aarhus
Ny Munkegade, DK-8000
Aarhus C, Denmark
sas@daimi.aau.dk
David Aspinall
Department of Computer Science
University of Edinburgh
King's Buildings
Edinburgh EH9 3JZ
David.Aspinall@dcs.ed.ac.uk
Abdelwaheb Ayari
MPI für Informatik
Im Stadtwald
66123 Saarbrücken
Germany
abdu@mpi-sb.mpg.de
Marek Bednarczyk
Institute of Computer Science,
Polish Academy of Sciences
Gdansk Div. of PAS, Abrahama
18, 81-825 Sopot, Poland
marek@IPIPAN.Gda.PL
Marco Benini
Departement of Computer Science
University of Milan
Computational Architectures Laboratory
Milan, Italy
marco@mirtillo.usr.dsi.unimi.it
Tomasz Borzyszkowski
Institute of Mathematics
University of Gdansk
Div. of Math.
ul. Wita Stwosza 57,
Gdansk-Oliwa, Poland
tomek@ipipan.gda.pl
Richard Boulton
Computer Laboratory
University of Cambridge
Cambridge CB2 3QG, England
rjb@cl.cam.ac.uk
Roy Dyckhoff
Division of Computer Science
University of St Andrews
45 Fife Park, St Andrews
Fife KY16 9UE, UK
rd@dcs.st-and.ac.uk
Stefan Friedrich
MPI für Informatik
Im Stadtwald
66123 Saarbrücken
Germany
fried@mpi-sb.mpg.de
Krzysztof Gr?bczewski
Nicholas Copernicus University
Torun, Poland
kgrabcze@phys.uni.torun.pl
Dirk Van Heule
Dept of Mathematics - MMWW
Royal Military Academy
Renaissancelaan 30
B 1040 Brussel
Belgium
dvheule@mmww.rma.ac.be
Dr Steve Hill
Computing Laboratory
University of Kent at Canterbury
Canterbury
Kent CT2 7NF
S.A.Hill@ukc.ac.uk
Dr Sara Kalvala
Department of Computer Science
University of Warwick
Coventry CV4 7AL, UK
Sara.Kalvala@dcs.warwick.ac.uk
Florian Kammüller
Technical University of Berlin
Potsdamerstr 63 App 414
10785 Berlin, Germany
zopotrum@cs.tu-berlin.de
Seán Matthews
MPI für Informatik
Im Stadtwald
66123 Saarbrücken
Germany
sean@mpi-sb.mpg.de
Dominique Méry
CRIN-CNRS & INRIA Lorraine
Universite Henri Poincare - Nancy 1
BP 239 - 54506 Vandoeuvre-Les-Nancy, France
Dominique.Mery@loria.fr
Tobias Nipkow
TU Munchen
Institut fur Informatik
80290 Munchen
Germany
Tobias.Nipkow@Informatik.TU-Muenchen.De
Christopher Owens
Department of Computer Science
The University of Edinburgh
James Clerk Maxwell Building
The King's Buildings
Mayfield Road
Edinburgh EH9 3JZ
cao@dcs.ed.ac.uk
Valeria de Paiva
Computer Laboratory
University of Cambridge
Cambridge CB2 3QG, England
vcvp@cl.cam.ac.uk
Larry Paulson
Computer Laboratory
University of Cambridge
Cambridge CB2 3QG, England
lcp@cl.cam.ac.uk
Ole Rasmussen
Dept of Computer Science
Design Group
DTU Building 344
DK 2800 Lyngby
osr@id.dtu.dk
Mark Staples
Computer Laboratory
University of Cambridge
Cambridge CB2 3QG, England
ms204@cl.cam.ac.uk
Dr Simon Thompson
University of Kent
Computing Laboratory
Canterbury
CT2 7NF
S.J.Thompson@ukc.ac.uk
Luca Viganò
MPI für Informatik
Im Stadtwald
66123 Saarbrücken
Germany
luca@mpi-sb.mpg.de
Norbert Völker
Lehrgebiet
Datenverarbeitungstechnik
FernUniversitaet Hagen
D 58084 Hagen, Germany
norbert.voelker@fernuni-hagen.de
Burkhart Wolff
University of Bremen
FB 3
PO Box 330440
28334 Bremen, Germany
bu@informatik.uni-bremen.de
Ann Wrightson
Senior Lecturer
School of Computing and Mathematics
University of Huddersfield
Queensgate, Huddersfield HD1 3DH, UK
scomaw@zeus.hud.ac.uk
Back to the Isabelle Workshop page
Last modified Monday, 3 September, 2007