Logical Informatics (2026/2027)

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)

Events

TUWien–UniCal "Data Quality" workshop
Location: DBAI Inst. of Logic and Computation, TU Wien, Favoritenstr. 9-11, 1040 Wien Time: 24. Sep 2026 (Thu) - 25. Sep 2026 (Fri); Opening: 14:00
Organisation(s) TU Wien U. Calabria WPI Organiser(s) Georg Gottlob (WPI c/o U. Calabria)

Conference HIGHLIGHTS'26 Highlights of Logic, Games and Automata (external website )
Location: TU Wien Time: 7. Sep 2026 (Mon) - 11. Sep 2026 (Fri)
Organisation(s) TU Wien WPI ISTA Organiser(s) Laura Kovács (WPI c/o TU Wien) Michael Sammler (ISTA)