LEARN: Learning Efficient Automated Reasoning on the Net

01.04.2025 - 30.09.2026
Forschungsförderungsprojekt

Personen

Projektleiter_in

Subprojektmanager_innen

Institut

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