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