Logic and Computer Science (2020/2021)

Organizers: Agata Ciabattoni (WPI c/o TU Wien), Vera Fischer (WPI c/o U. Wien), Laura Kovacs (WPI c/o TU Wien), Stefan Szeider (WPI c/o TU Wien), Stefan Woltran (WPI c/o TU Wien)