News

• 16 January 2025:
Pierre-Louis Curien, emeritus research director of CNRS at IRIF, Université Paris Cité, recipient of the INRIA-French Academy of Sciences grand prize 2020, will visit us 12-30 March 2025.
• 16 January 2025:
Rannís has announced the allocation of Icelandic Research Fund grants for 2025.
From our lab, these grant proposals were awarded funding:

• Magnús Már Halldórsson, Comparative complexity via coloring, project grant
• Reed Acton, Moving from objects to transformations to account for the finer structures of permutations, PhD student grant
• Vasiliki Kyriakou, Effects of restrictive non-determinism on the expressiveness and relative complexity of bounded memory automata, PhD student grant
The other grant proposals from the lab were rejected.
• 11 December 2024:
  Our postdoc Joseph Tooby-Smith has been offered a lecturer position at the CS department of the University of Bath from autumn 2024.
• 1 October 2024:
  Nicolaos Matsakis and Joseph Tooby-Smith are starting as new postdocs at the lab today.
• 18 September 2024:
  Duncan Attard with colleagues has won the AITO distinguished artifact award of ECOOP 2024 (Vienna, 16-20 September 2024) for the artifact accompanying their paper Runtime instrumentation for reactive components.
• 22 August 2024:
  The Iceproof project will have 3-day seminar in Bifröst 3-5 September. Thorsten Altenkirch, Christian Bean and Giulio Fellin will attend as guests.
• 29 May 2024:
  Final joint call for participation: Sign up for NLS/SLSS/GandALF 2024, to take place at RU 10-21 June, organized by Antonis Achilleos and colleagues.
  Lecturers of NLS: Miika Hannula, Sandra Kiefer, Greg Restall, Jandson Ribeiro, Rineke Verbrugge.
  Invited speakers of SLSS: Fausto Barbero, Sara Negri, Aybüke Özgün.
  Invited speakers of GandALF: Bernd Finkbeiner, Kim Guldstrand Larsen, Brigitte Pientka, Azalea Raad.
• 28 May 2024:
  Tarmo Uustalu together with Gian Luca Pozzato (University of Torino) will chair the programme committee of TABLEAUX 2025, to be held in Reykjavik in September 2025.
• 16 May 2024:
  Calvin Lee will defend his 60 ECTS MSc thesis Interactions of (co)monads in Agda on 30 May at 14:00 in room M101.
  Supervisor: Tarmo Uustalu. Committee members: Exequiel Rivas (Tallinn University of Technology), Thorsten Altenkirch (University of Nottingham), Jana Wagemaker. Details here.
• 10 May 2024:
  The steering committees of the FroCoS, ITP and TABLEAUX conference series have accepted the bid by Tarmo Uustalu to host these conferences in Reykjavik in September 2025.
• 12 April 2024:
  We have finally regained access to the data of our old website.
  The new website of ICE-TCS opened today. We will incrementally bring the data from our old website online here.
• 8 April 2024:
  The work of Calvin Lee for ESOP/FASE/FoSSaCS 2024 artifact evaluation has been recognized by the committee co-chairs with a distinguished artifact reviewer award.
  Congratulations, Calvin!
• 6 April 2024:
  The 107 pp. (!) version of record of Nathanael Arkor and Dylan McDermott's study of the foundational theory of relative monads appeared in J. Pure Appl. Algebra today.
• 21 March 2024:
  Tarmo Uustalu will be one of the two invited speakers of the Structure Meets Power 2024 workshop of LICS '24. The workshop will be held in Tallinn on 7 July 2024.
• 20 March 2024:
  We welcome Szabolcs Horvát as an (adjoint) member of ICE-TCS. Szabolcs is a member of the CRESS research center, but his interests and work significantly overlap with ours.
• 16 March 2024:
  Tarmo Uustalu is seeking candidates for two 1-year postdoc positions. One is in the Icelandic Research Fund project Computational effects and high-level control (CTRL-F). The other is in the Collaboration Fund project Icelandic advantage in computer-assisted proof. Apply by 31 March.
• 13 March 2024:
  Magnús Már Halldórsson is seeking candidates for a 1-year postdoc position in his project on randomized distributed graph coloring algorithms. Apply by 30 March.
• 5 March 2024:
  The joint call for participation in NLS 2024 and abstracts for SLSS 2024 is out, as is the call for papers for GandALF 2024. Organizer: Antonis Achilleos.
  Do sign up and submit contributions, do visit us in Reykjavik this June!
• 4 March 2024:
  The Estonian Winter School in Computer Science 2024 has begun. The ICE-TCS delegation consists of Calvin, Szabolcs, Vasiliki, Tarmo and Yasuaki.
• 12 February 2024:
  Georg Struth from the University of Sheffield will visit us 17-24 March. Hosts: Tarmo Uustalu and Jana Wagemaker.
• 8 February 2024:
  The RU Research Fund board have decided to give a PhD grant to Vasiliki Kyriakou. Vasiliki is supervised by Antonis Achilleos and Karoliina Lehtinen (LIS, Aix-Marseille University).
  The fund will also continue supporting the PhD study of Yasuaki Morita, supervised by Tarmo Uustalu, and Jasmine Xuereb, supervised by Adrian Francalanza (University of Malta) and Antonis Achilleos.
• 2 February 2024:
  Reykjavik University fell victim to a major cyber attack. The ICE-TCS website at icetcs.ru.is is no longer accessible.
• 30 January 2024:
  Dylan McDermott has been invited to serve on the PC of FoSSaCS 2025.
• 30 January 2024:
  The results of the Collaboration Fund call for new projects in 2024 were announced today (see the list of grants awarded and video of the event).
• 22 January 2024:
  The public announcement of the results of the Collaboration Fund call, originally scheduled for 16 January, was postponed because of the volcanic eruption. The new date is 30 January.
• 21 January 2024:
  Szabolcs Horvát will teach a course on the random graph model at the 2024 Estonian Winter School in Computer Science at Viinistu, 4-7 March 2024. Tarmo Uustalu is the organizer. To attend, apply by 19 February.
• 8 January 2024:
  Eva Ósk Gunnarsdóttir will defend her 60 ECTS MSc thesis Applying binary decision diagrams to learn hidden Markov models on 18 January at 12:00 in room V103.
  Supervisor: Anna Ingólfsdóttir. Committee members: Giovanni Bacci (Aalborg University), Luca Aceto. Details here.
• 12 January 2024:
  Tarmo Uustalu together with Anders Claesson from the University of Iceland has won a Collaboration Fund grant for the project Icelandic advantage in computer-assisted proof. The award amount for the 2-year project is 51.84 MISK.
  The higher education minister will publicly announce the results of the call for proposals for new projects in 2024 at an event in Gróska on 16 January.
• 12 January 2024:
  The results of the Icelandic Research Fund call for proposals for new projects in 2024 were publicly announced today; see the list of grants awarded. All proposals from ICE-TCS were rejected this time. The CS department of RU won one PhD grant.
• 21 December 2023:
  Tarmo Uustalu together with Amirouche Moktefi and Niccolò Veltri is organizing a World Logic Day 2024 celebration in Tallinn. The 2024 Logic in Estonia workshop will be held in the Estonian Academy of Sciences, Tallinn, on 15 January 2024. The invited speakers are Valentin Goranko (Stockholm University), Margus Veanes (Microsoft Research) and Jan von Plato (University of Helsinki).
• 6 December 2023:
  Egill Torfason will defend his 30 ECTS MSc thesis Noise resilience of proofs of quantumness on 7 December at 14:30 in room M120.
  Supervisors: Magnús Már Halldórsson, Alexandru Georghiu (Chalmers University of Technology, Gothenburg). Examiner: Giulia Ferrini (Chalmers University of Technology). Details here.
• 8 November 2023:
  Raphaël Reynouard will defend his PhD thesis On learning stochastic models: from theory to practice on 14 November at 10:00 CET (9:00 GMT) in Sala Consiliare of GSSI, L'Aquila. A Zoom live stream from the defense can be followed in room M123 of RU.
  Supervisors: Anna Ingólfdóttir, Giovanni Bacci (University of Aalborg). Examiners: Nils Jansen (Ruhr-University Bochum and Radboud University), Catia Trubiani (GSSI). Details here.
• 21 August 2023:
  Vasiliki Kyriakou is joining us as a new PhD student from this academic year, supervised by Antonis Achilleos and Karoliina Lehtinen (LIS, Aix-Marseille University).
  Calvin Lee is joining us a new MSc student, supervised by Tarmo Uustalu.
• 13 July 2023:
  Peter Dybjer [DBLP, GS] from Chalmers University of Technology will visit us from 27 August to 2 September. Host: Tarmo Uustalu.
• 7 June 2023:
  Our postdoc Valentina Castiglioni has accepted an assistant professorship offer from TU Eindhoven and will begin there on 1 October.
  Valentina started at RU on 15 May 2019 as a postdoc in Luca and Anna's IRF research project OPEL. In January 2022, she won an IRF grant for her own postdoc project ULTRON.
• 31 May 2023:
  From 1 July 2023, Henning Úlfarsson will be the chair of the CS department of RU.
  Henning will pick up the baton from Luca Aceto, who has been serving the department in this role from 1 March 2019.
• 30 May 2023:
  Antonis Achilleos will bring three logic events to Reykjavik next June: GandALF, the Scandinavian Logic Symposium and the Nordic Logic Summer School.
  The PC of GandALF will be co-chaired by Antonis and our collaborator Adrian Francalanza from U. of Malta.
• 8 May 2023:
  On 23 May, we are organizing an informal one-day workshop on formal methods in security at RU. Experts from some of the most active research groups in Denmark, Norway and Sweden will speak.
  Register by 17 May.
• 5 May 2023:
  Flavien Breuvart [DBLP] from LIPN, Université Sorbonne Paris Nord, will visit us from 23 August to 4 October. Hosts: Tarmo Uustalu and Dylan McDermott.
• 19 April 2023:
  Henning Úlfarsson has been promoted to associate professor.
  Congratulations, Henning!
• 18 April 2023:
  Duncan Attard defended his PhD thesis Runtime monitoring for asynchronous reactive components for a University of Malta and RU joint degree in Malta today.
  Supervisors: Adrian Francalanza (University of Malta), Luca Aceto, Anna Ingólfsdottir.
• 27 March 2023:
  On 19 May, we welcome Marta Kwiatkowska [DBLP, GS] from the University of Oxford for a public talk at RU.
  This talk is to celebrate 18 years of ICE-TCS, 25 years of computer science at RU and 25 years of RU. It is part of the Valkyrja distinguished lecture series.
  Marta's talk, entitled Safety and robustness for deep learning with provable guarantees, will take place at 14:00 in room V102. Details here.
• 7 February 2023:
  Thin Lei Win, an award-winning multimedia journalist specializing in food and climate issues, will give a public talk Rebooting our food systems on 14 February at 12:00 in room M103. Details here.