Computer Science and Logic (2023/2024)

Organizers: Agata Ciabattoni (WPI c/o TU Wien), Vera Fischer (WPI c/o U. Wien), Laura Kovacs (WPI c/o TU Wien), Sandra Müller (WPI c/o TU Wien)