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.
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.
|Dependable Systems & Software Group||Department of Computer Science||Universität des Saarlandes|