News 2024

• 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. Nicolaos comes from the Charles University, Prague. Joseph comes from Cornell University.
  Dylan McDermott has left us after an almost 5-year postdoctoral fellowship to take up a senior research associate position at the University of Oxford.
• 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 hold a 3-day seminar in Bifröst 3-5 September. Thorsten Altenkirch (University of Nottingham), Christian Bean (Keele University) and Giulio Fellin (University of Brescia) will attend as guests.
• 28 June 2024:
  Today is the last workday at RU of our postdoc Jana Wagemaker. She will be an assistant professor at Radboud University, Nijmegen.
• 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 26th Estonian Winter School in Computer Science at Viinistu, 4-7 March 2024. Tarmo Uustalu is the organizer. To attend, apply by 19 February.
• 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 (Iceproof). 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.
• 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.

News 2023