News Archive: January-June 2006

Friday, 30 June 2006: Hadas Shachnai (Department of Computer Science, Technion, Israel) delivers the second seminar in a new ICE-TCS seminar series, namely Women in Theoretical Computer Science. The seminar is entitled Approximation Schemes for Packing with Item Fragmentation. The talk will be held at 13:30 in room V-157, University of Iceland. The abstract for the seminar is available here.
Monday, 26 June 2006: Hadas Shachnai (Department of Computer Science, Technion, Israel) visits ICE-TCS from today until Friday, 6 July 2006.
Monday, 12 June 2006: Sergey Kitaev delivers the talk Classifying descents according to equivalence mod k (joint work with Jeffrey Remmel) at the conference Permutation Patterns 2006.
Monday, 12 June-Friday 16 June, 2006: The conference Permutation Patterns 2006 will be held at Reykjavík University. This conference is organized by the Combinatorics group affiliated with ICE-TCS, and will see the participation of about 45 researchers.
Wednesday, 7 June 2006: Vadim Bulitko (Department of Computing Science, University of Alberta, Canada) delivers an ICE-TCS seminar entitled Real-time Search and Learning. The talk will be held at 11:00 in room 201 at Reykjavík University. The abstract for the seminar is available here.
Tuesday, 6 June 2006: Nadia Busi (Department of Computer Science, University of Bologna, Italy) delivers the inaugural seminar in a new ICE-TCS seminar series, namely Women in Theoretical Computer Science. The seminar is entitled Expressiveness Issues in Bio-Inspired Calculi. The talk will be held at 13:00 in room 231a at Reykjavík University. The abstract for the seminar is available here.
Monday, 5 June 2006: A report on the Icelandic Theory Week we held last week is now available. This report will appear in the Bulletin of the European Association for Theoretical Computer Science.
Monday, 5 June 2006: Nadia Busi (Department of Computer Science, University of Bologna, Italy) visits ICE-TCS from today until Friday, 9 June 2006. Nadia will hold the first talk in our new seminar series Women in Theoretical Computer Science.
Thursday, 1 June 2006: Moshe Vardi (Rice University, USA) delivers an ICE-TCS public "Gödel Centenary" lecture entitled And Logic Begat Computer Science: When Giants Roamed the Earth. The talk will be held at 17:00 in room 101 at Reykjavík University. Refreshments will be served at 16:30. The abstract for the seminar is available here. The poster (in Icelandic) is available here.
Wednesday, 31 May 2006: The second ICE-TCS Symposium will be held today from 10am till 4:30pm at Askja, N-132, University of Iceland. [Programme for the event]
Wednesday, 31 May 2006: Moshe Vardi (Rice University, USA) visits ICE-TCS from today until Friday, 2 June 2006. Moshe is a member of the ICE-TCS scientific advisory panel. The details of his visit will be announced on this page in due course.
Monday, 29 May 2006: Wan Fokkink (Department of Computer Science, Vrije Universiteit Amsterdam, NL) and Jan Kratochvil (Department of Applied Mathematics, Charles University, CZ) visit ICE-TCS from today until Sunday, 4 June 2006. These scientists will deliver two of the three keynote addresses at the second ICE-TCS Symposium.
Wednesday, 24 May 2006: Jan Friso Groote (Eindhoven University of Technology, The Netherlands) delivers an ICE-TCS seminar entitled On using and proving modal formulas for analyzing processes. The talk will be held at 13:00 in room 231a at Reykjavík University. The abstract for the seminar is available here.
Friday, 19 May 2006: The paper Permutation tableaux and permutation patterns by Lauren Williams (Harvard University) and our own Einar Steingrimsson has been accepted for publication in Journal of Combinatorial Theory, Series A.
Friday, 19 May 2006: The paper Decreasing Subsequences in Permutations and Wilf Equivalence for Involutions by M. Bousquet-Mélou and E. Steingrímsson is the most frequently accessed paper in the Journal of Algebraic Combinatorics! See this link.
Wednesday, 10 May 2006: Jan Friso Groote (Eindhoven University of Technology, The Netherlands) delivers an ICE-TCS seminar entitled Visualization of Large State Spaces. The talk will be held at 13:00 in room 201 at Reykjavík University. The abstract for the seminar is available here.
Monday, 8 May 2006: Jan Friso Groote (Eindhoven University of Technology, The Netherlands) visits ICE-TCS from today until Sunday, 28 May 2006. The details of his visit will be announced on this page in due course.
Thursday, 4 May 2006: The paper Strip Graphs: Recognition and Scheduling by Magnus M. Halldorsson and Ragnar K. Karlsson has been accepted for presentation at WG '06: 32nd Workshop on Graph-Theoretic Concepts in Computer Science. This is the first scientific paper co-authored by a student affiliated with ICE-TCS. Congratulations to Ragnar!
Sunday, 30 April 2006: 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 for publication in a special issue of the journal Theoretical Computer Science devoted to selected papers from CALCO 2005.
Saturday, 29 April 2006: ICE-TCS is one year old today! Our first birthday celebrations will be delayed until May 10, after the talk by Jan Friso Groote.
Thursday, 27 April 2006: The paper A Hybrid Micro–Macroevolutionary Approach to Gene Tree Reconstruction by Dannie Durand, Bjarni V. Halldórsson and Benjamin Vernot has appeared in the Journal of Computational Biology, Vol. 13, No. 2, pp. 320-335.
Tuesday, 25 April 2006: The following two preprints by Sergey Kitaev have recently appeared:
1. S. Kitaev and A. Pyatkin, On avoidance of V- and Lambda-patterns in permutations, preprint.
2. S. Kitaev and J. Remmel, Classifying descents according to equivalence mod k, preprint.
The following paper by Sergey Kitaev has been accepted for publication:
S. Kitaev and J. Remmel, Classifying Descents According to Parity, Annals of Combinatorics, to appear.
The following paper by Sergey Kitaev has been published:
S. Kitaev, Counting independent sets on path-schemes, Journal of Integer Sequences 9, no. 2 (2006), Article 06.2.2, 8pp.
Friday, 21 April 2006: Luca Aceto delivers an invited talk entitled Impossibility results in the equational logic of processes at the Workshop on LOGIC, MODELS AND COMPUTER SCIENCE (LMCS06), Camerino (Italy). [Slides (PDF)]
Monday, 10 April 2006: ICE-TCS will be well represented at ICALP 2006, the 33rd International Colloquium on Automata, Languages and Programming, July 9-16, 2006, S. Servolo, Venice, Italy! The papers
- A Finite Equational Base for CCS with Left Merge and Communication Merge by Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik and
- On the Axiomatizability of Priority by Luca Aceto, Taolue Chen, Wan Fokkink and Anna Ingolfsdottir
have been accepted for presentation in Track B: Logic, Semantics, and Theory of Programming of the conference.
Friday, 7 April 2006: Artem Pyatkin (Department of Informatics, University of Bergen, Norway, and Sobolev Institute of Mathematics, Novosibirsk, Russia) will deliver an ICE-TCS seminar entitled Incidentor coloring problems. The talk will be held at 15:30 in room 101 at Reykjavik University. The abstract for the seminar is available here.
Wednesday, 5 April 2006: The Proceedings of FOSSACS 2006, LNCS 3921, Springer-Verlag edited by Luca Aceto and Anna Ingolfsdottir are now available on line.
Friday, 31 March 2006: Mark Winands (Reykjavik University) delivers an ICE-TCS seminar entitled Playing around with Proof-Number Search in Lines of Action. The talk will be held at 15:30 in room 231a at Reykjavik University. The abstract for the seminar is available here.
Wednesday, 28 March 2006-Friday, 31 March 2006: Luca Aceto and Anna Ingolfsdottir co-chair FOSSACS 2006 in Vienna, Austria.
Friday, 24 March 2006: Anna Ingolfsdottir (Reykjavik University) delivers an ICE-TCS seminar entitled Processes as Hidden Markov Models. The talk will be held at 15:30 in room 231a at Reykjavik University. The abstract for the seminar will be available soon.
Monday, 20 March 2006: This month's SIGMOD Record has an interview with Moshe Vardi, who is a member of our scientific advisory board and is going to visit us soon.
Saturday, 18 March 2006: The book Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings, Lecture Notes in Computer Science, Vol. 3921, edited by Luca Aceto and Anna Ingolfsdottir is available.
Friday, 17 March 2006: Luca Aceto (Reykjavik University) delivers an ICE-TCS seminar entitled The Role of Hennessy's Merge in the Quest for Finite Equational Axiomatizations of Parallel Composition Modulo Bisimilarity. The talk will be held at 15:30 in room 231a at Reykjavik University. The abstract for the seminar is available here.
Friday, 10 March 2006: Anders Claesson (Reykjavik University) delivers an ICE-TCS seminar entitled Conway's Napkin Problem. The talk will be held at 15:30 in room 231a at Reykjavik University. The abstract for the seminar is available here.
Tuesday, 7 March 2006: The book Computers and Games: 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers (Herik, H. Jaap van den; Björnsson, Yngvi; Netanyahu, Nathan S. eds.) is now available as Lecture Notes in Computer Science, Vol. 3846, 2006, XIV, 333 p., Softcover ISBN: 3-540-32488-7.
Tuesday, 7 March 2006: Cambridge University Press will publish the book Reactive Systems: Modelling, Specification and Verification by Luca Aceto, Anna Ingolfsdottir, Kim G. Larsen and Jiri Srba! The latest draft of the book is available as a postscript file.
Tuesday, 7 March 2006: The paper Introduction to partially ordered patterns (preprint) by Sergey Kitaev is now available.
Monday, 6 March 2006: The paper A Finite Equational Base for CCS with Left Merge and Communication Merge by Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik is now available as BRICS report RS-06-6, March 2006.
Thursday, 2 March 2006: Magnús M. Halldorssón (University of Iceland) delivers an invited talk entitled Algorithms for a Networked World at the NHC Spring Workshop on Discrete Algorithms, Chofu Creston Hotel, Chofu, Tokyo.
Wednesday, 1 March 2006: Anna Ingolfsdottir joins the steering committee of the European Joint Conferences on Theory and Practice of Software (ETAPS). ETAPS is the primary European forum for academic and industrial researchers working on topics relating to Software Science.
Thursday, 23 February 2006: Moshe Vardi, member of the ICE-TCS scientific advisory board, is one of the co-editors of Globalization and Offshoring of Software: A Report of the ACM Job Migration Task Force. See also a New York Times article.
Wednesday, 22 February 2006: ACM honours to members of the ICE-TCS advisory panel! Moshe Vardi is one of the co-recipients of the ACM Paris Kanellakis Theory and Practice Award for 2005. The award is for his use of automata theory in program verification. Moshe will most likely visit us in early June.
Mikkel Thorup has been nominated ACM fellow for 2005.
Tuesday, 21 February 2006: The paper Counting independent sets on path-schemes by Sergey Kitaev has been accepted for publication in the Journal of Integer Sequences.
Friday, 17 February 2006: Magnús M. Halldorssón (University of Iceland) delivers an ICE-TCS seminar entitled Algorithms for a Networked World. The talk will be held at 15:30 in room 231a at Reykjavik University. The abstract for the seminar is available here.
Friday, 17 February 2006: The paper A Spectral Approach to Pattern-Avoiding Permutations by R. Ehrenborg, S. Kitaev and P. Perry has been accepted for a poster session at the 18th International Conference on Formal Power Series & Algebraic Combinatorics, the University of California, San Diego, USA, June 19-23 (2006). FPSAC is the prime conference in algebraic combinatorics and its standards are as high as in the best journals in that field!
Saturday, 11 February 2006: An extended abstract of the paper A Finite Equational Base for CCS with Left Merge and Communication Merge by Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik is now available. A full version of this study will be posted on this page soon.
Friday, 10 February 2006: Sergey Kitaev (Reykjavik University) delivers an ICE-TCS seminar entitled Enumerating patterns in compositions. The talk will be held at 15:30 in room 231a at Reykjavik University. The abstract for the seminar is available here.
Wednesday, 8 February 2006: ICE-TCS researchers contribute to four out of six grants awarded by Rannis in Computer Science and Mathematics. The grants involved are:
- Excellence grant to work on "Algebraic combinatorics and permutation patterns" (Einar Steingrimsson, Anders Claesson and Sergey Kitaev)
- Project grant on "The equational logic of processes" (Luca Aceto and Anna Ingolfsdottir)
- Project grant on "Scheduling split intervals" (Magnus M. Halldórsson)
- Project grant with Hjalmtyr Hafsteinsson as co-proposer.
Further information is available (in Icelandic).
Tuesday, 7 February 2006: The paper On the Axiomatizability of Priority by Luca Aceto, Taolue Chen, Wan Fokkink and Anna Ingolfsdottir is available as BRICS report RS-06-1.
Friday, 3 February 2006: (Note the new date!) Skeggi Thormar (Landsbánki) delivers an ICE-TCS seminar entitled Truth and Computability at 15:30 in room 231a at Reykjavik University. The abstract for the seminar is available here.
This seminar is the first installment of our Gödel Centenary Seminar Series.
Thursday, 2 February 2006: The web address for the ICE-TCS web pages has changed! Information on the centre can now be found at
http://www.ru.is/icetcs/.
Tuesday, 31 January 2006: Luca Aceto and Anna Ingolfsdottir present ICE-TCS to the staff at Reykjavík University at 12:00. Slides for this presentation are available as a PDF file.
Friday, 20 January 2006: Artem Pyatkin (Department of Informatics, University of Bergen, Norway, and Sobolev Institute of Mathematics, Novosibirsk, Russia) will visit ICE-TCS in the period 5-10 April, 2006. The details of his visit will be announced in due course.
Thursday, 19 January 2006: Magnús M. Halldórsson is in the program committee for APPROX 2006.
Friday, 6 January 2006 (Note the new date for the seminar!): Bridget Eileen Tenner (Department of Mathematics, MIT, USA) delivers an ICE-TCS seminar entitled Reduced Decompositions and Permutation Patterns at 16:00 in room 101 at Reykjavik University. The abstract for the seminar is available here. The paper on which this talk is based is available in PostScript.

Last modified: .