News 2015
- Saturday, 26 December 2015: The paper
Pattern avoiding
permutations and independent sets in graphs by Christian Bean,
Murray Tannock and Henning Ulfarsson is now available.
- Saturday, 19 December 2015: The paper
Proving
Continuity of Coinductive Global Bisimulation Distances: A Never
Ending Story by David Romero-Hernández, David de Frutos-Escrig
and Dario Della Monica has been published in the Proceedings XV
Jornadas sobre Programación y Lenguajes (PROLE 2015), Santander,
Spain, 15-17th September 2015, Electronic Proceedings in Theoretical
Computer Science 200, pp. 48–63.
- Friday, 18 December 2015: Andres Iroume (Georgia Institute of
Technology, USA). The talk, which is entitled Strengthened Sparse
Approximations for Polytopes, will be held at 2pm in room M1.02 at
Reykjavik University. More details on this talk are available
here.
- Friday, 11 December 2015: Christian Konrad (Reykjavik University)
will deliver an ICE-TCS seminar. The talk, which is entitled New
Algorithms for Old Problems: Streaming Algorithms for Partitioning
Sequences and Trees, will be held at 2pm in room M1.21 at
Reykjavik University. More details on this talk are available
here.
- Friday, 20 November 2015:
Yolanda
Ortega Mallen (Universidad Complutense de Madrid, Spain) will
deliver an ICE-TCS seminar. The talk, which is
entitled Launchbury's semantics revisited: Looking for the missing
proofs, will be held at 2pm in room M1.02 at Reykjavik
University. See
here for
more details on this talk.
- 8-28 November 2015:
Yolanda
Ortega Mallen (Universidad Complutense de Madrid, Spain) visits
ICE-TCS. The hosts for her stay are Luca Aceto and Anna Ingolfsdottir.
- Friday, 13 November 2015: Tigran Tonoyan (Reykjavik
University) will deliver an ICE-TCS seminar. The talk, which is entitled
Limitations of Current Wireless Scheduling Algorithms,
will be held at 2pm in room M1.02 at Reykjavik University.
- Thursday, 12 November 2015: The paper
A unified rule format for bounded
nondeterminism in SOS with terms as labels by Luca Aceto,
Ignacio Fábregas, Alvaro García-Pérez and Anna Ingólfsdóttir is now
available.
- Friday, 6 November 2015: Luca Aceto will deliver a Pearls of
Computation talk at 2pm in room M104 at Reykjavik University. The talk
is entitled Michael O. Rabin: Automata, Logic and Randomness in
Computation. See
here for
further information. [YouTube video] [Rabinism Collection] [Slides (PDF file with hyperlinks)]
- Monday, 2 November 2015: Magnus M. Halldorsson has been elected
to the Council of the
EATCS. See
here
for a news item (in Icelandic).
- Friday, 30 October 2015: Tomas Ken Magnusson (Reykjavik
University) will deliver an ICE-TCS seminar. The talk, which is
entitled
Bounds
and Fixed-Parameter Algorithms for Weighted Improper Coloring,
will be held at 2pm in room M1.02 at Reykjavik University.
- 21-23 October 2015: Luca Aceto and Anna Ingolfsdottir will be PC
co-chairs and organizers for the
27th Nordic Workshop on
Programming Theory (NWPT 2015) at Reykjavik University. A report on the workshop is here.
- Friday, 9 October 2015: Luca Aceto will deliver a Pearls of
Computation talk at 2pm in room M104 at Reykjavik University. The
talk, which is entitled Barbara Liskov: The Power and the Glory of
Abstraction, will describe some of the work of
Barbara
Liskov, who received the 2008 Turing Award from the
ACM. [Video of the talk]
- Friday, 2 October 2015: The blog post
Running
a research centre in TCS in Iceland for ten years by Luca
Aceto is devoted to the first ten years of ICE-TCS. A slightly
expanded version of that post will appear in the October issue of
the Bulletin of the EATCS.
- Friday, 2 October 2015: Ulfar Erlingsson (Google) will deliver an
ICE-TCS seminar. The talk, which is entitled What's the Big Deal
with Big Data and Deep Learning?, will be held at 2pm in room
M208 (note the new room!) at Reykjavik University. See
here for
more details.
Here are some interesting links for those who would like to
learn more on the topc of the ICE-TCS talk by Úlfar Erlingsson:
- Monday, 20 September 2015: The following papers by Magnus
M. Halldorsson and his coworkers have been accepted.
- Daniele Catanzaro, Steven Chaplick, Stefan Felsner, Bjarni
V. Halldórsson, Magnús M. Halldórsson, Thomas Hixon and Juraj
Stacho. Max
point-tolerance graphs. Discrete Applied Mathematics,
Elsevier.
- Magnús M. Halldórsson, Sergey Kitaev and Artem
Pyatkin. Semi-transitive
orientations and word-representable graphs. Discrete Applied
Mathematics, Elsevier.
- Bjarni V. Halldórsson, Magnús M. Halldórsson, Elena Losievskaja and Mario Szegedy. Streaming Algorithms for Independent Sets in Sparse Hypergraphs. Algorithmica, Springer Verlag.
- Pierre Fraigniaud, Magnús M. Halldórsson, Boaz Patt-Shamir, Dror
Rawitz and Adi
Rosén. Shrinking
Maxima, Decreasing Costs: New Online Packing and Covering
Problems. Algorithmica, Springer Verlag.
- Yusuke Aoki, Bjarni V. Halldórsson, Magnús M. Halldórsson,
Takehiro Ito, Christian Konrad and Xiao
Zhou. The
minimum vulnerability problem on specific graph
classes. Journal of Combinatorial Optimization, Springer
Verlag.
-
Magnus M. Halldorsson and Tigran Tonoyan.
Limitations of Current Wireless Scheduling Algorithms. Proceedings of ALGOSENSORS 2015, 17 -18 September, Patras, Greece.
- Rajiv Gandhi, Magnus M. Halldorsson, Christian Konrad, Guy Kortsarz and Hoon Oh.
Radio Aggregation Scheduling. Proceedings of ALGOSENSORS 2015, 17 -18 September, Patras, Greece.
- Magnus M. Halldorsson and Tigran Tonoyan.
The Price of Local Power Control in Wireless Scheduling. Proceedings of FSTTCS 2015, the 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Indian Institute of Science, Bangalore. December 16–18, 2015.
- Magnus M. Halldorsson, Sven Köhler, Boaz Patt-Shamir and Dror
Rawitz. Distributed Backup Placement in Networks. Proceedings of SPAA
2015, the 27th ACM Symposium on Parallelism in Algorithms and
Architectures, Portland, Oregon, USA June 13-15, 2015.
- Friday, 18 September 2015: Magnus M. Halldorsson will deliver a
Pearls of Computation talk at 2pm in room M104 at Reykjavik
University. The talk, which is entitled Pearls of Computation:
Christos Papadimitriou, will be devoted to the work of
one of
the most interesting personalities in Computer Science. More
information on this talk is available
here. [YouTube
video]
- Monday, 14 September 2015: The following papers co-authored by
Henning Ulfarsson have been accepted for publication:
- Friday, 11 September 2015:
Mads Chr. Olesen (Aalborg
University, Denmark) will deliver an ICE-TCS seminar. The talk, which
is entitled Formal Methods for Modelling and Analysis of
Single-Event Upsets, will be held at 2pm in room M1.02 at
Reykjavik University. See
here for
more details on this talk.
- 9-11 September 2015: Luca Aceto will be an invited speaker at
ICTCS 2015, the 16th Italian
Conference on Theoretical Computer Science, Firenze, Italy.
- 6-11 September 2015: Magnus Halldorsson was an invited speaker at
the
Workshop on
Cycles and colourings, High Tatras, Slovakia.
- 31 August-5 September 2015: Luca Aceto will be PC co-chair for
the 26th International
Conference on Concurrency Theory (CONCUR 2015), Madrid,
Spain.
- Friday, 21 August 2015: The
ICE-TCS Theory Day for
2015 will take place at 2pm in room M1.04 at Reykjavik
University. The event will feature presentations by
Gerard Berry
(College de France),
Hafsteinn
Einarsson (ETH Zurich) and
Roger
Wattenhofer (ETH Zurich). During this event we will also celebrate
the tenth birthday of ICE-TCS, which was founded at the end of April
2005.
- Thursday, 20 August 2015:
Gerard Berry
(College de France) will deliver a public talk entitled The
algorithmic revolution in the sciences at 5pm in room V101 at
Reykjavik University. This is a joint event with
Visindafelag Islendinga.
- 20-21 August 2015:
Gerard Berry
(College de France), recipient of the CNRS Gold Medal 2014, visits
ICE-TCS. During his stay, Gerard will deliver a public talk and a
presentation at the ICE-TCS Theory Day.
- Friday, 31 July 2015: The paper Bounds and Fixed-Parameter
Algorithms for Weighted Improper Coloring by Bjarki Ágúst
Guðmundsson, Tómas Ken Magnússon and Björn Orri Sæmundsson has
been accepted for the
16th Italian
Conference on Theoretical Computer Science (ICTCS 2015). The
three authors are undergraduate students at Reykjavik
University. Congratulations to the authors!
- Friday, 24 July 2015: The paper Distributed Large Independent
Sets in One Round On Bounded independence Graphs by Magnus
M. Halldorsson and Christian Konrad has been accepted for
DISC 2015.
- 6-10 July 2015: Magnus M. Halldorsson is the PC chair for the
Track C of ICALP
2015.
- 5 July 2015: Magnus M. Halldorsson organizes the
Sixth Workshop on Realistic
models for Algorithms in Wireless Networks (WRAWN) in Kyoto,
Japan. The workshop is co-located with ICALP 2015.
- Monday, 22 June 2015:
Carlos Gregorio-Rodriguez
(Universidad Complutense de Madrid, Spain) will deliver an ICE-TCS
seminar. The talk, which is entitled A conformance simulation
relation for model based testing and model checking, will be held
at 2pm in room M1.02 at Reykjavik University. See
here for
more details on this talk.
- Monday, 15 June 2015: The paper
Maximum Matching in
Turnstile Streams by Christian Konrad has been accepted for
presentation at ESA 2015,
to be held in Patras, Greece, in the period 14-16 September 2015.
- Friday, 12 June 2015: Carlos
Varela (Rensselaer Polytechnic Institute, USA) will deliver an
ICE-TCS seminar. The talk, which is entitled Structured Reasoning
about Actor Systems, will be held at 2pm in room M1.02 at Reykjavik
University.
- Wednesday, 10 June 2015: The paper On Verifying
Hennessy-Milner Logic with Recursion at Runtime by A. Francalanza,
L. Aceto and A. Ingolfsdottir has been accepted for the
15th International Conference
on Runtime Verification (RV 2015), 22-25 September 2015, Vienna,
Austria.
- Tuesday, 9 June 2015:
Michael
Albert (University of Otago, New Zealand) will deliver an ICE-TCS
seminar. The talk, which is entitled Catalan coincidences, will
be held at 2pm in room V1.02 at Reykjavik University. (Note the
non-standard location.)
- Tuesday, 9 June 2015: The paper Rule
formats for bounded nondeterminism in structural operational
semantics by Luca Aceto, Alvaro Garcia Perez and Anna
Ingolfsdottir has been accepted for publication as a chapter
contribution to a Festschrift to be published by Springer-Verlag,
2016.
- Tuesday, 4 June 2015: The following journal papers are now available on line:
- Wednesday, 3 June 2015: The paper When are prime formulae
characteristic? by Luca Aceto, Dario Della Monica, Ignacio
Fabregas and Anna Ingolfsdottir has been accepted for presentation at
the 40th MFCS, Mathematical
Foundations of Computer Science, to be held in Milano, Italy,
August 24-28, 2015.
- Wednesday, 3 June 2015:
Dominic Orchard
(Imperial College, London, UK) will deliver an ICE-TCS seminar. The
talk, which is entitled Effects in a pi - using session types as an
effect system, will be held at 11am in room M1.02 at Reykjavik
University. More details on this talk are
here.
- 3-30 June 2015:
Carlos
Gregorio Rodriguez (Universidad Complutense Madrid, Spain) visits
ICE-TCS at Reykjavik University. The hosts for their stay are Luca
Aceto and Anna Ingolfsdottir.
- 31 May-14 June 2015:
Michael
Albert (University of Otago, New Zealand) visits ICE-TCS at
Reykjavik University. The host for his stay is Henning Ulfarsson.
- 13 May-15 June 2015:
David
de Frutos Escrig (Universidad Complutense Madrid, Spain) and
David
Romero Hernández (Universidad Complutense Madrid, Spain) visit
ICE-TCS at Reykjavik University. The hosts for their stay are Luca
Aceto and Anna Ingolfsdottir.
- Friday, 29 May 2015: Joshua
Sack (University of Amsterdam, NL) will deliver an ICE-TCS
seminar. The talk, which is entitled Quantales with Quantum
Structure, will be held at 2pm in room M1.02 at Reykjavik
University.
- 24-31 May 2015: Joshua
Sack (University of Amsterdam, NL) will visit ICE-TCS. The hosts
for his stay are Luca Aceto and Anna Ingolfsdottir.
- Friday, 22 May 2015: Anna Ingolfsdottir (Reykjavik University of
Maryland) will deliver an ICE-TCS seminar. The talk, which is
entitled When are prime formulae characteristic?, will be held
at 2pm in room M1.02 at Reykjavik University.
- Monday, 18 May 2015: Cheyne
Homberger (University of Maryland, Baltimore County) will deliver
an ICE-TCS seminar. The talk, which is entitled Counting Patterns:
Equipopularity in Permutation Classes, will be held at 2pm in room
M1.02 at Reykjavik University.
- Friday, 8 May 2015: Cesar Augusto Nieto Coria (University of
Camerino) will deliver an ICE-TCS seminar. The talk, which is
entitled Modeling the Marine Ecosystem towards an Agent-Based
Approach, will be held at 2pm in room M3.06 at Reykjavik
University. (Note the nonstandard location.)
- Tuesday, 5 May 2015: The ICE-TCS annual
report for 2014 is now available.
- Thursday, 30 April 2015: The papers
- Magnus M. Halldorsson, Stephan Holzer and Nancy Lynch. A Local Broadcast Layer for the SINR Network Model
- Magnus M. Halldorsson, Yuexuan Wang and Dongxiao Yu. Leveraging Multiple Channels in Ad Hoc Networks
have been accepted for PODC 2015.
- Wednesday, 29 April 2015: ICE-TCS is ten years old!
- Friday, 24 April 2015:
Marcel Kyas
(Reykjavik University) will deliver an ICE-TCS seminar. The talk,
which is entitled Indoor Positioning, will be held at 2pm in
room M1.02 at Reykjavik University.
- Tuesday, 21 April 2015: ICE-TCS researchers contribute three
talks to the
Reykjavik
University Lecture Marathon for 2015. The talks were:
- Anna Ingólfsdóttir. Reasoning logically about knowledge is fun. [Video]
-
Luca Aceto. Are models logical? [Video]
Henning Úlfarsson. A surprising bijection between permutations and polygons. [Video]
Thursday, 16 April 2015:
Zoltan Esik (University of
Szeged, Hungary) will deliver an ICE-TCS seminar. The talk, which is
entitled Solving non-monotonic fixed point equations with an
application to logic programming, will be held at 11am in room
M1.02 at Reykjavik University.
14-25 April 2015: Zoltan
Esik (University of Szeged, Hungary) vists ICE-TCS. The hosts for
his stay are Luca Aceto and Anna Ingolfsdottir.
Friday, 10 April 2015: Alvaro Garcia Perez will deliver a Pearls
of Computation talk at 2pm in room M104 at Reykjavik University. The
talk, which is entitled The Essence of Reynolds, will be
devoted to the life and work of
John
C. Reynolds. See
here for
more details on this
talk. [Recording of the talk]
[Slides]
Thursday, 9 April 2015: Anders
Claesson (University of Strathclyde, UK) will deliver an ICE-TCS
seminar. The talk, which is entitled Pascal's matrix and incidence
algebras, will be held at 2pm in room M1.02 at Reykjavik
University. Further information on the talk is available
here.
Monday, 30 March 2015: The paper Rule
formats for bounded nondeterminism in structural operational
semantics by Luca Aceto, Alvaro Garcia Perez and Anna
Ingolfsdottir is now available.
Friday, 27 March 2015: Magnus M. Halldorsson will deliver an
ICE-TCS seminar. The talk, which is entitled Tree Matching, 20
years later, will be held at 2pm in room M1.02 at Reykjavik
University. Further information on the talk is available
here.
Friday, 6 March 2015: Daniel B. Sigurgeirsson will deliver a
Pearls of Computation talk at 2pm in room M104 at Reykjavik
University. The talk, which is entitled Grace Murray Hopper: The
queen of code will be devoted to the work of
Grace Murray
Hopper. [Recording of the talk] [Slides] [The Queen Of Code (short movie about Grace Hopper)]
Friday, 20 February 2015: Eyjólfur Ingi Ásgeirsson (Reykjvik
University) will deliver an ICE-TCS seminar to celebrate the 100th
anniversary of the birth of
George
Dantzig, who made important contributions to operations research,
computer science, economics and statistics. The talk will be held at
2pm in room M1.02 at Reykjavik University.
Friday, 13 February 2015: Hannes H. Vilhjálmsson will deliver a
Pearls of Computation talk at 2pm in room M104 at Reykjavik
University. The talk, which is entitled J. C. R. Licklider:
Man-Computer Symbiosis on the Intergalactic Computer Network, will
be devoted to the work of
J. C. R. Licklider. [Recording of the talk] [Slides (PDF)]
Friday, 6 February 2015: Christian Bean (Reykjavik University)
will deliver an ICE-TCS seminar. The talk, which is
entitled Bivincular Patterns: Simultaneous Avoidance of a Vincular
and a Covincular Pattern of Length 3 will be held at 2pm in room,
M1.02 at Reykjavik University.
Tuesday, 3 February 2015: The paper How Well Can Graphs
Represent Wireless Interference? by Magnus M. Halldorsson and
Tigran Tonoyan has been accepted for
STOC 2015: 47th Annual Symposium
on the Theory of Computing, Portland, Oregon, June 15-17
2015. STOC is one of the most prestigious and competitive conferences
in TCS. Congratulations to Magnus and Tigran!
Friday, 30 January 2015: Adrian Francalanza (University of Malta)
will deliver an ICE-TCS seminar. The talk, which is entitled An LTL
Proof System for Runtime Verification, will be held at 2pm in room
M1.02 at Reykjavik University.
24-29 January 2015: Magnus M. Halldorsson will be invited speaker
at the 41st International
Conference on Current Trends in Theory and Practice of Computer
Science (SOFSEM 2015.
Friday, 23 January 2015: Christian Konrad will deliver a Pearls of
Computation talk at 2pm in room M104 at Reykjavik University. The
talk, which is entitled Philippe Flajolet: Does
research. Smokes. Battles administration., will be devoted to
Philippe
Flajolet and his work on the analysis of
algorithms. [Slides
(PDF file, 9MB)] [Recording of the talk]
Tuesday, 13 January 2015: Researchers affiliated with ICE-TCS have been awarded three grants by the Icelandic Research Fund for 2015. The funded projects are:
- Magnús Már Halldórsson (with Eyjólfur Ingi Ásgeirsson, Marijke
Hilde Lore Bodlaender and Roger Wattenhofer). Models of
Unreliability and Dynamics in Wireless Networks. Amount: 9,264,000
ISK.
- Páll Melsted (University of Iceland, together with Lior Samuel Pachter). Streaming algorithms for whole genome assembly. Amount: 9,950,000 ISK.
- Ýmir Vigfússon (with Leon Danon and Guðrún Sigmundsdóttir). Detecting outbreaks with mobile phone data. Amount: 9,240,000 ISK.
These were the only grants awarded in the field of computer science
this year. Full details are
here
(in Icelandic).
Sunday, 11 January 2015: Henning Ulfarsson will deliver an
invited presentation entitled Struct: An algorithm for guessing the
structure and enumeration of permutation sets at the AMS Special
Session on Enumerative Combinatorics that takes place at the
2015
Joint Mathematics Meetings.