Date
|
Person(s)
|
Title
|
11.09.2003 |
group members |
research topics, projects, PhD students |
18.09.2003 |
Adis Hodzic (UiB) |
About parametrized Birkhoff Theorems |
25.09.2003 |
Truong Anh Hoang (UiB) |
A Typing System for the Safe Instantiation of Components |
02.10.2003 |
Magne Haveraaen (UiB) |
Functional understanding of imperative programming languages |
16.10.2003 |
Erik Barendsen (University of Nijmegen) |
Resource conscious typing systems for functional programs |
23.10.2003 |
Thomas Ågotnes (UiB) |
Epistemic Logic |
06.11.2003 |
Eric Wagner (USA) |
Thoughts on Mathematics and Computer Science |
13.11.2003 |
Krister Åhlander (Sweden) |
The Triangular Sylvester equation |
20.11.2003 |
Uwe Wolter (UiB) |
Questions and suggestions concerning Computational Algebras |
27.11.2003 |
Michal Walicki |
Final multialgebras |
|