Guest: Prof. Rob van Glabbeek

Prof. Rob van Glabbeek from Data61/University of New South Wales in Sydney is visiting MAIS on July 19. He is giving the talk "Modeling Shared Variable Concurrency in Process Algebra" in a special session of the MAIS Graduate Seminar in room E302 at 17:00.