Computer Science: Formal Languages and Concurrency
Our members cooperate with the following institutions:
- Centro de Investigación en Matemáticas (CIMAT) in Guanajuato (Mexico) cooperation from 2013 to 2017 (included post-doc (1.10.2013 – 31.08.2014) and research internship – position: Investigador Titular „A” (01.07.2015 – 31.03.2016)) (Andrzej Mróz)
- Norges Teknisk-Naturvitenskapelige Universitet (NTNU) in Trondheim (Norway) cooperation from 2010 to 2015 (Andrzej Mróz).
- Aix-Marseille Université, Marseille, France (Piotr Przymus)
- Cooperation under CA18131 – Statistical and machine learning techniques in human microbiome studies (Piotr Przymus):
- University of Tartu, Tartu, Estonia,
- MDEA Food Institute, Madrid, Spain,
- UNIVERSITY OF NOVI SAD, Nowy Sad, Serbia,
- Saints Cyril and Methodius University in Skopje, Macedonia.
-
Leiden University (Netherlands) (Łukasz Mikulski)
-
McMaster University (Hamilton, Canada) (Łukasz Mikulski)
-
Bolonia University (Italy) (Łukasz Mikulski)
-
Universidad Complutense de Madrid (Spain) (Łukasz Mikulski)
-
Carl von Ossietzky Universität in Oldenburg (Germany) (Kamila Barylska, Łukasz Mikulski, Marcin Piątkowski)
-
University of Luxembourg (Łukasz Mikulski, Damian Kurpiewski)
- University of Helsinki – Department of Computer Science (Marcin Piątkowski)
- Karolinska Institutet (KI) (Sweden) (Marek Nowicki)
- Universidad Nacional Autónoma de México (UNAM; Mexico City, Mexico) (Andrzej Mróz)
- Florida Atlantic University (USA) (Mariusz Kaniecki)
- Tokyo Medical and Dental University w Tokyo (Marcin Piątkowski)
- University of Milano-Bicocca (Łukasz Mikulski)
- University of Turku (Łukasz Mikulski)