WADT 2012

WADT 2012 Committees

Steering Committee

• Michel Bidoit (France)
• Andrea Corradini (Italy)
• Jose Fiadeiro (UK)
• Rolf Hennicker (Germany)
• Hans-Jörg Kreowski (Germany)
• Till Mossakowski (Germany) - chair
• Fernando Orejas (Spain)
• Francesco Parisi-Presicce (Italy)
• Grigore Roșu (United States)
• Andrzej Tarlecki (Poland)

Local organizers

• Narciso Martí-Oliet (UCM, Spain) - co-chair
• Miguel Palomino Tarjuelo (UCM, Spain) - co-chair
• Gustavo Santos (Univ. Salamanca, Spain)
• Isabel Pita (UCM, Spain)
• Fernando Rosa (UCM, Spain)
• Adrián Riesco (UCM, Spain)

Program Committee

It is composed of the members of the Steering Committee plus:

• Fabio Gadducci
• Narciso Marti-Oliet [chair]
• Tom Maibaum
• Miguel Palomino
• Markus Roggenbach
• Martin Wirsing