Computer Science and Logic (2021/2022)

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