RelMiCS 1 - Participants
- Michael Böttner
- Max Planck Institute for Psycholinguistics, The Netherlands
- Roland Carl Backhouse
- School of Computer Science and Information Technology, The University of Nottingham, UK
- Gabriel A. Baum
- LIFIA, Dept. Informatica, Facultad de Ciencias Exactas, Universidad Nacional de La Plata, Argentina
- Rudolf Berghammer
- Christian-Albrecht-Universität zu Kiel, Institut für Informatik und Praktische Mathematik, Germany
- Chris Brink
- University of Wollongong, Australia
- Jules Desharnais
- Département d'informatique, Université Laval, Canada
- Thomas F. Gritzner
- Germany
- Armando M. Haeberer
- Laboratório de Métodos Formais, Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, Brazil
- Robin Hirsch
- University College, Department of Computer Science, UK
- Paul Hoogendijk
- Vakgroep Informatica, Technische Universiteit Eindhoven, The Netherlands
- Ali Jaoua
- King Fahd University of Petroleum and Minerals, Information and Computer Science Department, Saudi Arabia
- Wolfram Kahl
- Institut für Softwaretechnologie, Universität der Bundeswehr München, Germany
- Bernhard Möller
- Universität Augsburg, Institut für Informatik, Germany
- Roger Maddux
- Department of Mathematics, Iowa State University, USA
- Maarten Marx
- Imperial College, Department of Computing, UK
- Szabolcs Mikulás
- Department of Computer Science, King's College London, UK
- Than Tung Nguyen
- IMACS, Belgium
- Hans Jürgen Ohlbach
- Department of Computing, Imperial College of Science, Technology and Medicine, UK
- Ewa Orlowska
- Institute of Telecommunications, Poland
- Vaughan Pratt
- Stanford University, Department of Computer Science, USA
- Ingrid M. Rewitzky
- Department of Mathematics and Applied Mathematics, University of Cape Town, South Africa
- Martin Russling
- Universität Augsburg, Institut für Mathematik, Germany
- Ildiko Sain
- Hungarian Academy of Sciences, Mathematical Institute, Hungary
- Claudia Schindler
- Institut für Softwaretechnologie, Universität der Bundeswehr München, Germany
- Bernd-Holger Schlingloff
- Bremen Institut für Sichere Systeme, Technologiezentrum Informatik, Universität Bremen, Germany
- Gunther Schmidt
- Institut für Softwaretechnologie, Universität der Bundeswehr München, Germany
- Renate Schmidt
- Centre for Agent Research and Development, Department of Computing and Mathematics , Manchester Metropolitan University, UK
- Andras Simon
- Hungarian Academy of Sciences, Mathematical Institute, Hungary
- John Staples
- University of Queensland, Software Verification Research Centre, Australia
- Gheorghe Stefanescu
- Faculty of Mathematics, University of Bucharest, Romania
- Thomas Ströhlein
- Fakultät für Informatik, Technische Universität München, Germany
- Yde Venema
- Institute for Logic, Language and Computation, Department of WINS, University of Amsterdam, The Netherlands
- Michael Winter
- Institut für Mathematik, Fakultät für Informatik, Universität der Bundeswehr München, Germany
- Maarten de Rijke
- CWI, The Netherlands
- Willem-Paul de Roever
- Christian-Albrecht-Universität Kiel, Institut für Informatik und Praktische Mathematik, Germany
- Jaap van der Woude
- TU Eindhoven, Fac. Wiskunde en Informatica, The Netherlands