RelMiCS 7 - Participants

László Aszalós
Institut de recherche en informatique de Toulouse, Université Paul Sabatier, Toulouse III, France

Roland Backhouse
School of Computer Science and Information Technology, The University of Nottingham, UK

Bernard De Baets
Department of Applied Mathematics, Biometrics and Process Control, Ghent University, Belgium

Adam Bakewell
Department of Computer Science, University of York,UK

Philippe Balbiani
Institut de recherche en informatique de Toulouse, Université Paul Sabatier, Toulouse III, France

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

Hans Bherer
Département d'Informatique, Université Laval, Québec, Canada

Eerke Boiten
Computing Laboratory, University of Kent, UK

Ernie Cohen
Microsoft, Redmont, USA

Jules Desharnais
Département d'informatique et de génie logiciel, Université Laval, Québec, Canada

Ernst-Erich Doberkat
Lehrstuhl Software-Technologie, Universität Dortmund, Germany

Thorsten Ehm
Institut für Informatik, Universität Augsburg, Germany

Patrik Eklund
Department of Computing Science, Umeå University, Sweden

Miklos Ferenczi
Department of Mathematics, TUB, Budapest, Hungary

Marcelo F. Frias
Department of Computer Science, University of Buenos Aires, Argentina

Alexander Fronk
Lehrstuhl Software-Technologie, Universität Dortmund, Germany

Hitoshi Furusawa
National Institute of Advanced Industrial Science and Technology, Amagasaki, Japan

Günther Gediga
Institute for Evaluation & Market Analysis, Bissendorf, Germany

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

Petr Hájek
Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic

Peter Jipsen
Department of Mathematics, Computer Science and Physics, Chapman University, Orange, USA

Wolfram Kahl
Department of Computing and Software, McMaster University, Canada

Ridha Khedri
Department of Computing and Software, McMaster University, Canada

Felix Kossak
Software Competence Center Hagenberg, Austria

Dexter Kozen
Computer Science Department, Cornell University, Ithaca, USA

Carlos Gustavo Lopez Pombo
Department of Computer Science, University of Buenos Aires, Argentina

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

Darko Marinov
MIT Lab for Computer Science, Cambridge, USA

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

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

Thomas Mormann
University of the Basque Country UPV/EHU, Donostia-San Sebasti´n, Spain

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

Eric Offermann
Institute for Software Technology, University of the Federal Armed Forces Munich, Germany

Ewa Orlowska
National Institute of Telecommunications, Warszawa, Poland

Detlef Plump
Department of Computer Science. University of York, UK

Alberto Policriti
Dipartimento di Matematica e Informatica, Università di Udine, Italy

Ulrike Pollakowski-Geuther
Institut für Informatik und Praktische Mathematik, Christian-Albrecht-Universität zu Kiel, Germany

Willem-Paul de Roever
Institut für Informatik und Praktische Mathematik, Christian-Albrecht-Universität zu Kiel, Germany

Marc Roubens
Institute of Mathematics, University of Liège, Belgium

Agnieszka Rusinowska
Department of Philosophy, Tilburg University, The Netherlands & Institute of Econometrics, Warsaw School of Economics, Poland

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

Renate A. Schmidt
Department of Computer Science, University of Manchester, UK

Giuseppe Scollo
Department of Mathematics and Computer Science, University of Catania, Italy

Kim Solin
Department of Computer Science, Åbo Akademi University, Finland

Georg Struth
Institut für Informatik, Universität Augsburg, Germany

Harrie de Swart
Section Logic and Analysis of Language, Tilburg University, The Netherlands

Esko Turunen
Department of Mathematics, Tampere University of Technology, Finland

Michael Winter
Institute for Theoretical Computer Science and Mathematics, University of the Federal Armed Forces Munich, Neubiberg, Germany