Cooperating partners
-
Verification and Testing Research Group, University
of Sheffield, UK
-
Institute of
Informatics, Justus Liebig University of Giessen, Germany
-
Department of Artificial Intelligence, School of Computer
Science, Polytechnic University of Madrid, Spain
-
School of Mathematical and Computer Sciences, Heriot-Watt
University, Edinburgh, UK
-
Department of Information Systems,
Faculty of Information Technology, Brno University of Technology,
Czech Republic
-
LACL, Department of Informatics,
University Paris 12, France
-
Research Group on Natural Computing,
University of Sevilla, Spain
-
Laboratory of Theoretical and Applied Informatics ,
Paul Verlaine University of Metz, France
-
Department of Computer Science,
University of Verona, Italy
-
Institute of
Informatics, University of Potsdam, Germany
-
Department of Computer Science, University of Milano-Bicocca, Italy
-
Department of Computer Science, University of Western Ontario, London, Canada
-
Turku Centre
for Computer Science, Turku, Finland
-
Leiden Institute
of Advanced Computer Science, Leiden University, The Netherlands
-
Institute of Computer Science,
Silesian University, Opava, Czech Republic
-
Research Group Theoretical Computer Science,
Otto-von-Guericke University, Magdeburg, Germany
-
Research Group in
Mathematical Linguistics,
Rovira i Virgili University, Tarragona, Spain
-
Mathematical Institute,
Romanian Academy, Bucharest, Romania
-
Computer
Science Department, University of Bucharest, Romania
-
Institute
for Computer Languages, University of Technology, Vienna, Austria
-
School of Computer Science,
University of the Witwatersrand, Johannesburg, South Africa
-
Department of Computer Science and Engineering, Indian Institute of
Technology, Madras, India
-
Faculty of Informatics,
Natural Computing Group, Technical University of Madrid, Spain
-
Institute of Mathematics and Computer Science,
Chisinau, Moldova
Recent visitors
-
Florin Manea, Christian Albrechts University of Kiel/University of Bucharest
-
Robert Mercas, Otto von Guericke University of Magdeburg
-
Henning Bordihn, University of Potsdam
-
Jiri Koutny, Brno University of Technology
-
Martin Cermak, Brno University of Technology
-
Miguel Angel Pena, Polytechnic University of Madrid
-
Tomas Masopust, Institute of Mathematics of the Czech Academy of Sciences
-
Sergey Verlan, University Paris 12
-
Alica Kelemenová, Silesian Universty, Opava
-
Marian Gheorghe, University of Sheffield
-
Lucie Ciencialová, Silesian Universty, Opava
-
Dragos Sburlan, Ovidius University of Constanza