Girish Bhat, Doron Peled
Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
Stefan Haar
Wojciech Penczek
Volker Diekert, Martin Horsch, Manfred Kufleitner
Christel Baier, Marta Kwiatkowska
Larisa Maksimova
Petr Hajek, Petr Kůrka
Bao Qing Hu
