IFIP Working Group 2.2
Formal Description of Programming Concepts
Members
| Member name | Nationality | |
|---|---|---|
| Chairman | Igor Walukiewicz | France |
| Vice chairman | Javier Esparza | Germany |
| Secretary | Philippe Darondeau | France |
| Michel Bidoit | France | |
| Frank de Boer | The Netherlands | |
| Ahmed Bouajjani | France | |
| Einar Broch Johnsen | Norway | |
| Luis Caires | Portugal | |
| Rocco De Nicola | Italy | |
| Mariangiola Dezani-Ciancaglini | Italy | |
| Marcelo Frias | Argentina | |
| Radu Grosu | USA | |
| Masami Hagiya | Japan | |
| Matthew Hennessy | Ireland | |
| Furio Honsell | Italy | |
| Joost-Pieter Katoen | Germany | |
| Naoki Kobayashi | Japan | |
| Maciej Koutny | United Kingdom | |
| Barbara Konig | Germany | |
| Antonin Kucera | Czech Republic | |
| Stephan Merz | France | |
| Ugo Montanari | Italy | |
| Peter D. Mosses | United Kingdom | |
| Markus Mueller-Olm | Germany | |
| Uwe Nestmann | Germany | |
| Ernst-Ruediger Olderog | Germany | |
| Luke Ong | United Kingdom | |
| Catuscia Palamidessi | France | |
| Wojciech Penczek | Poland | |
| K.V.S. Prasad | Sweden | |
| Anders Ravn | Denmark | |
| Willem-Paul de Roever | Germany | |
| Jan Rutten | The Netherlands | |
| Davide Sangiorgi | Italy | |
| Masahiko Sato | Japan | |
| Andrzej Tarlecki | Poland |
Table: Members of WG 2.2