Organizers

General chair

Parosh Aziz Abdulla

Organizing Committee Members

Wang Yi, Björn Victor, Yunyun Zhu

Tutorials and workshops chairs

Konstantinos Sagonas, Mohamed Faouzi Atig

Publicity chairs

Andreina Francisco, Kai Lampka, Tjark Weber

Web chair

Philipp Rümmer

Host institution