News 2014

• Friday, 28 November 2014: Henning Ulfarsson (Reykjavik University) will deliver an ICE-TCS seminar entitled Struct: An algorithm for guessing the structure and enumeration of permutation sets. The talk will be held at 2pm in room M1.02 at Reykjavik University. Note the non-standard room.
• Monday, 24 November 2014: Georgiana Caltais (ETH Zurich, CH) will deliver an ICE-TCS seminar. The talk, which is entitled On the design and analysis of a concurrency model, will be held at 11am in room M3.25 at Reykjavik University.
• Friday, 21 November 2014: Matthew Macaulay (Clemson University, USA) will deliver an ICE-TCS seminar entitled Cyclic reducibility and conjugacy in Coxeter groups. The talk will be held at 2pm in room M1.09 at Reykjavik University.
• 20-24 November 2014: Matthew Macaulay (Clemson University, USA) visits ICE-TCS at Reykjavik University. The host for his stay is Henning A. Úlfarsson.
• Friday, 7 November 2014: Luca Aceto will deliver a Pearls of Computation talk at 2pm in room M104 at Reykjavik University. The talk, which is entitled Tony Hoare: From Quicksort to a billion-dollar mistake, will be devoted to the work of Tony Hoare. More details are available here. A recording of the talk is available here.
• 29-31 October 2014: Anna Ingolfsdottir will be an invited speaker at the 26th Nordic Workshop on Programming Theory, NWPT '14, Halmstad University, Sweden.
• Friday, 24 October 2014: Álvaro García Pérez (Reykjvik University) will deliver an ICE-TCS seminar entitled Operational Aspects of Full Reduction in Lambda Calculi. The talk will be held at 2pm in room M1.09 at Reykjavik University. More information on the talk is available here.
• 23-24 October 2014: Anna Ingolfsdottir is in the evaluation panel for the degree programmes in Computer Science at the University of Aarhus and the University of Copenhagen.
• 15-16 October 2014: Together with Ilaria Castellani and Rocco De Nicola, Luca Aceto and Anna Ingolfsdottir organize a two-day workshop in honour of Matthew Hennessy's 65th birthday. The workshop will be held at IMT Lucca, Italy.
• Friday, 3 October 2014: David Thue will deliver a Pearls of Computation talk at 2pm in room M104 at Reykjavik University. The talk, which is entitled A Turing Machine in Conway's Game of Life, will be devoted to John H. Conway and his Game of Life. More details are available here. .
• Friday, 26 September 2014: Luca Aceto (ICE-TCS, School of Computer Science, Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Rule Formats for Structural Operational Semantics: A Very Short Introduction, will be held at 2pm in room M1.09 at Reykjavik University.
• Monday, 22 September 2014: Alvaro Garcia Perez has joined the concurrency group within ICE-TCS as a post-doctoral researcher for two years.
• Friday, 19 September 2014: Tigran Tonoyan (Reykjvik University) will deliver an ICE-TCS seminar. The talk will be held at 2pm in room M1.09 at Reykjavik University.
• Thursday, 18 September 2014: The special issue Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, edited by Amotz Bar-Noy, Thomas Erlebach, Magnus M. Halldorsson, Sotiris Nikoletseas and Pekka Orponen is now available as Theoretical Computer Science 553:1-114, 9 October 2014.
• Monday, 15 September 2014: The paper A Ground-Complete Axiomatization of Stateless Bisimilarity over Linda by Luca Aceto, Eugen-Ioan Goriac and Anna Ingolfsdottir has been accepted for the journal Information Processing Letters, Elsevier.
• 15 September-3 November 2014: María Martos-Salgado will visit ICE-TCS. The hosts for their stay are Luca Aceto and Anna Ingolfsdottir.
• Friday, 12 September 2014: Magnus M. Halldorsson will deliver a Pearls of Computation talk at 2pm in room M104 at Reykjavik University. The talk, which is entitled This Year's Turing Award will focus on the work of Leslie Lamport. [Recording of the talk] [Turing Award winner Leslie Lamport (video from Microsoft Research)] [A Conversation with Turing Award Winner Leslie Lamport ]
• Friday, 5 September 2014: Ignacio Fábregas Alfaro (Reykjvik University) will deliver an ICE-TCS seminar. The talk, which is entitled Coalgebraic and Categorical Techniques for the Study of Process Semantics, will be held at 2pm in room M1.09 at Reykjavik University.
• Tuesday, 2 September 2014: The following papers by members of the algorithms and wireless networks group within ICE-TCS have been accepted for publication.
  • Helga Gudmundsdottir, Eyjolfur I. Asgeirsson, Marijke H. L. Bodlaender, Joseph T. Foley, Magnus M. Halldorsson, Ymir Vigfusson. Wireless Scheduling Algorithms in Complex Environments. To appear in MSWiM, September 2014.
  • Magnus M. Halldorsson, Christian Konrad. Distributed Algorithms for Coloring Interval Graphs. To appear in DISC, October 2014.
  • Olga Goussievskaia, Magnus M. Halldorsson, Roger Wattenhofer. Algorithms for wireless capacity. IEEE/ACM Transactions on Networking, 2(3):745-755, June 2014.
  • Magnus M. Halldorsson, Pradipta Mitra. Wireless Capacity With Arbitrary Gain Matrix. Theoretical Computer Science, available online from 9 Oct 2013.
  • Magnus M. Halldorsson, Pradipta Mitra. Nearly Optimal Bounds for Distributed Wireless Scheduling in the SINR Model. Distributed Computing, available online from June 10, 2014.
• Tuesday, 2 September 2014: Magnus M. Halldorsson will be a member of the PC for the 14th International Conference on Information Processing in Sensor Networks (IPSN '15).
• Wednesday, 27 August 2014: Mikael Lindvall (Fraunhofer Center for Experimental Software Engineering, USA) will deliver an ICE-TCS seminar at 14:00 in room M104 at Reykjavik University. The seminar is entitled Introducing the Fraunhofer USA Center for Experimental Software Engineering. See here for more information.
• Wednesday, 27 August 2014: Vignir Örn Guðmundsson defends his MSc thesis, which was co-supervised by Luca Aceto and Mikael Lindvall (Fraunhofer Center for Experimental Software Engineering, USA). The defence will take place at 10:00 in room M209 at Reykjavik University.
• 25-29 August 2014: Mikael Lindvall (Fraunhofer Center for Experimental Software Engineering, USA) visits ICE-TCS at Reykjavik University. The hosts for his visit are Luca Aceto and Ingolfsdottir.
• Friday, 22 August 2014: The 10th ICE-TCS Theory Day will be held on this day from 2pm till 4pm in room M1.04. As a special guest, we will have Erik Demaine (MIT), who will deliver a public talk as well as a more technical talk during the Theory Day. More details on this event are available here.
• Thursday, 21 August 2014: ICE-TCS, the School of Computer Science at Reykjavik University and the Icelandic Academy of Sciences jointly organize a workshop on Art and Science at Reykjavik University. The event will feature a public talk by Erik Demaine (MIT) as well as presentations by Kjartan Emilsson (CCP) and Anna Hrund Másdóttir. More details on the event are available here. [Poster in PDF and in PNG]
  A radio interview with Magnus M. Halldorsson related to this event is available here (in Icelandic).
• 20-27 August 2014: Erik Demaine (MIT) visits ICE-TCS at Reykjavik University. The hosts for is stay will be Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
• Monday, 18 August 2014: Dario Della Monica will deliver a tutorial at ECAI 2014 entitled Temporal Representation and Reasoning in Interval Temporal Logics. The tutorial will be given jointly with Angelo Montanari and Pietro Sala.
• Tuesday, 22 July 2014: Luca Aceto has been elected as a member of the Informatics section of the Academia Europaea, the Academy of Europe.
• Friday, 18 July 2014: The paper Beyond Geometry: Towards Fully Realistic Wireless Models by Marijke H.L. Bodlaender and Magnus M. Halldorsson is presented at PODC 2014.
• 15-18 July 2014: Magnus M. Halldorsson has received an ACM Recognition of Service Award at PODC 2014.
• Friday, 11 July 2014: Tigran Tonoyan has joined ICE-TCS as a postdoctoral researcher, working with Magnus M. Halldorsson.
• Thursday 10 July 2014: Alexander Guterman (Moscow State University, Russia) delivers and ICE-TCS seminar entitled Tropical linear algebra. The talk will be held at 13:00 in room V1.02 at Reykjavik University.
• Tuesday, 8 July 2014: Luca Aceto has been re-elected president of the European Association for Theoretical Computer Science for a second two-year term.
• Saturday, 5 July 2014: The paper On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders by Luca Aceto, Dario Della Monica, Anna Ingolfsdottir, Angelo Montanari and Guido Sciavicco has been accepted for presentation at the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014.
• Wednesday, 2 July 2014: Luca Aceto is a member of the Executive Committee and of the Awards Committee of the ACM Special Interest Group on Logic and Computation (SIGLOG).
• Friday, 13 June 2014: Marc Renault (LIAFA, Université Paris Diderot - Paris 7, France) will deliver an ICE-TCS seminar. The talk, which is entitled On Online Algorithms with Advice for the Reordering Buffer Management Problem, will be held at 2pm in room M3.25 at Reykjavik University.
• June 11-13: Marc Renault (LIAFA, Université Paris Diderot - Paris 7, France) visits ICE-TCS at Reykjavik University. His host is Magnus M. Halldorsson.
• Monday, 9 June 2014: The paper Axiomatizing Weak Simulation Semantics over BCCSP by L. Aceto, D. de Frutos Escrig, C. Gregorio-Rodriguez and A. Ingolfsdottir has appeared in Theoretical Computer Science 537:42--71, Elsevier.
• Friday, 30 May 2014: María Martos-Salgado (Universidad Complutense Madrid, Spain) will deliver an ICE-TCS seminar. The talk, which is entitled Dynamic Networks of Timed Petri Nets and their expressiveness, will be held at 2pm in room M3.25 at Reykjavik University.
• Friday, 23 May 2014: Fernando Rosa Velardo (Universidad Complutense Madrid, Spain) will deliver an ICE-TCS seminar. The talk, which is entitled Enriched nets for the verification of infinite-state systems, will be held at 2pm in room M3.25 at Reykjavik University.
• 14 May 2014: End of the special half-year on Graphs, Hypergraphs, and Computing at Institut Mittag-Leffler in Stockholm organized by Magnús Halldórsson, Carsten Thomassen, Andrzej Rucinski and Klas Markstroem.
• Wednesday, 14 May 2014: Sigríður Lína Viðarsdóttir defends her MSc thesis entitled Isomorphisms between consecutive pattern classes at 09:00 in room M104 at Reykjavik University. Lina's thesis was supervised by Henning Arnór Úlfarsson (ICE-TCS). The members of the evaluation Committee are Anders Claesson (Senior Lecturer at Strathclyde University) and Mike Atkinson (Professor Emiritus, University of Otago.) See here for more details.
• Friday, 9 May 2014: The following two long-term guests from Universidad Complutense Madrid, Spain, are in residence at ICE-TCS from today:
  • Fernando Rosa Velardo (associate professor, 9-24 May 2014) and
  • María Martos-Salgado (PhD student, 9 May-19 June 2014).
  The hosts for their stay are Luca Aceto and Anna Ingolfsdottir.
• Friday, 2 May 2014: Gilbert Cockton (Northumbria University) will deliver a joint CRESS/ICE-TCS seminar. The talk, which is entitled Creatively led Digital Applications, will be held at 2pm in room M1.08 at Reykjavik University.
• Friday, 25 April 2014: Álvaro García Pérez (IMDEA Software Institute and Universidad Politecnica de Madrid, Spain) will deliver an ICE-TCS seminar. The talk, which is entitled Reasoning about Structural Operational Semantics in a Calculus of Closures, will be held at 2pm in room M1.08 at Reykjavik University.
• 24-27 April 2014: Álvaro García Pérez (IMDEA Software Institute and Universidad Politecnica de Madrid, Spain) visits ICE-TCS at Reykjavik University. The hosts for his stay will be Luca Aceto and Anna Ingolfsdottir.
• Wednesday, 23 April 2014: David Romero Hernández (Universidad Complutense Madrid, Spain) will deliver an ICE-TCS seminar. The talk, which is entitled The happiness visiting Iceland: Defining distances between processes, will be held at 11am in room V1.05 at Reykjavik University.
• Friday, 11 April 2014: Anders Claesson (University of Strathclyde, Scotland) will deliver an ICE-TCS seminar. The talk, which is entitled Interval orders can be viewed as pairs of permutations, will be held at 2pm in room M1.08 at Reykjavik University.
• Monday, 7 April 2014: The paper Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity by Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala and Guido Sciavicco is in press for the journal Theoretical Computer Science.
• Friday, 4 April 2014: Björn Þ. Jonsson delivers a Pearls of Computation talk. The talk, which is entitled Lost at sea: From Jim Gray’s first transaction to his final, will focus on Jim Gray's work and will be held at 2pm in room V1.01 at Reykjavik University. [Recording of the talk]
• Friday, 4 April 2014: The following two long-term guests from Universidad Complutense Madrid, Spain, are in residence at ICE-TCS from today:
  • Ignacio Fábregas Alfaro (Postdoc, April 2014-March 2016) and
  • David Romero Hernández (PhD student, April 2014).
  The hosts for their stay are Luca Aceto and Anna Ingolfsdottir.
• Friday, 21 March 2014: Adrian Francalanza (University of Malta) will deliver an ICE-TCS seminar. The talk, which is entitled Synthesising Correct Concurrent Runtime Monitors, will be held at 2pm in room M1.08 at Reykjavik University.
• 17-19 March 2014: Adrian Francalanza (University of Malta) delivers a five-hour mini-course on Fundamentals of Monitors and Runtime Verification.
• 17-21 March 2014: Adrian Francalanza (University of Malta) will visit ICE-TCS and will deliver an ICE-TCS seminar during his stay. His hosts are Luca Aceto and Anna Ingolfsdottir.
• Friday, 14 March 2014: Hannes Högni Vilhjálmsson delivers a Pearls of Computation talk. The talk, which is entitled The Ultimate Display: Imagining and Inventing Computer Graphics Polygon by Polygon, will focus on Ivan Sutherland's work and will be held at 2pm in room V1.01 at Reykjavik University.
• Friday, 21 February 2014: Marjan Sirjani delivers a Pearls of Computation talk. The talk, which is entitled Edmund Clarke: Sharing a Turing Award for Model Checking, will focus on Edmund Clarke's work and will be held at 2pm in room V1.01 at Reykjavik University.
• Wednesday, 19 February 2014: Matteo Cimini (LIX, École Polytechnique, Paris, France) delivers an ICE-TCS seminar. The talk, which is entitled A formalization of bisimulation-up-to techniques and their meta-theory, will be held at 11am in room M1.12 at Reykjavik University.
• 17-21 February 2014: Matteo Cimini (LIX, École Polytechnique, Paris, France) visits ICE-TCS. His hosts are Luca Aceto and Anna Ingolfsdottir.
• Monday, 17 February 2014: Magnus M. Halldorsson has accepted to become Associate Editor for the journal Discrete Optimization.
• Monday, 10 February 2014: The paper A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations: The General and the Dense Cases by Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingolfsdottir, Angelo Montanari and Guido Sciavicco is now available.
• Monday, 10 February 2014: The project Formal Methods for the Development and Evaluation of Sustainable Systems has been approved for funding under the Programme NILS Science and Sustainability (Abel - Coordinated Mobility for Researchers) as part of the research within Priority Sectors Programme of the EEA Grants Framework. The project is a collaboration between Reykjavik University and Universidad Complutense de Madrid, and is led by Luca Aceto and Anna Ingolfsdottir (ICE-TCS) and David de Frutos Escrig (UCM). The total funding is 100,050 € for 2014-2015.
• Friday, 31 January 2014: Ymir Vigfusson delivers a Pearls of Computation entitled It's a small world: why you are connected to anyone on the planet through only a handful of people. The talk will focus on Jon Kleinberg's work and will be held at 2pm in room V1.01 at Reykjavik University.
  • Video of the talk.
  • Slides (pptx format, roughly 8MB).
• 27-31 January 2014: Guy Even, Magnus M. Halldorsson, Yvonne-Ann Pignolet and Christian Scheider are organizers of a Dagstuhl workshop on "Algorithms for Wireless Communication".
• 24 January 2014: Sheng Tang (Institute of Computing Technology, Chinese Academy of Sciences (ICT-CAS), China) delivers a joint CRESS/ICE-TCS seminar. The talk, which is entitled Sparse Ensemble Learning for Visual Concept Detection, will be held at 2pm in room M1.08 at Reykjavik University.
• Friday, 17 January 2013: Christian Konrad (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled On the Order of Graph Streams, will be held at 2pm in room M1.08 at Reykjavik University. More information about the talk is here.
• Thursday, 16 January 2014: ICE-TCS researchers have been awarded two of the nine project grants in Engineering, Technical Science and Physical Sciences for 2014 of the Icelandic Research Fund. The funded projects are:
  • Finding structure in sets of permutations (Henning A. Ulfarsson PI; Michael H. Albert, Anders Karl Claesson co-proposers; 9,790 K ISK for the first year of three) and
  • Nominal Structural Operational Semantics (Luca Aceto, PI; Anna Ingolfsdottir, MohammadReza Mousavi and Davide Sangiorgi co-proposers; 9,306 K ISK for the first year of three).
  The list of projects selected for funding is here.
• 14 January-14 May 2014: Magnús Halldórsson, Carsten Thomassen, Andrzej Rucinski and Klas Markstroem will organize a special half-year on Graphs, Hypergraphs, and Computing at Institut Mittag-Leffler in Stockholm.
• Friday, 10 January 2014: The ICE-TCS annual report for 2013 is now available.