Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
LEARN: Learning Efficient Automated Reasoning on the Net
01.04.2025 - 30.09.2026
Forschungsförderungsprojekt
Personen
Projektleiter_in
Laura Kovacs
(E192-04)
Subprojektmanager_innen
Beatrix Buhl
(E192-04)
Institut
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Förderungmittel
European Commission (EU)
ERC Proof of Concept
ERC Europäischer Forschungsrat
HORIZON I - Herausragende Wissenschaft
Rahmenprogramm HORIZON EUROPE
Europäische Kommission
Ausschreibungskennung ERC-2024-POC
Forschungsschwerpunkte
Computer Science Foundations: 100%
Publikationen
Publikationsliste