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

• 8 November 2021: Niels Voorneveld (Tallinn University of Technology) delivers and ICE-TCS seminar entitled "Inductive and coinductive predicate liftings for effectful programs" at 2 PM in room M102 at Reykjavik University.
• 13 September-13 December 2021: Mathias Claus Jensen (Aalborg University, Denmark) will be a visiting PhD student at ICE-TCS.

Forthcoming Events

• 15 November 2021: Manuela Fischer (Reykjavik University) delivers and ICE-TCS seminar entitled "Local Algorithms for Classic Graph Problems" at 2 PM in room M102 at Reykjavik University.

Recent Events and News

• 4-6 November 2021: ICE-TCS will host the Nordic Workshop on Programming Theory 2021 at Reykjavik University. The event features invited talks by Giovanni Bacci (Aalborg University) and Ornela Dardha (University of Glasgow) and will be organised by Antonis Achilleos, Elli Anastasiadi, Dylan McDermott and Tarmo Uustalu.
• 25 October 2021: Stian Lybech (Reykjavik University) delivers and ICE-TCS seminar entitled "Reflection in higher-order Ψ-calculi" at 2 PM in room M102 at Reykjavik University.
• 11 October 2021: Adrian Francalanza (University of Malta, Malta) delivers and ICE-TCS seminar entitled "Consistently-detecting monitors" at 2 PM in room M102 at Reykjavik University.
• 9-16 October 2021: Adrian Francalanza (University of Malta, Malta) will visit ICE-TCS.
• 4 October 2021: Karoliina Lehtinen (CNRS and LIS, Aix-Marseille University, France) delivers and ICE-TCS seminar entitled "When a little nondeterminism goes a long way: a survey of history-deterministic automata" at 2 PM in room M102 at Reykjavik University.
• 29 September-17 October 2021: Karoliina Lehtinen (CNRS and LIS, Aix-Marseille University, France) will visit ICE-TCS.
• 30 September 2021: Luca Aceto delivers an invited talk entitled "An operational guide to monitorability" at Ecole Polytechnique de Montreal, Canada.
• 29 September 2021: Magnus M. Halldorsson delivers a joint ICE-TCS/GSSI seminar/webinar entitled "Distributed Graph Coloring" from the GSSI, L'Aquila, Italy.
• 27 September 2021: Léo Exibard joins ICE-TCS as a postdoc in the project MoVeMnt: Mode(l)s of Verification and Monitorability.
• 23 September 2021: Roberta Sinatra (ITU Copenhagen, Denmark) delivers a webinar entitled "Quantifying biases in science". [Video]
• 20 September 2021: The paper "Active Learning of Markov Decision Processes using Baum-Welch algorithm" by Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, and Raphaël Reynouard has been accepted for ICMLA 2021 (International Conference on Machine Learning and Applications).
• Monday, 23 August 2021: Valentina Castiglioni co-chairs the Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics. The event is affiliated with CONCUR 2021 (as part of QONFEST 2021).
• 13 August 2021: The paper "Computing inductive vertex orderings" by Magnús M. Halldórsson and Tigran Tonoyan has appeared online in the journal Information Processing Letters (Article Number 106159).
• 10 August 2021: The paper "Introducing Formal Methods to First-Year Students in Three Intensive Weeks" by Luca Aceto and Anna Ingolfsdottir has been accepted for FMTea 2021, Formal Methods Teaching Workshop and Tutorial, an event affiliated with FM 2021, 24th International Symposium on Formal Methods.
• 17 July 2021: Luca Aceto, Antonis Achilleos, Anna Ingolfsdottir and Tarmo Uustalu will organise the Logic Colloquium 2022 at Reykjavik University in the period 27 June-1 Juy 2022. The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic.
• 2 July 2021: Luca Aceto delivers an invited talk entitled "In search of lost time: Axiomatising parallel composition in process algebras" at LICS 2021.
• 1 July 2021: Manuela Fischer has joined ICE-TCS as a postdoctoral researcher from ETH Zürich. Manuela will work in the group led by Magnús M. Halldórsson. Welcome Manuela!
• 29 June-1 July 2021: The best paper award at SIROCCO 2021 went to Magnús M. Halldórsson and Alexandre Nolin. They receive the accolade for their article "Superfast Coloring in CONGEST via Efficient Color Sampling". You can watch the video of the presentation based on the paper here. Congratulations to Alexandre and Magnús!
• 14-26 June 2021: Tarmo Uustalu will deliver a course entitled "Monads and Interaction" at the 19th annual Oregon Programming Languages Summer School (OPLSS).
• Thursday, 6 May 2021: Luca Aceto has been named EATCS Fellow class of 2021.
• Thursday, 29 April 2021: ICE-TCS turns 16! Congratulations to all the members of the centre, past and present.
• 12-16 April 2021: Tarmo Uustalu will deliver a course entitled "Monads and Interaction" at the 21st Midlands Graduate School in the Foundations of Computing Science (MGS 21).
• 2 April 2021: The following two papers have been accepted for FORTE 2021:
  • Luca Aceto, Ian Cassar, Adrian Francalanza and Anna Ingolfsdottir. On Bidirectional Runtime Enforcement.
  • Valentina Castiglioni, Michele Loreti and Simone Tini. How Adaptive and Reliable is your Program?
• 1 April 2021: The paper "Axiomatizations and Computability of Weighted Monadic Second-Order Logic" by Antonis Achilleos and Mathias Ruggaard Pedersen has been accepted for LICS 2021.
• Friday, 19 March 2021: Antonis Achilleos co-organizes the 2021 edition of the The New York Colloquium on Algorithms and Complexity. The event will take place virtually, on Webex.
• 15–19 March 2021: Tarmo Uustalu is an invited speaker at the Workshop on Polynomial Functors, where he will talk about "Polynomial comonads".
• 26 February 2021: Tarmo Uustalu delivers an invited talk entitled "Skew X categories and structural proof theory" at the The ForML Lab, Augusta University.
• 24 February 2021: Luca Aceto delivers an invited talk entitled "An operational guide to monitorability" at the Tehran Institute for Advanced Studies (TeIAS).
• Saturday, 6 February 2021: The paper "Efficient Randomized Distributed Coloring in CONGEST" coauthored by our own Magnus M. Halldorsson with Fabian Kuhn (University of Freiburg), Yannic Maus (Technion - Israel Institute of Technology) and Tigran Tonoyan (Technion - Israel Institute of Technology) has been accepted for STOC 2021! Congrats to Magnus and his coauthors, as well as to ICE-TCS as a whole.
• 3 February 2021: ICE-TCS PhD student Émile Nadeau has received a PhD grant for the project "Extending the Combex framework" from the Reykjavik University Research Fund. The grant is worth ISK 5,748,000 (approximately 37,100 EUR).
• Tuesday, 26 January 2020: The ICE-TCS annual report for 2020 is now available.
• Friday, 15 January 2021: ICE-TCS researchers are involved in all the three project grants awarded in the field of Computer Science by the Icelandic Research Fund today. (See here for the list of all the awarded projects.) More specifically,
  • Antonis Achilleos (PI), Luca Aceto (co-PI) and Anna Ingolfsdottir (co-PI) received roughly 369K EUR for the project "Mode(l)s of Verification and Monitorability";
  • Magnus M. Halldorsson received funding for his project "Skorðuð dreifð netalitun".
  Both projects are for the period 2021-2023.
  In addition, Luca Aceto is also a participant in the project led by Mohammad Adnan Hamdaqa.
  Congratulations to ICE-TCS!