Raum APB 3027

Dies ist der Seminarraum des Instituts für Theoretische Informatik.

Veranstaltungen in diesem Raum

Dies ist kein vollständiger Belegungsplan, da nicht alle Veranstaltungen auf dieser Site erfasst werden.

Nächste Veranstaltungen:

Rewrite Once, Validate Anywhere: Producing OWL-Aware SHACL Constraints (26. November 2026 um 11:00 – 26. November 2026 um 12:00)
Survey of Syntax Splitting (3. Dezember 2026 um 11:00 – 3. Dezember 2026 um 12:00)
On the Complexity of Model Checking for Temporal Equilibrium Logic (10. Dezember 2026 um 11:00 – 10. Dezember 2026 um 12:00)
Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory (7. Januar 2027 um 11:00 – 7. Januar 2027 um 12:00)
Smallest Synchronizing Terms over Constant Alphabets Can Be Exponentially High (21. Januar 2027 um 11:00 – 21. Januar 2027 um 12:00)