doc-src/TutorialI/free-copies
author huffman
Thu Apr 19 10:49:47 2012 +0200 (2012-04-19)
changeset 47579 28f6f4ad69bf
parent 13238 a6cb18a25cbb
permissions -rw-r--r--
tuned lemmas (v)image_id;
removed duplicate of vimage_id
nipkow@13081
     1
* means: has received copy.
nipkow@13081
     2
nipkow@13081
     3
David Aspinall*
nipkow@13082
     4
Clemens Ballarin*
nipkow@13082
     5
Gertrud Bauer*
nipkow@13083
     6
Stefan Berghofer*
nipkow@13086
     7
Gerwin Klein*
nipkow@13086
     8
David von Oheimb*
nipkow@13082
     9
Farhad Mehta*
nipkow@13238
    10
Stephan Merz*
nipkow@13082
    11
Leonor Prensa Nieto*
nipkow@12947
    12
Cornelia Pusch
nipkow@13083
    13
Bernhard Rumpe	(wants a signed copy!)*
nipkow@13082
    14
Norbert Schirmer*
nipkow@13083
    15
Martin Strecker*
nipkow@13109
    16
Ralf Steinbrueggen*
nipkow@12948
    17
nipkow@12950
    18
Essential colleagues:
nipkow@12950
    19
nipkow@13081
    20
Prof. Harald Ganzinger*
nipkow@13081
    21
Max-Planck-Institut für Informatik
nipkow@13081
    22
Im Stadtwald
nipkow@13081
    23
66123 Saarbrücken
paulson@12994
    24
nipkow@13081
    25
Prof. Bob Boyer*
paulson@12994
    26
Department of Computer Sciences
paulson@12994
    27
University of Texas at Austin
paulson@12994
    28
Austin, TX 78712-1188 U.S.A.
paulson@12994
    29
nipkow@13081
    30
Prof. J Moore*
paulson@12994
    31
Department of Computer Sciences
paulson@12994
    32
University of Texas at Austin
nipkow@13081
    33
Austin, TX 78712-1188
nipkow@13081
    34
U.S.A.
paulson@12994
    35
nipkow@13081
    36
Prof. Frank Pfenning*
paulson@12994
    37
Department of Computer Science
paulson@12994
    38
Carnegie Mellon University
nipkow@13081
    39
Pittsburgh, PA 15213-3891
nipkow@13081
    40
U.S.A.
paulson@12994
    41
nipkow@13081
    42
Dr. Shankar*
nipkow@13081
    43
SRI International
nipkow@13081
    44
333 Ravenswood Avenue,
nipkow@13081
    45
Menlo Park, CA, 94025-3493
nipkow@13081
    46
U.S.A.
paulson@12994
    47
nipkow@13081
    48
Prof. Andrei Voronkov*
paulson@13060
    49
Department of Computer Science
nipkow@13081
    50
The University of Manchester
paulson@13060
    51
Oxford Road
paulson@13060
    52
Manchester M13 9PL
nipkow@13081
    53
England
paulson@12994
    54
paulson@13060
    55
Cambridge people:
paulson@13060
    56
Tony Hoare
paulson@13127
    57
Mike Gordon*
paulson@13060
    58
Sidi Ehmety
paulson@13127
    59
Frederic Blanqui*
paulson@13060
    60
James Margetson
paulson@13127
    61
Robin Milner*
paulson@13060
    62
paulson@13210
    63
Sara Kalvala
paulson@13210
    64
nipkow@13055
    65
paulson@12994
    66
(for contributing comments)
paulson@12994
    67
nipkow@13081
    68
dr. Stefano Bistarelli*
paulson@12994
    69
Istituto per le Applicazioni Telematiche
paulson@12994
    70
C.N.R. Pisa
paulson@12994
    71
Area della Ricerca, Via G. Moruzzi, 1
nipkow@13081
    72
56124 Pisa
nipkow@13081
    73
Italien
paulson@12994
    74
nipkow@13081
    75
Gergely Buday*
nipkow@13081
    76
Karl-Ferlemann Str. 16.
nipkow@13081
    77
04177 Leipzig
nipkow@13081
    78
paulson@12994
    79
nipkow@13086
    80
Tanja Vos*
nipkow@13086
    81
C/ Ing. Joaquin Benlloch 85-Esc A-25
paulson@12994
    82
46026 Valencia
paulson@12994
    83
Spain
nipkow@12950
    84
nipkow@12950
    85
Further colleagues:
nipkow@12950
    86
nipkow@13081
    87
Manfred Broy*
nipkow@13081
    88
nipkow@13081
    89
Ursula Martin*
nipkow@13081
    90
School of Computer Science 
nipkow@13081
    91
University of St Andrews 
nipkow@13081
    92
St Andrews KY16 6SS 
nipkow@13081
    93
Scotland 
nipkow@13081
    94
UK