Publication
Aleksander Slawomir Boruch-Gruszecki
Martin Odersky, Ondrej Lhoták, Aleksander Slawomir Boruch-Gruszecki
Daniel Kuhn, Yifan Hu, Andreas Krause, Jie Wang
Vincent Kaufmann, Ludy Juliana González Villamizar, Eloi Antoine Maël Bernier, Florian Lucien Jacques Masse
Daniel Gatica-Perez, Haeeun Kim
Aikaterini Argyraki, Pavlos Nikolopoulos, Muhammad Abdullah
Michel Bierlaire, Nejc Gerzinic