Afmælisráðstefna í tilefni 5 ára afmælis ICE-TCS - Þekkingarsetur HR í fræðilegri tölvunarfræði
The Icelandic Centre of Excellence in Theoretical Computer Science turns 5 years on the 30th of April.
As part of the celebrations, the 2010 edition of the ICE-TCS Theory Day will be held on this day.
The programme for the event, will see talks by guests from abroad and ICE-TCS members.
The event will start at 13.00 and will be held in room M1.13 at Reykjavik University (Menntavegur 1)
The event is free of charge and open for everyone
The event is free of charge and open for everyone
Programme
13:00-13:30 Welcome session
- Luca Aceto and Magnus M. Halldorsson (Reykjavik University). ICE-TCS: The first and the next five years.
13:30-14:20 Keynote session
- David de Frutos Escrig and Carlos Gregorio Rodriguez (Universidad Complutense Madrid, Spain). Understanding Process Semantics.
14:20-14:40 Coffee break
14.40-15.55 Technical Session
- Pradipta Mitra (Reykjavik University). Entrywise Bounds for Eigenvectors of Random Graphs.
- Sergey Kitaev (Reykjavik University). Counting (2+2)-free posets by indistinguishable elements and a conjecture of Jovovic.
- Marjan Sirjani (Reykjavik University). Constraint Automata: Symbolic Execution or not?
15:55-16:00 Closing session
16:00-17.00 Refreshments
About ICE-TCS
The aim of the ICE-CTS 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.
