Room APB 3027

This is the seminar room of the Institute for Theoretical Computer Science.

Events in this room

Not all events are registered at this site, and this information might therefore be incomplete.

Upcoming events:

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