News Archive: April-August 2005

Wednesday, 17 August 2005: Luca Aceto delivers a talk on The Importance of Research for a Modern University at the Autumn 2005 Reykjavik University staff day. The slides for the talk are available.
Thursday, 11 August 2005: ICE-TCS 'Brown bag colloquium series'. Ymir Vigfusson will present some of his recent work. The meeting will be held at 12:00 in room 261 (VR-II) at the University of Iceland. See the web page for this series of meetings for further information.
Wednesday, 10 August 2005: Jaikumar Radhakrishnan (School of Technology and Computer Science, Tata Institute of Fundamental Research, India, and Toyota Technological Institute at Chicago, USA) delivers the talk From Randomized to Quantum Computation. The talk will be held at 3pm in VR-158, University of Iceland.
Monday, 8 August 2005: Yuri Rabinovich (Department of Computer Science, University of Haifa, Israel) will deliver an ICE-TCS seminar entitled Metrical Representations of Graphs. The seminar will be held at 12:00 at the University of Iceland.
Friday, 5 August 2005: ICE-TCS 'Brown bag colloquium series'. Yuri Rabinovich (Department of Computer Science, University of Haifa, Israel) will present some of his current work. The meeting will be held at 12:00 in room 261 (VR-II) at the University of Iceland. See the web page for this series of meetings for further information.
Thursday, 4 August 2005: Anna Ingolfsdottir delivers a talk entitled Processes as Hidden Markov Models at the workshop Algebraic Process Calculi: The first Twenty Five Years and Beyond. The slides for the talk are available.
Monday, 1 August 2005: The workshop Algebraic Process Calculi: The first Twenty Five Years and Beyond, co-organized by Luca Aceto, opens today. The workshop is attended by about 90 researchers in concurrency theory, including the Turing award recipients Tony Hoare and Robin Milner.
Sunday, 31 July 2005: Yuri Rabinovich (Department of Computer Science, University of Haifa, Israel) visits ICE-TCS from today until August 22.
Friday, 24 June 2005: ICE-TCS 'Brown bag colloquium series'. Sigrun Andradottir (School of Industrial and Systems Engineering, Georgia Institute of Technology) will present some of her current work. The meeting will be held at 12:00 in room 261 (VR-II) at the University of Iceland. See the web page for this series of meetings for further information.
Wednesday, 22 June 2005: Robin Thomas (School of Mathematics, Georgia Institute of Technology) delivers the talk Large 6-connected graphs with no K_6 minor at 15:30 in Askja, room 132, University of Iceland.
Tuesday, 21 June 2005: Luca Aceto and Andrew D. Gordon (Microsoft Research) have completed the editorship of the 244-page volume Essays on Algebraic Process Calculi, BRICS Note Series NS-05-3. This volume contains short contributions for the the workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond, August 1-5, 2005, University of Bologna Residential Center Bertinoro (Forlì), Italy. It will be available electronically on August 1, 2005.
Wednesday, 15 June 2005: Robin Thomas (School of Mathematics, Georgia Institute of Technology) will visit ICE-TCS in the period June 22-July 8. He is best known for being one of the scientists who proved the Strong Perfect Graph Theorem, and offered an alternative proof of the Four Colour Theorem.
Friday, 10 June 2005: ICE-TCS 'Brown bag colloquium series'. Helgi Ingolfsson (Cornell University) will talk on "Domain Prediction". The meeting will be held in room 532 at Reykjavik University from 12:00. See the web page for this series of meetings for further information.
Monday, 6 June 2005: The paper Finite Equational Bases in Process Algebra: Results and Open Questions by Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir and Bas Luttik is now available.
Friday, 3 June 2005: The Report on ICE-TCS: Inaugural Symposium by Luca Aceto, Magnus M. Halldorsson and Anna Ingólfsdóttir has appeared in the EATCS Bulletin, Number 86, pp. 262-263, June 2005.
Friday, 3 June 2005: ICE-TCS 'Brown bag colloquium series'. Anna Ingolfsdottir. "A 'Useless' Theorem from Lattice Theory, with Applications (Continued)". The meeting will be in VR-257 (University of Iceland) from 12:00. See the web page for this series of meetings for further information.
Friday, 27 May 2005: Luca Aceto is a PC member for Structural Operational Semantics 2005.
Friday, 27 May 2005: ICE-TCS 'Brown bag colloquium series'. Anna Ingolfsdottir. "A 'Useless' Theorem from Lattice Theory, with Applications". The meeting will be in VR-257 (University of Iceland) from 12:00. See the web page for this series of meetings for further information.
Thursday, 26 May 2005: Moshe Y. Vardi (Rice University) has agreed to visit ICE-TCS some time in the period January-July 2006. Apart from being a member of our scientific advisory board, Moshe Vardi is one of the most influential computer scientists around. For information about his work, see his
- home page,
- biographical sketch and
- DBLP entry.
Wednesday, 25 May 2005: Luca Aceto is a PC member for FSTTCS 2005.
Wednesday, 25 May 2005: Tomas Philip Runarsson (University of Iceland) delivers an ICE-TCS research seminar entitled Natural Computing at Reykjavik University. The seminar is scheduled for 15:30 and will be held in room 231a. See here for further details.
Tuesday, 24 May 2005: The paper Islands of Tractability for Parsimony Haplotyping by Roded Sharan, Bjarni Halldorsson and Sorin Istrail has been accepted at the conference IEEE Computational Systems Biology 2005!
Monday, 23 May 2005: The essay "The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems" by Luca Aceto and Wan Fokkink is now available in the BRICS Notes Series.
Friday, 20 May 2005: ICE-TCS 'Brown bag colloquium series'. Magnus M. Halldorsson (University of Iceland). "Exact Algorithms for Dominating Sets". Location and time: Room 532 (Reykjavik University), from 9:00am. (Note the nonstandard time!) See the web page for this series of meetings for further information.
Tuesday, 17 May 2005: The paper A Hybrid Micro-Macroevolutionary Approach to Gene Tree Reconstruction by Dannie Durand, Bjarni Halldórsson and Benjamin Vernot has had a popular press review!
Monday, 16 May 2005: The paper A Hybrid Micro-Macroevolutionary Approach to Gene Tree Reconstruction by Dannie Durand, Bjarni Halldórsson and Benjamin Vernot is presented at the Ninth International Conference on Research in Computational Biology (RECOMB 2005).
Friday, 13 May 2005: Yngvi Bjornsson is to receive one of the three best papers awards that will be handed out at the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, 30 July-5 August 2005 for his paper "Solving Checkers" coauthored with Jonathan Schaeffer, Neil Burch, Paul Lu, Robert Lake, Akihiro Kishimoto, Martin Mueller, and Steve Sutphen. Congratulations!
Friday, 13 May 2005: The ICE-TCS 'Brown bag colloquium series' kicks off. This week, Ryan Hayward will give an informal talk. The meeting will be in VR-257 (University of Iceland), from 12:30, with the talk from about 12:45. See the web page for this series of meetings for further information.
Thursday, 12 May 2005: The paper Bisimilarity is not Finitely Based over BPA with Interrupt by Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, and Sumit Nain has been accepted at the Conference on Algebra and Coalgebra in Computer Science (CALCO), Swansea, Wales, 3--6 September 2005. The proceedings will be published as a volume in the Lecture Notes in Computer Science, Springer-Verlag, 2005.
Wednesday, 11 May 2005: Finn V. Jensen delivers an ICE-TCS research seminar.
Wednesday, 11 May 2005: Yngvi Bjornsson is mentioned in the Frettabladid for his role in setting up CADIA (the Center for Analysis and Design of Intelligent Systems at Reykjavik University).
Monday, 9 May 2005: Yngvi Bjornsson appears on the 18:30 news on Stod 2!
Monday, 9 May 2005: Anna Ingolfsdottir is a PC member for BioCONCUR 2005.
Friday, 6 May 2005: Anna Ingolfsdottir is a PC member for CONCUR 2005.
Wednesday, 4 May 2005: Luca Aceto, Yngvi Bjornsson and Anna Ingolfsdottir receive support from Nyskopunarsjodi namsmanna for summer studentships. [Link]
Wednesday, 4 May 2005: Special issue of Theoretical Computer Science on Process Algebra edited by L. Aceto, W. Fokkink, A. Ingolfsdottir and Z. Esik is out. [Link]
Saturday, 30 April 2005: ICE-TCS inaugural symposium
Friday, 29 April 2005: Formal opening of ICE-TCS

Last modified: .