Isabelle Users Workshop: List of Participants

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


Lawrence C. PaulsonComputer LaboratoryUniversity of Cambridge