 |
 |
 |
 |
|
|
|
|
 |
 |
 |
 |
| some of the helping hands behind the scenes |
Frau und Herr Langmaack, Leslie Lamport, Willem-Paul de Roever, Christoph Blaue |
Manfred Broy, Leslie Lamport |
Leslie Lamport |
|
 |
 |
 |
 |
|
|
|
|
 |
 |
 |
 |
| Leslie Lamport, Christoph Blaue, Ernst-Rüdiger Olderog |
Ernst-Rüdiger Olderog with the TLA-book, Christoph Blaue, Leslie Lamport |
Manfred Broy, with a critical eye on his notebook |
thumbs up for the speaker |
|
 |
 |
 |
 |
|
|
|
|
 |
 |
 |
 |
| Willem-Paul is delivering the laudatio (+ anecdotes) |
TLA vs. UML |
nobody needs to starve |
at the lunch buffet |
|
 |
 |
 |
 |
|
|
|
|
 |
 |
 |
 |
| Ernst-Rüdiger Olderog paying tribute to Leslie (and LaTeX) |
Thanks for the organisation (Reinhard von Hanxleden, Gerti Rosenfeld) |
Wolfgang Reisig |
``Sommerfest'' does not mean sunshine |
|
 |
 |
 |
 |
|
 |
 |
 |
 |
 |
 |
 |
| Jazz band |
 |  |  |
|