Projektdetails
| Status | Laufend |
|---|---|
| Tatsächliches Beginn-/Enddatum | 01.09.2026 → 31.08.2030 |
Wissenschaftszweige
- 101013 Mathematische Logik
- 102031 Theoretische Informatik
- 603109 Logik
- 102011 Formale Sprachen
- 102022 Softwareentwicklung
- 102001 Artificial Intelligence
- 102030 Semantische Technologien
- 102 Informatik
JKU-Schwerpunkte
- Digital Transformation