RelMiCS 5 - Participants

Sadok Ben Yahia
Computer Sciences Department, Sciences Faculty of Tunis, Tunisia

Rudolf Berghammer
Christian-Albrecht-Universität zu Kiel, Institut für Informatik und Praktische Mathematik, Germany

Denis Davesne
Département d`informatique, Université Laval, Canada

Jules Desharnais
Département d'informatique, Université Laval, Canada

Marc Frappier
Département de mathématiques et d'informatique, Université de Sherbrooke, Canada

Marcelo F. Frias
LIFIA, Departamento de Informatica, Facultad de Ciencias Exactas, Universidad Nacional de La Plata, Argentina

Hitoshi Furusawa
Semantics group, ETL Osaka LERC, Japan

Carlos José Gonzalía
Department of Computing Science, Chalmers University of Technology and University of Göteborg, Sweden

Lew Gordeew
Universität Tübingen, Wilhelm-Schickard-Institut, Logik und Sprachtheorie, Germany

Ammari Habib
Department of Computer Science, West Virginia University, USA

Thorsten Hoffmann
Christian-Albrecht-Universität Kiel, Institut für Informatik und Praktische Mathematik, Germany

Robert E. Jamison
Clemson University, Department of Mathematics Sciences, USA

Ryszard Janicki
McMaster University, Canada

Peter Jipsen
Deparment of Mathematics and Computer Science, University of Capetown, South Africa

Wolfram Kahl
Institut für Softwaretechnologie, Universität der Bundeswehr München, Germany

Yasuo Kawahara
Research Institute of Fundamental Information Science, Kyushu University, Japan

Dexter Kozen
Computer Science Department, Cornell University, USA

Bernhard Möller
Universität Augsburg, Institut für Informatik, Germany

Wendy MacCaull
Department of Mathematics, Statistics and Computer Science, St. Francis Xavier University, Canada

Ali Mili
The Institute for Software Research, Dept of Computer Science and Electrical Engineering, West Virginia University, USA

Yoshihiro Mizoguchi
Department of Control, Engineering and Science, Kyushu Institute of Technology, Japan

Ewa Orlowska
Institute of Telecommunications, Poland

John L. Pfaltz
Department of Computer Science, University of Virginia, USA

Jacques Riguet
Rene Descartes University, France

Gunther Schmidt
Institut für Softwaretechnologie, Universität der Bundeswehr München, Germany

Nadia Tawbi
Département d`Informatique, Université Laval, Canada

Gabriel Valiente
Technical University of Catalonia, Department of Software, Spain

Michael Winter
Institut für Mathematik, Fakultät für Informatik, Universität der Bundeswehr München, Germany