IFIP Working Group 2.2
Formal Description of Programming Concepts
Members
| Member name | Nationality | |
|---|---|---|
| Chair | Antonín Kučera | Czech Republic |
| Vice chair | Barbara König | Germany |
| Secretary | Markus Müller-Olm | Germany |
| Parosh Abdulla | Sweden | |
| Gilles Barthe | Germany & Spain | |
| Frank de Boer | The Netherlands | |
| Ahmed Bouajjani | France | |
| Einar Broch Johnsen | Norway | |
| Luis Caires | Portugal | |
| Ugo Dal Lago | Italy | |
| Rocco De Nicola | Italy | |
| Mariangiola Dezani-Ciancaglini | Italy | |
| Javier Esparza | Germany | |
| Marcelo Frias | Argentina | |
| Rob van Glabbeek | Australia & United Kingdom | |
| Radu Grosu | Austria | |
| Joost-Pieter Katoen | Germany | |
| Delia Kesner | France | |
| Naoki Kobayashi | Japan | |
| Stephan Merz | France | |
| Roland Meyer | Germany | |
| Ugo Montanari | Italy | |
| Andrzej Murawski | United Kingdom | |
| Uwe Nestmann | Germany | |
| Ernst-Ruediger Olderog | Germany | |
| Luke Ong | United Kingdom | |
| Wojciech Penczek | Poland | |
| K.V.S. Prasad | Sweden | |
| Jean-Francois Raskin | Belgium | |
| Jan Rutten | The Netherlands | |
| Davide Sangiorgi | Italy | |
| Masahiko Sato | Japan | |
| Pawel Sobocinski | Estonia | |
| Andrzej Tarlecki | Poland | |
| Igor Walukiewicz | France |
Table: Members of WG 2.2