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, 13 October 2017: The papers A generic instrumentation tool for Erlang and A Suite of Monitoring Tools for Erlang by Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto and Anna Ingolfsdottir have been accepted for RV-CuBES 2017.
• The Completeness Problem for Modal Logic by Antonis Achilleos has been accepted for presentation at Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'18).
• Tuesday, 10 October 2017: The paper The Completeness Problem for Modal Logic by Antonis Achilleos has been accepted for presentation at Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'18).
• Monday, 9 October 2017: Tarmo Uustalu (Reykjavik University and Tallinn University of Technology) joins ICE-TCS. Welcome Tarmo!
• Monday, 9 October 2017: Tarmo Uustalu (Reykjavik University and Tallinn University of Technology) will deliver an ICE-TCS seminar. The talk, which is entitled Directed containers: shape, position and subshape fun, will be held from 12:10 till 13:00 in room M1.03.

Forthcoming Events

• Watch this space!

Recent Events and News

• Monday, 2 October 2017: Ryan Hayward (University of Alberta) will deliver an ICE-TCS seminar. The talk, which is entitled Hexbots post-AlphaGo, will be held from 12:10 till 13:00 in room M1.03.
• Monday, 25 September 2017: Eyjólfur Ingi Ásgeirsson will deliver an ICE-TCS seminar. The talk, which is entitled Universal Framework for Wireless Scheduling Problems , will be held from 12:10 till 13:00 in room M1.03.
• Friday, 22 September 2017: The paper Monitoring for Silent Actions by Luca Aceto, Antonis Achilleos, Adrian Francalanza and Anna Ingolfsdottir has been accepted for presentation at FSTTCS 2017, the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.
• Friday, 22 September 2017: Luca Aceto will be an invited speaker at TLT – Types and Logic in Torino, Colloquium in honor of Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca and Mario Coppo, Turin, Italy.
• Wednesday, 20 September 2017: Luca Aceto will be an invited speaker at the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'17), Rome, Italy, 20--22 September 2017.
• 19-20 August 2017: Luca Aceto and Anna Ingolfsdottir are amonst the organizers of KiMfest 2017, a two-day conference in honour of Kim G. Larsen on the occasion of his 60th birthday. They also co-edit an accompanying festschrift in the LNCS series published by Springer.
• Thursday, 17 August 2017: Luca Aceto has stepped down as scientific co-director of ICE-TCS. Eyjolfur Ingi Asgeirsson joins Anna Ingolfsdottir as scientific co-director in his place.
• Thursday, 17 August 2017: The ICE-TCS annual report for 2016 is now available here.
• Wednesday, 12 July 2017: The paper A Survey of Runtime Monitoring Instrumentation Techniques by I. Cassar, A. Francalanza, L. Aceto and A. Ingolfsdottir has been accepted for presentation at PrePost 2017.
• Monday, 10 July 2017: The paper eAOP - An Aspect Oriented Programming Framework for Erlang by I. Cassar, A. Francalanza, L. Aceto and A. Ingolfsdottir has been accepted for presentation at the Sixteenth ACM SIGPLAN Erlang Workshop.
• 26-30 June 2017: Henning Ulfarsson will organize Permutation Patterns 2017, The 15th International Conference on Permutation Patterns at Reykjavik University. Invited speakers are Peter Winkler (Dartmouth College) and Vít Jelínek (Charles University).
• 19-23 June 2017: Luca Aceto and Anna Ingolfsdottir will organize LICS 2017 at Reykjavik University. The main conference will be preceded by seven co-located workshops.
• Sunday, 18 June 2017: Luca Aceto will deliver an invited talk at 2nd Logic Mentoring Workshop, co-located with LICS 2017.
• Sunday, 18 June 2017: ICE-TCS hosts and co-sponsors the 2nd Logic Mentoring Workshop, co-located with LICS 2017.
• Friday, 16 June 2017: The paper Rule Formats for Nominal Transition Systems by L. Aceto, I. Fabregas, A. Garcia-Perez, A. Ingolfsdottir and Y. Ortega-Mallen has been accepted for presentation at CONCUR 2017, the 28th International Conference on Concurrency Theory, 5-8 September 2017, Berlin, Germany.
• Friday, 9 June 2017: The SIROCCO 2017 best paper award goes to our own Magnus M. Halldorsson for the paper "Leader Election in SINR Model with Arbitrary Power Control", co-authored with Stephan Holzer and Evangelia Anna Markatou. Congratulations!
• Wednesday, 31 May 2017: Luca Aceto has joined the editorial board of LIPIcs (Leibniz International Proceedings in Informatics). He will serve as member of that board for four years.
• Saturday, 27 May 2017: The paper Universal Framework for Wireless Scheduling Problems by E. I. Ásgeirsson, M. M. Halldorsson and T. Tonoyan will receive the best paper award for Track C at ICALP 2017. The programme for the conference is here, where the best paper awardees are marked as such. ICALP is the annual conference of the European Association for Theoretical Computer Science and is one of the prime annual events in the field. Congratulations to Eyjó, Magnús and Tigran!
• Saturday, 27 May 2017: The paper The Complexity of Identifying Characteristic Formulas for muHML by Luca Aceto, Antonis Achilleos, Adrian Francalanza and Anna Ingolfsdottir has been accepted as a contributed talk at the 11th Panhellenic Logic Symposium 2017.
• Friday, 12 May 2017: Georgiana Caltais (University of Konstanz, Germany) will deliver an ICE-TCS seminar. The talk, which is entitled Causality Checking to Support Functional Safety in Cyber-Physical Systems – The QuantUM Approach, will be held from 12:15 till 13:00 in room M1.13.
• 8-12 May 2017: Georgiana Caltais (University of Konstanz, Germany) visits ICE-TCS. The hosts for her visit are Luca Aceto and Anna Ingolfsdottir.
• Friday, 28 April 2017: The 13th annual ICE-TCS Theory Day will be held on this day from 1pm till 3pm in room M2.08 at Reykjavik University. The event will feature invited talks by Dexter Kozen (Cornell University) and Jason P. Smith (Department of Computer and Information Sciences, University of Strathclyde). Further details may be found here.
• Thursday, 27 April 2017: Dexter Kozen (Cornell University) will deliver a talk entitled NetKAT: A Formal System for the Verification of Networks from 4pm till 5pm in room M2.08 at Reykjavik University.
• Thursday, 27 April 2017: Dexter Kozen (Cornell University) will hold a mentoring session for students and young researchers of all ages at RU from 12:00 till 13:00 in room M2.08 at Reykjavik University. There will be pizza, courtesy of the School of Computer Science. See here for further information and to register for the event. Attendance is free.
• Sunday, 23 April 2017: The paper Universal Framework for Wireless Scheduling Problems by Eyjólfur Ingi Ásgeirsson, Magnus M. Halldorsson and Tigran Tonoyan has been selected for presentation at ICALP 2017 (Track C).
• Friday, 21 April 2017: Christian Bean (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled Creating a Virtual Combinatorist, will be held from 12:15 till 13:00 in room M1.13. See here for more information on this talk.
• 10 April-5 May 2017: Jason P. Smith (Department of Computer and Information Sciences, University of Strathclyde) visits ICE-TCS. The host for his visit is Henning Ulfarsson.
• Sunday, 9 April, 2017: The paper On the Complexity of Determinizing Monitors by L. Aceto, A. Achilleos, A. Francalanza, A. Ingolfsdottir and S. Kjartansson has been acccepted for the 22nd International Conference Implementation and Application of Automata (CIAA 2017), 27-30 June 2017, Université Paris-Est Marne-la-Vallée.
• Friday, 7 April 2017: Piotr Lasek (University Rzeszów, Poland) will deliver a joint CRESS/ICE-TCS seminar entitled Interactive Data Visualization through Inductive Aggregation. The talk will be held from 12:15 till 13:00 in room M1.13. See here for further details on the talk.
• Thursday, 30 March 2017: Eyjolfur I. Asgeirsson has received the 2017 Reykjavik University Teaching Award. It is the first time that a research-active faculty member receives this award. Congratulations to Eyjolfur!
• Saturday, 18 March 2017: The second volume of the Special issue of Acta Informatica devoted to selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015) edited by Luca Aceto and David de Frutos Escrig is now available.
• Friday, 17 March 2017: Ian Cassar (University of Malta) will deliver an ICE-TCS seminar entitled Different Flavours of Runtime Monitoring. The talk will be held from 12:15 till 13:00 in room M1.13. See here for further details on this talk.
• Wednesday, 15 March 2017: The following journal papers have been accepted for publication:
  • L. Aceto, I. Fabregas, A. Garcia-Perez and A. Ingolfsdottir. A unified rule format for bounded nondeterminism in SOS with terms as labels. Journal of Logical and Algebraic Methods in Programming, Special issue on Metamodels for Process Languages (Thomas Hildebrandt and Marino Miculan eds.), Elsevier, 2017. To appear.
  • A. Francalanza, L. Aceto and A. Ingolfsdottir. Monitorability for the Hennessy-Milner logic with recursion. Journal of Formal Methods in System Design, Special issue devoted to selected papers from RV 2015 (Ezio Bartocci and Rupak Majumdar eds.), Springer 2017. To appear.
• Friday, 10 March 2017: Tigran Tonoyan will deliver a Pearls of Computation talk on the work of Silvio Micali. Further details on this talk will be available in due course.
• Friday, 10 March 2017: Magnus M. Halldorsson, the scientific director of ICE-TCS, is the first researcher at reykjavik University to have an h-index of 40 according to Google Scholar. Congratulations to Magnus!
• Friday, 3 March 2017: Rémy Belmonte (University of Electro-Communications, Tokyo, Japan) will deliver an ICE-TCS seminar entitled Defective Coloring on Classes of Perfect Graphs. The talk will be held from 12:15 till 13:00 in room M1.13. See here for further details on this talk.
• 1 March-30 April 2017: Ian Cassar (University of Malta) visits ICE-TCS. The hosts for his stay are Luca Aceto and Anna Ingolfsdottir.
• 24 February 2017-15 March 2017: Rémy Belmonte (University of Electro-Communications, Tokyo, Japan) visits ICE-TCS. The hosts for his stay are Magnus M. Halldorsson and Tomas Ken Magnusson.
• 20 February-6 March 2017: Bas Luttik (TU Eindhoven) visits ICE-TCS. The hosts for his visit are Luca Aceto and Anna Ingolfsdottir.
• Friday, 24 February 2017: Bas Luttik (TU Eindhoven) will deliver an ICE-TCS seminar entitled Executability Theory. The talk will be held from 12:15 till 13:00 in room M1.13. See here for further details on the talk.
• Tuesday, 21 February 2017: A virtual special issue of the Journal of Logical and Algebraic Methods in Programming devoted to the 27th Nordic Workshop on Programming Theory (NWPT 2015), edited by Luca Aceto and Anna Ingolfsdottir, is now available.
• Friday, 17 February 2017: ICE-TCS will celebrate Anna Ingolfsdottir's 65th birthday with a small workshop that will take place from 13:00 till 15:00 in room V1.01 at Reykjavik University. The workshop will feature invited talks by Kim G. Larsen (Aalborg University) and Hanne Riis Nielson (DTU). See here for the programme.
• 17-18 February 2017: Kim G. Larsen (Aalborg University, Denmark) visits ICE-TCS. The hosts for his visit are Luca Aceto and Anna Ingolfsdottir.
• 16-18 February 2017: Hanne Riis Nielson (DTU, Denmark) visits ICE-TCS. The hosts for her visit are Luca Aceto and Anna Ingolfsdottir.
• Friday, 10 February 2017: Baldur Blöndal (Chalmers University of Technology and the Reykjavík Functional Programming group) will deliver an ICE-TCS seminar. The talk, which is entitled Functional programming and types, will be held from 12:15 till 13:00 in room M1.13. See here for further details on the talk.
• Friday, 3 February 2017: The first volume of the Special issue of Acta Informatica devoted to selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015) edited by Luca Aceto and David de Frutos Escrig is now available.
• Friday, 27 January 2017: Antonis Achilleos (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled Determinizing Monitors for HML with Recursion, will be held from 12:15 till 13:00 in room M1.13.
• Friday, 20 January 2017: Marcel Kyas will deliver a Pearls of Computation talk on the work of Michael Polanyi. The talk will be held in room M1.10 from 12:15 till 13:00. Further details on this talk are available here.
• Monday, 16 January 2017: The project Nýjar víddir í reikniritum fyrir þráðlaus net (New horizons in algorithms for wireless networks) with Magnús Már Halldórsson as PI has been funded by the Icelandic Research Fund. The funding for the project is of 15,625,000 ISK (roughly 129,323 Euros). Congratulations to Magnús!