Start of 2nd quarter

---

Friday Lecturer: Lars Kristensen

The ASCoVeCo project: Exploring Large State Spaces

Communication protocols play a still more important role in our everyday use
of information technology, and it is therefore of vital importance that they
work as intended. Protocols are, however, challenging to design and
implement. Important reasons for this are the inherent presence of
concurrency and non-determinism which induces complex...

---

Bachelororientering

---

Master's Thesis Examination of Martin Mortensen

---

pi-lambda talk: Bent Thomsen

Towards programming Safety Critical Systems in Java

See http://www.brics.dk/pilambda/ for more information.

---