Project leader

• Ezio Bartocci (E191-01)
• Agata Ciabattoni (E192-05)
• Thomas Eiter (E192-03)

Project personnel

• Emeric Alexander Neufeld (E192-05)

Förderungmittel

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

Research focus

• Logic and Computation: 33%
• Computer Science Foundations: 66%

Publications

• Publications