Projektleiter_in

• Laura Kovacs (E192-04)
• Matteo Maffei (E192-06)

Förderungmittel

• FWF - Österr. Wissenschaftsfonds (National) Spezialforschungsbereich (SFB) Fonds zur Förderung der wissenschaftlichen Forschung (FWF)

Forschungsschwerpunkte

• Logic and Computation: 100%

Externe Partner_innen

• TU Graz
• Institute of Science and Technology Austria
• Universität Wien
• Universität Klagenfurt

Publikationen

• Publikationsliste