Logic and Informatics (2022/2023)

Organizers: Agata Ciabattoni (WPI c/o TU Wien), Georg Gottlob (Oxford & 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)