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

• 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).

Forthcoming Events

• 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 TBA at Reykjavik University. The event will feature an invited talk by Takeshi Tokuyama (Tohoku University, Japan). Further details will be available in due course.
• Thursday, 23 August 2018: Tami Tamir (Efi Arazi School of Computer Science, The Interdisciplinary Center) will deliver an ICE-TCS seminar. More information on the talk will be available in due course.
• 23-29 August 2018: Takeshi Tokuyama (Tohoku University, Japan) visits ICE-TCS. The host for his stay is Magnús M. Halldórsson.

Recent Events and News

• 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.