CONCURRENCY THEORY

Initial Meeting

We will have an initial meeting on April 21, 2009 at 13:00 (s.t.) in room 528 (Bldg. E1 3).

 


Time and location

The seminar is split in two phases

 

a bi-weekly reading group during the semester

and a presentation phase in the end of the summer break

 

Please enter your preferences for the (bi-)weekly meeting during the semester here!

Ignore the concrete dates, the week shown is only exemplary.

 

In the first phase we will read and discuss scientific literature together. Each participant will give short presentations of assigned papers.

In the second phase each participant will give a formal presentation of about 45 min.

 

 


Registration

If you want to participate in the Seminar, please pre-register at our Course Managment System and do not forget to doodle your free time slots during the semester here.


Audience

This seminar addresses Master or Bachelor students in Computer Science. Upon request we might make some places available as Proseminar.

Some exposure to concurrency theory (e.g. Concurrent Programming) will prove helpful, but is not strictly required.


Overview of the seminar

The huge success story of computer science is significantly based on

the enormous and constant increase of computation power over the last

decades. Processing speed has been doubling at least every two

years. However, physical limitation will put an end to this

development in the near future. Massive parallelism will supersede

speed as the main source of processing power. Even more, already today

concurrent systems are ubiquitous, their usage sites being mobile

phones, cars and even washing machines.

 

Despite its importance and more than three decades of highly active

research, concurrent systems are still less understood than sequenial

systems. A comprehensive model of concurrency, comparable to Turing

machines and the lambda calculus, has not yet been found for concurrent

settings. In our seminar we will study some of the most important

models and results for concurrency, and we will see why concurrency is so difficult to understand.

 


Instructors

Prof. Dr.-Ing. Holger Hermanns
Christian Eisentraut, M.Sc