Room APB 3027
From International Center for Computational Logic
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:
- Models of Concurrent Systems: Petri Nets: Expressiveness (Lecture) (24. May 2022 at 1:00 pm – 24. May 2022 at 2:30 pm)
- Models of Concurrent Systems: Petri Nets: Non-Interleaving Semantics (Part 2) (Lecture) (31. May 2022 at 1:00 pm – 31. May 2022 at 2:30 pm)
- Models of Concurrent Systems: Pentecost (No session) (7. June 2022 at 1:00 pm – 7. June 2022 at 2:30 pm)