Current Topics in Concurrency Theory is a seminar.
Contents:
Modern society is increasingly dependent on large-scale software systems that are distributed, collaborative, and communication-centred. Tackling the additional complexity that is caused by distributed actors is one of the major tasks in the research area concurrency theory. To understand the behaviour of such systems, concurrency theory studies the modelling, simulation, and verification of concurrent systems. The modelling languages range from graphical approaches such as Event Structures and Petri nets to approaches that are close to programming languages such as process calculi. To analyse such systems different techniques such as type systems, model checking, and interactive theorem proving are adapted to the needs of concurrent systems and new techniques are developed. In this seminar current articles on research in the area of concurrency theory are presented and discussed.
Preconditions:
Foundations of theoretical computer sciences as expected from a student after the fourth term are recommended. In particular, we recommend some experience with formal languages.
Turnus:
The course may be taught in the winter or summer.
Language:
The course language is English.
All information about the course can be found in Moodle (Lernprotal Informatik, non-mandatory).
