RelMiCS 2 - 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
- Chris Brink
- University of Wollongong, Australia
- Jules Desharnais
- Département d'informatique, Université Laval, Canada
- Juan Duran
- Laboratório de Métodos Formais, Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, Brazil
- Marcelo F. Frias
- LIFIA, Departamento de Informatica, Facultad de Ciencias Exactas, Universidad Nacional de La Plata, Argentina
- Isabel Garcia
- Laboratório de Métodos Formais, Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, Brazil
- Steven Givant
- Mills College, USA
- Valentina Grinspan
- Dept. de Matematica, Universidad Nacional de Rio Cuarto, Argentina
- 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
- 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
- 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
- Roger Maddux
- Department of Mathematics, Iowa State University, USA
- Mauricio Marlangeon
- Dept. de Matematica, Universidad Nacional de Rio Cuarto, Argentina
- Pablo E. Martinez Lopez
- Dept. Informatica, Universidad Nacional de La Plata, Argentina
- Szabolcs Mikulás
- Department of Computer Science, King's College London, UK
- Ali Mili
- The Institute for Software Research, Dept of Computer Science and Electrical Engineering, West Virginia University, USA
- Hans Jürgen Ohlbach
- Department of Computing, Imperial College of Science, Technology and Medicine, UK
- Ewa Orlowska
- Institute of Telecommunications, Poland
- Jacques Riguet
- Rene Descartes University, France
- 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
- Gheorghe Stefanescu
- Faculty of Mathematics, University of Bucharest, Romania
- Thomas Ströhlein
- Fakultät für Informatik, Technische Universität München, Germany
- Cristina Ururahy
- Laboratório de Métodos Formais, Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, Brazil
- Michael Winter
- Institut für Mathematik, Fakultät für Informatik, Universität der Bundeswehr München, Germany
- Oege de Moor
- Programming Research Group, Oxford University, Computing Laboratory, UK
- Burghard von Karger
- Institut für Informatik und Praktische Mathematik, Christian Albrechts-Universität Kiel, Germany