Project leader

• Maria Christaki (E194-01)
• Laura Kovacs (E192-04)
• Matteo Maffei (E192-06)

Subproject managers

• Eva Schenner (E194-01)

Förderungmittel

• WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Informations- und Kommunikationstechnologien Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF)

Research focus

• Logic and Computation: 83%
• Information Systems Engineering: 16%

Publications

• Publications