IFIP Working Group 2.2
Formal Description of Programming Concepts

Members

Member nameNationality
Chairman Igor Walukiewicz France
Vice chairman Javier Esparza Germany
SecretaryMarkus Müller-Olm Germany
Gilles Barthe Spain
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 Austria
Matthew Hennessy Ireland
Joost-Pieter Katoen Germany
Naoki Kobayashi Japan
Maciej Koutny United Kingdom
Barbara König Germany
Antonin Kučera Czech Republic
Stephan Merz France
Ugo Montanari Italy
Peter D. Mosses United Kingdom
Uwe Nestmann Germany
Ernst-Ruediger Olderog Germany
Wojciech Penczek Poland
K.V.S. Prasad Sweden
Jan Rutten The Netherlands
Davide Sangiorgi Italy
Masahiko Sato Japan
Pawel Sobocinski United Kingdom
Andrzej Tarlecki Poland

Table: Members of WG 2.2