AVOCS'10 Contact

Michael Leuschel
Heinrich-Heine-Universität Düsseldorf
Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf

Telefon: 0211-81-10711
Telefax: 0211-81-10712

AVOCS'10 PC-Chairs

  • Jens Bendisposto,
  • Michael Leuschel,
  • Markus Roggenbach

AVOCS'10 Programme Committee

  • Jens Bendisposto, D�sseldorf, Germany
  • Jan Friso Groote, T/U Eindhoven, The Netherlands
  • Thai Son Hoang, ETH Z�rich, Switzerland
  • Daniel Kroening Oxford/ETH
  • Michael Leuschel, D�sseldorf, Germany
  • Gerald Luettgen, Bamberg, United Kingdom
  • Stephan Merz, INRIA, Nancy, France
  • Alice Miller, Glasgow, United Kingdom
  • Silvio Ranise, Verona, Italy
  • Markus Roggenbach, Swansea, United Kingdom
  • Aryldo G. Russo Jr., AeS Group
  • Thomas Santen, European Microsoft Innovation Center, Germany
  • Helen Treharne, Surrey, United Kingdom
  • Sergio Yovine, CONICET - Universidad de Buenos Aires,Argentina