News Archive: September-December 2005

Wednesday, 28 December 2005: Anna Ingólfsdóttir is in the program committee for the workshop PAuL: Probabilistic Automata and Probabilistic Logics affiliated with LICS 2006 as part of the Federated Logic Conference 2006.
Monday, 19 December 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 out in the volume Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday (Aart Middeldorp, Vincent van Oostrom, Femke Raamsdonk, Roel Vrijer editors), LNCS 3838, Springer-Verlag.
Friday, 16 December 2005: Bas Luttik (Department of Mathematics and Computer Science, Eindhoven University of Technology, and CWI, Amsterdam) will deliver a theory lunch talk. Our meeting will be held from 12:00 till 13:30 at the University of Iceland, room V-257, second floor of VR-II. Bas's talk will be based on his contribution to this volume of essays on algebraic process calculi. (See pages 159-163.)
Thursday, 15 December 2005: Jim Nystrom (Department of Computer Science, University of Akureyri) delivers an ICE-TCS seminar entitled Computational Cosmography and the Isotropic Vector Field Decomposition Methodology at 14:45 in room 306 at Reykjavik University. The abstract for the seminar is available here.
Monday, 12 December 2005: Bas Luttik (Department of Mathematics and Computer Science, Eindhoven University of Technology, and CWI, Amsterdam) delivers an ICE-TCS seminar entitled Decomposition Orders at 11:00 in room 338 at Reykjavik University. The abstract for the seminar is available here. The paper on which this talk is based is available from ScienceDirect.
[Slides (PDF)]
Friday, 9 December 2005: Luca Aceto delivers an ICE-TCS seminar entitled An Introduction to Timed Automata and Uppaal at 13:00 in room 337 at Reykjavik University. This is the second meeting of a reading group on the topic of model checking. The abstract for the seminar is available here.
Friday, 2 December 2005: Luca Aceto delivers an ICE-TCS seminar entitled An Introduction to Model Checking at 13:00 in room 336 at Reykjavik University. (Note the new room number!) This is the first meeting of a reading group on the topic of model checking. The abstract for the seminar is available here.
Friday, 25 November 2005: Magnús M. Halldórsson (Dept. of Computer Science, Faculty of Engineering, University of Iceland) delivers an ICE-TCS seminar entitled Split intervals, and related optimization problems. The talk will be held at 13:00 in room 231a at Reykjavik University. The abstract for the seminar (in Icelandic) is available here.
Wednesday, 23 November 2005: ICE-TCS will host the Nordic Workshop on Programming Theory in October 2006! (See here for the latest edition of the workshop.) This is an established international event that has never before been held in Iceland. The workshop will be held at Reykjavík University, and we hope to post the precise dates and further information in the near future.
Monday, 21 November 2005: The paper Segmented partially ordered generalized patterns by S. Kitaev will appear in Theoretical Computer Science, Volume 349, Issue 3, 16 December 2005, Pages 420-428.
Sunday, 20 November 2005: The paper On unavoidable sets of word patterns by A. Burstein and S. Kitaev has appeared in SIAM Journal on Discrete Mathematics, 19 (2005) 2, 371-381.
Friday, 18 November 2005: Anna Ingólfsdóttir (Department of Computer Science, School of Science and Engineering, Reykjavík University) delivers an ICE-TCS seminar entitled Finite Equational Bases in Process Algebra: Results and Open problems. The talk will be held at 13:00 in room 231a at Reykjavik University. The abstract for the seminar (in Icelandic) is available here.
Friday, 11 November 2005: The preprint On representable graphs by S. Kitaev and A. Pyatkin is available.
Friday, 11 November 2005: Herwig Lejsek (Reykjavik University) delivers an ICE-TCS seminar entitled The PvS-Index: An efficient indexing method for searching nearest neighbours in high dimensional space. The talk will be held at 13:00 in room 231a at Reykjavik University. The abstract for the seminar is available here.
Sunday, 30 October 2005: Luca Aceto's essay Report on the Workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond has appeared in the Bulletin of the EATCS, Number 87, pp. 210-213, October 2005.
Saturday, 29 October, and Sunday, 30 October 2005: Magnus M. Halldorsson and Anna Ingolfsdottir deliver talks at the bi-annual Icelandic mathematics meeting.
Friday, 28 October 2005: Martin Vitek (Brno University of Technology) delivers an ICE-TCS seminar entitled Insertion and Deletion Operations in Formal Language Theory. The talk will be held at 13:00 in room 235 at Reykjavik University. The abstract for the seminar is available here.
[Slides (PPT)]
Monday, 24 October 2004: Magnus M. Halldorsson is a member of the PC for the 14th European Symposium on Algorithms (ESA 2006)!
Friday, 21 October 2005: Elena Losievskaja (University of Iceland) delivers an ICE-TCS theory lunch talk. The talk is entitled Greedy algorithms for finding independent sets in hypergraphs, and will be held at HI, room V-257, at 13:00. See the web page for this series of meetings for further information.
Thursday, 13 October 2005: Luca Aceto has been elected to the Council of the European Association for Theoretical Computer Science. The list of new council members is available here.
Friday, 14 October 2005: Luca Aceto and Anna Ingolfsdottir are co-chairing FOSSACS 2006, a member conference of ETAPS 2006. The deadline for submitting papers for that conference is today.
Thursday, 13 October 2005: Bas Luttik (Department of Mathematics and Computer Science, Eindhoven University of Technology, and CWI, Amsterdam) will visit ICE-TCS and Reykjavik University in the period December 12-16, 2005. The details of his visit will be announced on this page in due course.
Tuesday, 11 October 2005: The ICE-TCS inaugural symposium and JavaPathFinder, a tool based on TCS research, are mentioned in this blog!
Monday, 10 October 2005: Jan Friso Groote (Department of Mathematics and Computer Science, Eindhoven University of Technology) will visit ICE-TCS and Reykjavik University for three weeks in May next year! The details of his visit will be announced on this page in due course.
Friday, 7 October 2005: Sergey Kitaev (Reykjavik University) delivers an ICE-TCS seminar entitled Sets of prohibitions and some problems related to them. The talk will be held at 12:00 in room 231a at Reykjavik University. The abstract for the seminar is available here.
[Slides (PDF)]
Wednesday, 5 October 2005: The paper Allegro version 2 by Daniel F Gudbjartsson, Thorvaldur Thorvaldsson, Augustine Kong, Gunnar Gunnarsson and Anna Ingolfsdottir has appeared in Nature Genetics Volume 37, No. 10, October 2005.
Wednesday, 28 September 2005: Luca Aceto delivers a talk at the Process Algebra Meeting, CWI, Amsterdam, NL.
Monday, 26 September 2005: Luca Aceto delivers an invited address at the Symposium on Semantics of Concurrency, Zaal 4, Auditorium, TU/Eindhoven, NL.
Friday, 23 September 2005: Einar Steingrimsson (Reykjavik University and Chalmers University of Technology, Goeteborg, Sweden) delivers an ICE-TCS seminar entitled Permutation patterns: From sorting to the Riemann zeta function. The talk will be held at 12:00 in room 231a at Reykjavik University. The abstract for the seminar is available here.
Monday, 19 September 2005: Einar Steingrimsson will organize the conference Permutation Patterns 2006, 12 - 16 June, 2006, at Reykjavik University!
Monday, 5 September 2005: The Technical Assembly of the International Federation for Information Processing (IFIP) yesterday approved the creation of Working Group 1.8 on Concurrency Theory. ICE-TCS plays a major role in this WG, which is chaired by Luca Aceto and has Anna Ingolfsdottir as its secretary. [List of members of the WG.]
Thursday, 1 September 2005: Sergey Kitaev (Reykjavik University) delivers the talk On a Common Feature in Three Famous Sequences. The talk will be held at 12:00 in room 231b at Reykjavik University. The abstract for the seminar is available here.
Thursday, 1 September 2005: The paper Bisimilarity is not Finitely Based over BPA with Interrupt by Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, and Sumit Nain, published in the Proceedings of Conference on Algebra and Coalgebra in Computer Science (CALCO), is now available electronically---if your institution has access to the Lecture Notes in Computer Science, Springer-Verlag.

Last modified: .