14 April 2005 An Icelandic Research Centre in Theoretical Computer Science
Magnus M. Halldorsson, Anna Ingolfsdottir and I have been spending a fair amount of time these days trying to set up a research centre in Theoretical Computer Science here in Reykjavik. Our vision is to try and set up a kind of tiny BRICS-like centre. The preliminary result of this effort is ICE-TCS.
The aim of this centre is to establish in Iceland important areas of basic research in the mathematical foundations of Computer Science, notably Algorithmic Program Verification, Mathematical Logic in Computer Science, Models and Logics for Reactive Systems, Semantics of Computation and Systems Biology, alongside existing activities in Algorithmics, Bioinformatics, Applied and Discrete Mathematics and Machine Learning.
Concurrency theory is well represented in the scientific advisory panel for the centre, and Anna and I hope to be soon in a position to organize workshops/conferences in concurrency theory here in Iceland, and to invite people for research visits.
Watch this space for updates on the activities of this centre, and wish us luck!
Last modified: Thursday, 14-Apr-2005 11:47:29 CEST.