Students

Name Affiliation Country
Bertram Felgenhauer University of Innsbruck Austria
Xiaoqiang Feng Chinese Academy of Sciences China
Dane Henshall University of Waterloo Canada
Iulia Ignatov Jacobs University Bremen Germany
Cristiano Longo University of Catania Italy
Ruslan Mavlyutov Yandex Russia
Sergey Paramonov Technical University of Vienna Austria
Ana Pavlišič European Master in Computational Logic, Bolzano Italy
Carla Ràfols Salvador Rovira i Virgili University Spain
Dominik Seuss University of Bamberg Germany
Lei Song IT University of Copenhagen Denmark