LEARN: Learning Efficient Automated Reasoning on the Net

01.04.2025 - 30.09.2026
Forschungsförderungsprojekt

Personen

Projektleiter_in

Subprojektmanager_innen

Institut

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