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 |