Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
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 - Research Unit of Formal Methods in Systems Engineering
Grant funds
European Commission (EU)
ERC Proof of Concept
ERC European Research Council
HORIZON I - Excellent Science
Frameworkprogramme HORIZON EUROPE
European Commission
Call identifier ERC-2024-POC
Forschungsschwerpunkte
Computer Science Foundations: 100%
Publikationen
Publikationsliste