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.
- 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
- 4 October 2021:
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:
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
- 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
- Monday, 23 August 2021: Valentina Castiglioni co-chairs the
International Workshop on Expressiveness in Concurrency and 18th
Workshop on Structural Operational Semantics. The event is
CONCUR 2021 (as
part of QONFEST 2021).
- 13 August 2021: The paper
vertex orderings" by Magnús M. Halldórsson and Tigran Tonoyan has
appeared online in the journal Information Processing Letters (Article
- 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
annual Oregon Programming Languages Summer School (OPLSS).
- Thursday, 6 May 2021: Luca Aceto has been named
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
Midlands Graduate School in the Foundations of Computing Science (MGS
- 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
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
Polynomial Functors, where he will talk about "Polynomial
- 26 February 2021: Tarmo Uustalu delivers an
talk entitled "Skew X categories and structural proof theory" at
the The ForML
Lab, Augusta University.
- 24 February 2021: Luca Aceto delivers an
entitled "An operational guide to monitorability" at the
Tehran Institute for Advanced
- 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
- 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
for the list of all the awarded projects.) More specifically,
Both projects are for the period 2021-2023.
- 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".
In addition, Luca Aceto is also a participant in the project led by
Mohammad Adnan Hamdaqa.
Congratulations to ICE-TCS!