D2: Programming Logics Group
A
|
B
|
C
|
D
|
E
|
F
G
|
H
|
I
|
J
|
K
|
L
|
M
N
|
O
|
P
|
Q
|
R
|
S
|
T
U
|
V
|
W
|
X
|
Y
|
Z
max planck institut
informatik
Workshop of Programming Logics in Memory of Harald Ganzinger
Pictures from WLPHG05 in memory of Harald Ganzinger (1950-2004)
Pictures from
the Workshop on Programming Logics
in memory of
Harald Ganzinger
(1950-2004)
Pictures of Harald
Talks
Breaks
Inauguration of the Harald Ganzinger Lecture Hall
Dinner
Day 2
You can use this
ISO image
(18 MB) to burn a CD with the contents of this Web site.
