IFIP Working Group 2.2
Formal Description of Programming Concepts

Members

Member nameNationality
ChairAntonín Kučera Czech Republic
Vice chairBarbara König Germany
SecretaryMarkus Müller-Olm Germany
Parosh Abdulla Sweden
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
Javier Esparza Germany
Marcelo Frias Argentina
Rob van Glabbeek Australia
Radu Grosu Austria
Joost-Pieter Katoen Germany
Naoki Kobayashi Japan
Maciej Koutny United Kingdom
Stephan Merz France
Roland Meyer Germany
Ugo Montanari Italy
Peter D. Mosses United Kingdom
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 United Kingdom
Andrzej Tarlecki Poland
Igor Walukiewicz France

Table: Members of WG 2.2