9th International Conference on

Reliable Software Technologies Ada-Europe 2004

Palma de Mallorca, 14-18 June 2004

Organizing Committee

Conference Chair

Albert Llamosí
Dept. of Mathematics and Computer Science
University of the Balearic Islands (UIB)
E-07122 Palma, Spain
llamosi@uib.es

Program Co-Chairs

Albert Llamosí
Dept. of Mathematics and Computer Science
University of the Balearic Islands (UIB)
E-07122 Palma, Spain
llamosi@uib.es

Alfred Strohmeier
Software Engineering Lab
Swiss Federal Institute of Technology in Lausanne (EPFL)
CH-1015 Lausanne EPFL, Switzerland
Alfred.Strohmeier/AT/epfl.ch

Tutorial Chair

Javier Miranda
Applied Microelectronics Research Institute
University of Las Palmas de Gran Canaria
E-35003 Las Palmas, Spain
jmiranda@iuma.ulpgc.es

Exhibition Chair

Peter Dencker
Aonix GmbH
D-76137 Karlsruhe, Deutschland
dencker@aonix.de

Publicity Chair

Dirk Craeynest
Aubay Belgium & K.U. Leuven
B-1180 Brussels, Belgium
Dirk.Craeynest@cs.kuleuven.ac.be

Local Organization Chair

Gabriel Fontanet
Dept. of Mathematics and Computer Science
University of the Balearic Islands (UIB)
E-07122 Palma, Spain
gfontanet@uib.es

Miquel Mascaró
Dept. of Mathematics and Computer Science
University of the Balearic Islands (UIB)
E-07122 Palma, Spain
mascport@uib.es

Ada-Europe Conference Liaison

Laurent Pautet
ENST Paris
F-75013 Paris, France
pautet@enst.fr

 

Program Committee

Alejandro Alonso, ETSI Telecomunicacion, Spain
Ángel Álvarez, Technical University of Madrid, Spain
Lars Asplund, Mälardalens högskola, Sweden
Neil Audsley, University of York, UK
Janet Barnes, Praxis Critical Systems Limited, UK
Pierre Bazex, IRIT, France
Guillem Bernat, University of York, UK
Johann Blieberger, Technical University Vienna, Austria
Maarten Boasson, University of Amsterdam, The Netherlands
Ben Brosgol, ACT, USA
Bernd Burgstaller, TU Vienna, Austria
Ulf Cederling, Vaxjo University, Sweden
Roderick Chapman, Praxis Critical Systems Limited, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Alfons Crespo, Universidad Politécnica de Valencia, Spain
Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
Peter Dencker, Aonix GmbH, Germany
Raymond Devillers, Universite Libre de Bruxelles, Belgium
Gabriel Fontanet, Universitat de les Illes Balears, Spain
Ana García, Universidad Politécnica de Valencia, Spain
Wolfgang Gellerich, IBM, Germany
Michael González-Harbour, Universidad de Cantabria, Spain
Jesús M. González-Barahona, Universidad Rey Juan Carlos, Spain
Thomas Gruber, Austrian Research Centers Seibersdorf, Austria
Helge Hagenauer, University Salzburg, Austria
Andrew Hately, Eurocontrol, Belgium
Günter Hommel, TU Berlin, Germany
Wolfgang Kastner, TU Vienna, Austria
Stefan Kauer, EADS, Friedrichshafen, Germany
Hubert B. Keller, Institut für Angewandte Informatik, Germany
Yvon Kermarrec, ENST Bretagne, France
Jörg Kienzle, School of Computer Science, McGill University, Montreal, Canada
Fabrice Kordon, UPMC, France
Michel Lemoine, ONERA, France
Pascal Leroy, Rational Software, France
Kristina Lundqvist, Massachusetts Institute of Technology, USA
Franco Mazzanti, Istituto di Elaborazione della Informazione, Italy
Silvia Mazzini, Intecs HRT, Italy
John W. McCormick, University of Northern Iowa, USA
Thierry Millan, IRIT, France
Pierre Morere, Aonix, France
Pascal Obry, EdF, France
Laurent Pautet, ENST Paris, France
Erhard Plödereder, University Stuttgart, Germany
Werner Pohlmann, University Salzburg, Austria
Gerhard Rabe, TÜV Nord e.V., Germany
Ceri Reid, CODA Technologies, UK
Jean-Marie Rigaud, Université Paul Sabatier, France
Alexander Romanovsky, University of Newcastle, UK
Jean-Pierre Rosen, Adalog, France
M.-Ribera Sancho, Universitat Politècnica de Catalunya, Spain
Bo I. Sandén, Colorado Technical University, USA
Bernhard Scholz, TU Vienna, Austria
Edmond Schonberg, New York University & ACT, USA
Gerald Sonneck, ARC Seibersdorf research, Austria
Tullio Vardanega, University of Padova, Italy
Andy Wellings, University of York, UK
Jürgen Winkler, Friedrich-Schiller-Universität, Germany
Thomas Wolf, Paranor AG, Switzerland

---

The organizers thank the supporters of the conference

Springer Verlag will publish the proceedings of the conference, as vol. 3063 of Lecture Notes in Computer Science.

Conference Home Page