20th International Workshop on Algebraic Development Techniques WADT 2010

Program Committee

• Michel Bidoit
• Mihai Codescu
• Andrea Corradini
• José Luiz Fiadeiro
• Fabio Gadducci
• Reiko Heckel
• Rolf Hennicker
• Hans-Jörg Kreowski
• Narciso Marti-Oliet
• Till Mossakowski (chair)
• Fernando Orejas
• Francesco Parisi-Presicce
• Markus Roggenbach
• Grigore Rosu
• Donald Sannella
• Lutz Schröder
• Andrzej Tarlecki