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:

Learning to Control Binary Decision Diagrams with Reinforcement Learning (5. November 2026 um 11:00 – 5. November 2026 um 12:00)
Survey of Syntax Splitting (12. November 2026 um 11:00 – 12. November 2026 um 12:00)
Rewrite Once, Validate Anywhere: Producing OWL-Aware SHACL Constraints (26. November 2026 um 11:00 – 26. November 2026 um 12:00)
A Guided Tour of Sequent Formalisms for Modal Logics (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)