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

• 1 December 2022: Valentina Castiglioni delivers an ICE-TCS seminar entitled Uncertainties, adaptability, and verification at 14:00 in room V105 at Reykjavik University and on-line.
• 30 November-2 December 2022: ICE-TCS will co-host NordSec 2022.
• 29 November 2022: Magnus M. Halldorsson delivers a seminar at IRIF (U. Paris) at a workshop honoring Pierre Fraigniaud, titled When can we color fast?.
• 28 November 2022: Véronique Cortier (CNRS and University of Lorraine, Nancy, France) will hold a mentoring session at 17:30 in room M209 at Reykjavik University. See here for details.
• 28 November-2 December 2022: Véronique Cortier (CNRS and University of Lorraine, Nancy, France) visits ICE-TCS.

Forthcoming Events

• 8 December 2022: Magnus M. Halldorsson delivers a NestID seminar entitled Distributed graph coloring: The loglog-revolution.

Recent Events and News

• 24 November 2022: Valentina Castiglioni delivers the talk "Uncertainties, adaptability, and verification" at the FSA Colloquium at Eindhoven University of Technology.
• 24 November 2022: Lukas Nabergall (University of Waterloo) will deliver an ICE-TCS seminar entitled Finding structure in chord diagrams at 14:00 in room V105 at Reykjavik University and online.
• 23 November 2022: Kim G. Larsen (Aalborg University, Denmark) will deliver an ICE-TCS seminar entitled On-line Testing and Monitoring of Real-Time Systems at 14:00 in room M209 at Reykjavik University. See here for details.
• 21-25 November 2022: Kim G. Larsen (Aalborg University, Denmark) visits ICE-TCS. Kim is also part of a panel that will lead a formative research evaluation for the Department of Computer Science at Reykjavik University on November 22-23.
• 21-23 November 2022: Michael Wooldridge (University of Oxford, UK) visits ICE-TCS. Michael is also part of a panel that will lead a formative research evaluation for the Department of Computer Science at Reykjavik University on November 22-23.
• 17 November 2022: Émile Nadeau defends his PhD thesis “Multivariate combinatorial exploration with regular strategies”, supervised by Henning Ulfarsson, at 15:00 in room M102 at Reykjavik University.
• 17 November 2022: Aggeliki Chalki (Reykjavik University) will deliver an ICE-TCS seminar entitled Descriptive complexity of hard counting problems with an easy decision version at 14:00 in room M109 at Reykjavik University.
• 8-14 November 2022: Léo Exibard (Université Gustave Eiffel, Paris, France) visits the Concurrency Group at ICE-TCS.
• 6-12 November 2022: Adrian Francalanza (University of Malta, Malta) visits the Concurrency Group at ICE-TCS.
• 6-12 November 2022: Jana Wagemaker (Radboud University Nijmegen, NL) visits the Concurrency Group at ICE-TCS. Jana will join ICE-TCS as a postdoctoral researcher in March 2023.
• 4-25 November 2022: Nathanael Arkor (Masaryk University) visits the Programming Languages group at ICE-TCS.
• 7 November 2022: Nathanael Arkor (Masaryk University) delivers an ICE-TCS seminar entitled A 2-dimensional perspective on polymorphism at 15:00 in room M109 at Reykjavik University.
• 27 October 2022: Giulio Cerbai (University of Iceland) delivers an ICE-TCS seminar entitled A solution to the flip problem via Fishburn trees at 14:00 in room M109 at Reykjavik University.
• 18 October 2022: Nicola Paoletti (Department of Informatics at King's College London, UK) will deliver an ICE-TCS seminar entitled "On Guaranteed Optimal Robust Explanations for NLP Models" at 15:00 in room M104 at Reykjavik University.
• 17-20 October 2022: Nicola Paoletti (Department of Informatics at King's College London, UK) visits ICE-TCS.
• 14 October 2022: The paper "Fast Distributed Vertex Splitting With Applications" by Magnús M. Halldórsson, Yannic Maus and Alexandre Nolin has been accepted for DISC 2022. The paper "Fast Distributed Brooks Theorem" Manuela Fischer, Magnús M. Halldórsson and Yannic Maus has been accepted for SODA 2023.
• 13 October 2022: Dror Rawitz (Bar-Ilan University, Israel) delivers an ICE-TCS seminar enitled "You're Fired!": Greedy Set Selection with Dismissals at 14:00 in room M109. See here for more information on the talk.
• 11 October 2022: Stian Lybech defends his thesis proposal at 1 PM in room M115 and online. His external examiners are Silvia Crafa (University of Padova, Italy) and Ettore Merlo (Polytechnique Montréal, Canada).
• 3 October 2022: Aggeliki Chalki has joined ICE-TCS as a postdoctoral researcher.
• 27 September 2022: Elli Anastasiadi will defend her PhD thesis entitled "Syntactic approaches to negative results in process algebras and modal logics" at 1 PM in rooom M209 at Reykjavik University. The evaluation committee for Elli's thesis consists of Ilaria Castellani (INRIA Sophia Antipolis, France) and Catuscia Palamidessi (INRIA Saclay and LIX, France) as external examiners and Antonis Achilleos as internal examiner. Elli's work was co-supervised by Luca Aceto and Anna Ingolfsdottir.
• 26 September 2022: Marjan Sirjani (Malardalen University, Sweden) will deliver an ICE-TCS seminar entitled "Integrating Design-time and Run-time Methods for Detecting Cyber-Attacks" at 12:00 in room M208 at Reykjavik University.
• 25-29 September 2022: Marjan Sirjani (Malardalen University, Sweden) visits ICE-TCS.
• 20 September 2022: Joost-Pieter Katoen (RWTH Aachen, Germany) will deliver an ICE-TCS seminar entitled "Formal Verification of Randomised Algorithms" at 3 PM in room M209 at Reykjavik University. See here for details.
• 19 September 2022: Joost-Pieter Katoen (RWTH Aachen, Germany) will deliver an ICE-TCS seminar entitled "Probabilistic Programming: Probability Theory for the Masses" at 3 PM in room M209 at Reykjavik University. See here for details.
• 19-21 September 2022: Joost-Pieter Katoen (RWTH Aachen, Germany) visits ICE-TCS. Joost-Pieter will deliver two talks during his stay.
• 12-18 September 2022: Yannic Maus (Faculty of Computer Science and Biomedical Engineering at TU Graz, Austria) visits Magnus Halldorsson and Alexandre Nolin at ICE-TCS.
• 7 September 2022: Luca Aceto delivers an invited talk entitled "A journey through the spectrum of monitorability" at the 23rd Italian Conference on Theoretical Computer Science (ICTCS 2022), Rome,Italy, 7–9 September 2022.
• 1 September 2022: Luís Pinto and José Espírito Santo (University of Minho, Portugal) deliver ICE-TCS seminars at 14:00 in room M109 at Reykjavik University. See here for information on their presentations.
• 26 August-4 September 2022: Luís Pinto and José Espírito Santo (University of Minho, Portugal) visit Tarmo Uustalu and his group at ICE-TCS.
• 3-9 August 2022: Michele Loreti (University of Camerino, Italy) and Simone Tini (University of Insubria, Italy) visit ICE-TCS. Valentina Castiglioni is their host in the context of the ULTRON project.
• 27 June-1 July 2022: Luca Aceto, Antonis Achilleos, Léo Exibard, Anna Ingolfsdottir and Tarmo Uustalu will organise the Logic Colloquium 2022 at Reykjavik University. The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic.
• 25 June 2022: The paper “On the Axiomatisation of Branching Bisimulation Congruence over CCS” by Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir and Bas Luttik has been accepted for the scientific programme of CONCUR 2022.
• 20 June-2 July 2022: Aggeliki Chalki (National Technical University of Athens, Greece) visits ICE-TCS.
• 13 June-1 July 2022: Bridget Eileen Tenner (Department of Mathematical Sciences, DePaul University, USA) visits ICE-TCS.
• 30 May-1 July 2022: The Theory Month takes place at ICE-TCS, including several seminars and the Logic Colloquium 2022.
• 21 June 2022: The paper “The Complexity of Periodic Energy Minimisation“ by Duncan Alexander Adamson, Argyrios Deligkas (Royal Holloway, University of London), Vladimir V. Gusev (University of Liverpool) and Igor Potapov (University of Liverpool) has been accepted for MFCS 2022.
• 20 June 2022: Aggeliki Chalki (National Technical University of Athens, Greece) will deliver an ICE-TCS seminar enttled "Structural and descriptive complexity of hard counting problems with easy decision version" at 2 PM in room M104 at Reykjavik University.
• 15 June 2022: The paper "A Monitoring Tool for Linear-Time μHML" by Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza and Anna Ingólfsdóttir has been selected for the best paper award at DisCoTec 2022, 17th International Federated Conference on Distributed Computing Techniques.
• 13 June 2022: Uri Zwick (Tel Aviv University, IL) will deliver an ICE-TCS seminar entitled "Optimal resizable arrays" in room M103 at 1 PM at Reykjavik University.
• 6 June 2022: Antonis Achilleos will deliver an invited talk entitled "To Monitorability and Beyond" at VORTEX 2022: Workshop on Verification and mOnitoring at Runtime EXecution.
• 31 May 2022: Michael Wooldridge (University of Oxford, UK) will deliver a talk for a general public entitled "Towards Machine Understanding" at 16:00 in room M101.
• 31 May 2022: Michael Wooldridge (University of Oxford, UK) will deliver an ICE-TCS seminar entitled "The Large Agent Collider: Towards Robust Agent-based Modelling at Scale" at 11 AM in room M101.
• 30 May 2022: Georgiana Caltais (University of Twente, NL) will deliver an ICE-TCS seminar entitled "DyNetKAT: An Algebra of Dynamic Networks" at 11 AM in room V102.
• 30 May-3 June 2022: Michael Wooldridge (University of Oxford, UK) visits ICE-TCS.
• 30 May-1 June 2022: Georgiana Caltais (University of Twente, NL) visits ICE-TCS.
• 25 May 2022: The paper "Ranking Binary Unlabelled Necklaces in Polynomial Time" by Duncan Alexander Adamson has been accepted at DCFS 2022 - 24th International Conference on Descriptional Complexity of Formal Systems.
• 24 May 2022: The paper "A Monitoring Tool for Linear-Time μHML" by , Luca AcetoAntonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza and Anna Ingólfsdóttir has been selected for the best paper award at COORDINATION 2022, which will be held as part of DisCoTec 2022, 17th International Federated Conference on Distributed Computing Techniques.
• 10 May 2022: Elli Anastasiadi delivers a seminar at IST Austria.
• 6 May 2022: The paper "Overcoming Congestion in Distributed Coloring" by Magnus M. Halldorsson, Alexandre Nolin and Tigran Tonoyan (Krisp Technologies Inc., formerly at ICE-TCS) has been accepted for ACM Symposium on Principles of Distributed Computing 2022 (PODC 2022)!
• 4 May 2022: Magnús M. Halldórsson delivers a talk at the Rutgers/DIMACS Theory of Computing Seminar entitled "Distributed Degree+1-Coloring and Applications".
• 22 April 2022: The following two papers have been accepted for journal publication:
  • L. Aceto, V. Castiglioni, W. Fokkink, A. Ingolfsdottir and B. Luttik. Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?. ACM Transactions on Computational Logic}, ACM.
  • L. Aceto, A. Achilleos, E. Anastasiadi and A. Ingolfsdottir. An axiomatisation of verdict equivalence over regular monitors. Journal of Logical and Algebraic Methods in Programming, special issue devoted to selected papers from NWPT 2019, 2022.
• 20 April 2022: Franck Cassez (ConsenSys Software R&D, Australia) delivers a joint ICE-TCS/GSSI webinar entitled "Formal verification of the Deposit Smart Contract" at 10 AM.
• 14 April 2022: Congratulations to Léo Exibard, postdoctoral researcher at ICE-TCS, for his paper "A Generic Solution to Register-bounded Synthesis With an Application to Discrete Orders" that has been selected for the scientific programme of Track B of ICALP 2022. That article is co-authored with Emmanuel Filiot and Ayrat Khalimov.
• 25 March 2022: ICE-TCS researchers have had three papers accepted for DisCoTec 2022, the 17th International Federated Conference on Distributed Computing Techniques, which will take place at the IMT School for Advanced Studies Lucca, between June 13-17, 2022. Congratulations to our PhD students Elli Anastasiadi, Duncan Paul Attard and Jasmine Xuereb who led the research presented in those articles.
• 24 March 2022: ICE-TCS organises a public talk by James Muir (BAE Systems, UK) as part of a cybersecurity event held in cooperation with the British Embassy in Iceland.
• 21 March 2022: Duncan Paul Attard delivers an IT-MATTERS online seminar entitled "On Benchmarking for Concurrent Runtime Verification".
• 17 March 2022: Duncan Alexander Adamson delivers a talk entitled "Combinatorial Structures for Crystal Structure Prediction" in the Mathematics Seminar Series at the University of Iceland.
• 11 March 2022: The ICE-TCS annual report for 2021 is now available.
• 25 February 2022: ICE-TCS hosts a public talk entitled "Technomoral Virtues, Human Flourishing and the Bootstrapping Problem" by Shannon Vallor (University of Edinburgh, UK). The talk is sponsored by the British Embassy in Iceland. Shannon Vallor is Baillie Gifford Chair in the Ethics of Data and Artificial Intelligence at the University of Edinburgh's Edinburgh Futures Institute. See here for further information on the talk and the link to the Vimeo live stream.
• 14 February 2022: Congratulations to Magnus M. Halldorsson, Fabian Kuhn (University of Freiburg), Alexandre Nolin and Tigran Tonoyan (Technion, formerly at ICE-TCS) for their paper "Near-Optimal Distributed Degree+1 Coloring" that has been accepted for the scientific programme of STOC 2022!
• 9 February 2022: Elli Anastasiadi, Duncan Paul Attard and Emile Nadeau, PhD students at ICE-TCS, received grants from the Reykjavik University Research Fund to support their research in 2022. The overall amount of the grants is 12,165,600 ISK (roughly 86,270 EUR). Congratulations!
• 14 January 2022: Two projects led by ICE-TCS researchers have been selected for funding by the Icelandic Research Fund in their call for 2022. Tarmo Uustalu received funding for his three-year project "Computational effects and high-level control" (approximately 145K Euro per year) and Valentina castiglioni received a three-year postdoctoral grant for her project "Programs in the wild: Uncertainties, adaptability and verification" (roughly 80.2K Euro per year). The list of all funded projects is here. Congratulations to Tarmo and Valentina!
• 10-13 January 2022: Antonis Achilleos will deliver an invited talk at Logical Foundations Of Computer Science 2022, LFCS 2022.
• 6 January 2022: Jón Steinn Elíasson will defend his MSc thesis entitled "Automated Bijections with Combinatorial Exploration" at 2 PM on Zoom. The thesis work was supervised by Henning Ulfarsson.