News

Recent activities and happenings related to ICE-TCS and its members, roughly in reverse chronological order. Older news items are available from our archive.

This Week at ICE-TCS

• Tuesday, 11 December 2018: Tarmo Uustalu (Reykjavik University) will deliver an ICE-TCS seminar entitled Derivatives of Existentially Regular Trace Languages. The talk will be held in room M1.10 from 12:10 till 13:00.
• 10-17 December 2018: Varmo Vene (University of Tartu, Estonia) will visit ICE-TCS. The hhost for his stay is Tarmo Uustalu.

Forthcoming Events

• 29-31 May 2019: Magnús M. Halldórsson will give a keynote address, titled "How well do we know the physical model?", at DCOSS 2019.
• Friday, 3 May 2019: The ICE-TCS Theory 2019 will take place on this day from 13:00 till 15:00. It will feature an invited talk from Ravi Boppana (Department of Mathematics, MIT). Further details on this event will be available in due course.
• 1-17 May 2019: Ravi Boppana (Department of Mathematics, MIT) will visit ICE-TCS and will deliver an ICE-TCS seminar during his stay, which is hosted by Magnús M. Halldórsson. Ravi Boppana received a Ph.D. in Math from MIT at the age of 22. He is best known for his works with Noga Alon showing that monotone circuits for NP-complete problems require exponential size, and linking the expansion property of graphs to the second eigenvalue of its adjacency matrix. He received teaching awards both at Rutgers University and New York University and is celebrated for his exposition. He founded and directs the national Math Prize for Girls contest.
• 28 January-29 May 2019: Duncan Paul Attard (University of Malta) will be visiting ICE-TCS. The hosts for his stay are Luca Aceto, Antonis Achilleos and Anna Ingolfsdottir.
• Tuesday, 8 January 2019: Robin Cockett (University of Calgary) will deliver an ICE-TCS seminar entitled The category CNOT from 12:10 till 13:00 in room M1.20.
• 6-13 January 2019: Robin Cockett (University of Calgary) will be visiting ICE-TCS and will deliver an ICE-TCS seminar entitled The category CNOT. The host for his stay is Tarmo Uustalu.

Recent Events and News

• Saturday, 1 December 2018: The paper When are prime formulae characteristic? by Luca Aceto, Dario Della Monica, Ignacio Fábregas and Anna Ingólfsdóttir has been accepted for publication in the journal Theoretical Computer Science.
• Tuesday, 27 November 2018: Antonis Achilleos will deliver an ICE-TCS seminar entitled Adventures in moniorability. The talk will be held in room M3.27 from 12:10 till 13:00. See here for more information on this talk.
• Tuesday, 20 November 2018: Thomas Selig (University of Iceland) will deliver an ICE-TCS seminar entitled Combinatorics of complete non-ambiguous trees. The talk will be held in room V1.04 from 12:10 till 13:00. Further information on this talk is available here.
• Friday, 16 November 2018: Antonis Achilleos is an invited speaker at NYCAC 2018, The New York Colloquium on Algorithms and Complexity 2018, The Graduate Center, CUNY, New York City.
• Tuesday, 13 November 2018: Michal Opler (Computer Science Institute, Charles University, Czech Republic) will deliver an ICE-TCS seminar entitled Generalized Coloring of Permutations. The talk will be held in room V1.04 from 12:10 till 13:00. Further information on this talk is available here.
• 13-16 November 2018: Michal Opler (Computer Science Institute, Charles University, Czech Republic) will visit ICE-TCS at Reykjavik University. The host for his stay is Henning Úlfarsson.
• Friday, 9 November 2018: ICE-TCS research will be featured in an ICE-TCS workshop held at the Gran Sasso Science Institute (GSSI) (L'Aquila, Italy). The purpose of the event is to establish scientific collaborations and joint PhD supervisions between ICE-TCS and the Computer Science group at the GSSI. The programme for the workshop is available here.
• Tuesday, 6 November 2018: Murilo Santos de Lima (Reykjavik University) will deliver an ICE-TCS seminar entitled Parking Permit and Network Leasing Problems. The talk will be held in room V1.04 from 12:10 till 13:00. Further information on this talk is available here.
• Tuesday, 30 October 2018: Páll Melsted (Faculty of Industrial Engineering, Mechanical Engineering and Computer Science, University of Iceland) will deliver an ICE-TCS seminar entitled Single Cell RNA-Sequence analysis with kallisto. The talk will be held in room V1.04 from 12:10 till 13:00. Further information on this talk is available here.
• Tuesday, 23 October 2018: Georgiana Caltais (University of Konstanz, Germany) will deliver an ICE-TCS seminar entitled Counterfactual causal reasoning for concurrency - one possible approach. The talk will be held in room V1.04 from 12:10 till 13:00. See here for more information.
• Friday, 19 October 2018: Luca Aceto and Anna Ingólfsdóttir have been awarded a PhD Student Grant from the Reykjavik University Research Fund for the research project Open problems in the Equational Logic of Processes. The grant amounts to 5,340K ISK for one year (roughly 40K euros).
• Saturday, 13 October 2018: The paper Combinatorial exploration by Christian Bean, Michael Albert, Anders Claesson, Jay Pantone and Henning Ulfarsson has been selected for presentation at the 2nd International Workshop on Enumeration Problems & Applications, 5-8 November 2018, Pisa, Italy.
• 12-19 October 2018: Bernd Fischer and Tarmo Uustalu organize and co-chair ICTAC 2018, together with a spring school, in Stellenbosch, South Africa.
• 8-28 October 2018: Georgiana Caltais (University of Konstanz, Germany) visits ICE-TCS. The hosts for her stay are Luca Aceto, Antonis Achilleos and Anna Ingólfsdóttir.
• Tuesday, 9 October 2019: The paper Adventures in Monitorability: From Branching to Linear Time and Back Again by Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir and Karoliina Lehtinen has been accepted for publication in the Proceedings of 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), which will be published in the new ACM journal Proceedings of the ACM on Programming Languages (PACMPL).
• Tuesday, 2 October 2018: Timo Hönig (Friedrich-Alexander University Erlangen-Nürnberg, Germany) will deliver an ICE-TCS seminar entitled Exploiting Dynamic Electricity Prices with an Energy-Aware Runtime System for Heterogeneous HPC Clusters. The talk will be held in room V1.04 from 12:10 till 13:00. See here for further information on this talk.
• Monday, 1 October 2018: Murilo Santos de Lima has joined ICE-TCS as a postdoctoral researcher, working with Magnús M. Halldórsson.
• Tuesday, 25 September 2018: Ian Cassar (Reykjavik University and University of Malta) will deliver an ICE-TCS seminar entitled On Runtime Enforcement via Suppressions. The talk will be held in room V1.04 from 12:10 till 13:00. See here for further information.
• 17 September-7 December 2018: Ian Cassar (University of Malta and Reykjavik University) will visit ICE-TCS. The hosts for his stay are Luca Aceto, Antonis Achilleos and Anna Ingólfsdóttir.
• Friday, 14 September 2018: The paper Codensity lifting of monads and its dual by Shin-ya Katsumata, Tetsuya Sato and Tarmo Uustalu has been accepted for the journal Logical Methods in Computer Science.
• Tuesday, 4 September 2018: Alex Popa (Faculty of Mathematics and Computer Science, University of Bucharest, Romania) will deliver an ICE-TCS seminar entitled Improving bandwidth in wireless mesh networks. The talk will be held in room V1.04 from 12:10 till 13:00. See here for further information on this talk.
• 3-9 September 2018: Alex Popa (Faculty of Mathematics and Computer Science, University of Bucharest, Romania) visits ICE-TCS. The host for his stay is Magnús M. Halldórsson.
• Friday, 24 August 2018: The 14th annual ICE-TCS Theory Day will be held on this day from 1pm till 3pm in room V107 at Reykjavik University. The event will feature an invited talk by Takeshi Tokuyama (Tohoku University, Japan). Further details are available here.
• Thursday, 23 August 2018: Tami Tamir (Efi Arazi School of Computer Science, The Interdisciplinary Center) will deliver an ICE-TCS seminar entitled New variants of resource-allocation games. The talk will be held in room M1.02 from 12:00 till 13:00. Tami was the Dean of the School of CS at the Interdisciplinary Center in Israel for 10 years, during a period of growth and expansion. In her talk, she will talk a bit about women in CS and challenges in growing a department, in addition to the research talk oriented to a general audience.
• 23-29 August 2018: Takeshi Tokuyama (Tohoku University, Japan) visits ICE-TCS. The host for his stay is Magnús M. Halldórsson.
• Friday, 8 June 2018: The paper On Runtime Enforcement via Suppressions by Luca Aceto, Ian Cassar, Adrian Francalanza and Anna Ingolfsdottir has been accepted for the 29th International Conference on Concurrency Theory (CONCUR 2018).
• Wednesday, 16 May 2018: Georgiana Caltais (University of Konstanz, Germany) will deliver an ICE-TCS seminar entitled Causality for General LTL-definable Properties from 12:10 till 13:00 in room M1.08 at Reykjavik University.
• 16-18 May 2018: Georgiana Caltais (University of Konstanz, Germany) visits ICE-TCS. The hosts for her stay are Luca Aceto and Anna Ingólfsdóttir.
• Monday, 14 May 2018: The paper The sequent calculus of skew monoidal categories by Tarmo Uustalu, Niccolò Veltri and Noam Zeilberger has been accepted for the 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018), Halifax, Canada, June 6–9, 2018.
• Wednesday, 2 May 2018: Catia Trubiani (Gran Sasso Science Institute, Italy) will deliver a joint ICE-TCS/CRESS seminar entitled Uncertainty Propagation in Software Performance Engineering from 12:10 till 13:00 in room M1.17 at Reykjavik University. Further details on this talk are available here.
• 30 April-4 May 2018: Catia Trubiani (Gran Sasso Science Institute, Italy) visits ICE-TCS and CRESS. The hosts for her stay are Luca Aceto, Mohammad Hamdaqa and Anna Ingólfsdóttir.
• Tuesday, 17 April 2018: The paper Spanning Trees With Edge Conflicts and Wireless Connectivity by Magnús M. Halldórsson, Guy Kortsarz, Pradipta Mitra and Tigran Tonoyan has been accepted for publication at ICALP 2018, Track C.
• Monday, 19 March 2018: Niccolò Veltri (ITU Copenhagen) will deliver an ICE-TCS seminar entitled Labelled transition systems in homotopy type theory from 12:10 till 13:00 in room M1.11 at Reykjavik University.
• 13-20 March 2018: Niccolò Veltri (ITU Copenhagen) will be visiting ICE-TCS. The host for his stay is Tarmo Uustalu.
• 15 January-15 March 2018: Duncan Paul Attard and Ian Cassar (both at the University of Malta) will be visiting ICE-TCS. The hosts for their stay are Luca Aceto and Anna Ingolfsdottir.
• Friday, 23 February 2018: Denis Firsov (University of Iowa) will deliver an ICE-TCS seminar entitled Generic derivation of induction for impredicative encodings in Cedille from 12:10 till 13:00 in room TBA at Reykjavik University.
• 20-24 February 2018: Denis Firsov (University of Iowa) will be visiting ICE-TCS. The host for his stay is Tarmo Uustalu.
• Monday, 19 February 2018: Duncan Paul Attard and Ian Cassar (both at the University of Malta) will deliver an ICE-TCS seminar from 12:10 till 13:00 in room M1.11 at Reykjavik University. The details of the talk will be available in due course.
• 6-18 February 2018: Hendrik Maarand (Tallinn University of Technology, Estonia) will be visiting ICE-TCS. The host for his stay is Tarmo Uustalu.
• Tuesday, 13 February 2018: The paper Universal Framework for Wireless Scheduling Problems by E. I. Ásgeirsson, M. M. Halldorsson and T. Tonoyan has been invited to this year's Highlights in Algorithms conference, which is meant to showcase some of the best recent papers in algorithms.
• Monday, 12 February 2018: Hendrik Maarand (Tallinn University of Technology, Estonia) will deliver an ICE-TCS seminar entitled Certified Foata normalization for generalized traces from 12:10 till 13:00 in room M1.11 at Reykjavik University.
• Monday, 5 February 2018: Antonis Achilleos (Reykjavik University) will deliver an ICE-TCS seminar entitled The Completeness Problem for Modal Logic from 12:10 till 13:00 in room M1.11 at Reykjavik University.
• Monday, 29 January 2018: Danel Ahman (INRIA Paris Rocquencourt) will deliver an ICE-TCS seminar entitled Embracing monotonicity in F* from 12:10 till 13:00 in room M1.11 at Reykjavik University.
• 27 January-2 February 2018: Danel Ahman (INRIA Paris Rocquencourt) will be visiting ICE-TCS. The host for his stay is Tarmo Uustalu.
• Monday, 22 January 2018: ICE-TCS researchers have been awarded two grants by the Icelandic Research Fund in response to the call for applications for the year 2018.
  • Antonis Achilleos received 29,987K ISK (approximately 237,800 EUR) for a three-year postdoctoral grant.
  • Ian Cassar received 9,600K ISK (approximately 76,130 EUR) for a two-year doctoral grant.
  Congratulations to Antonis and Ian!
• Monday, 22 January 2018: The paper Certified Foata normalization for generalized traces by Hendrik Maarand and Tarmo Uustalu has been accepted for the Tenth NASA Formal Methods Symposium (NFM 2018).
• Monday, 22 January 2018: Karoliina Lehtinen (Christian-Albrechts University of Kiel, Germany) will deliver an ICE-TCS seminar entitled Runtime Verification of Fixpoint Logic: Synthesis of Optimal Monitors from 12:10 till 13:00 in room M1.11 at Reykjavik University.
• 20-27 January 2018: Karoliina Lehtinen (Christian-Albrechts University of Kiel, Germany) will be visiting ICE-TCS. The hosts for her stay are Luca Aceto and Anna Ingolfsdottir.
• 19-27 January 2018: Adrian Francalanza (University of Malta) will be visiting ICE-TCS. The hosts for their stay are Luca Aceto and Anna Ingolfsdottir.
• Friday, 12 January 2018: The ICE-TCS annual report for 2017 is now available.
• Thursday, 4 January 2018: Eugenio Coccia (Rector of the Gran Sasso Science Institute, L'Aquila, Italy) will deliver a public talk entitled The dawn of gravitational wave astronomy at 17:15 in room M1.01 at Reykjavik University. See here for further details on the talk. This public talk is jointly organized by the Icelandic Academy of Sciences (Vísindafélag Íslendinga), the Icelandic Centre of Excellence in Theoretical Computer Science, the Icelandic Physical Society and Reykjavik University. It will introduce the 2017-Nobel-Prize-winning work that led to the discovery of gravitational waves and discuss its future potential.