News 2025
- 23 December 2025:
Tarmo Uustalu with
colleagues is organizing
a World Logic
Day celebration in
Tallinn. The 2026 Logic in
Estonia workshop will be held at the Academy of Sciences on 10
January 2026. The invited speakers
are Juha
Kontinen (University of Helsinki)
and Noam Zeilberger (École
Polytechnique, Paris). Registration by 5 January.
- 17 December 2025:
Magnús Már Halldórsson will
organise the 2027 edition of the
ACM Symposium on Principles of Distributed Computing (PODC) at RU.
The conference will take place 21-25 June 2027.
- 3 December 2025:
The call for papers for
the 15th
Panhellenic Logic Symposium, PLS-15 is
out. Antonis
Achilleos
with Aristotelis
Panagiotopoulos chairs the programme committee. Deadline for
submission of papers is 30 March 2026. The symposium will be in
Athens, 6-10 July 2026.
- 18 November 2025:
The workshop to celebrate Anna
Ingólfsdóttir's career ahead of her retirement took place on
Friday, 14 November. Here are
a news
item and
the announcement
from the university's web.
- 11 November 2025:
The recordings and slides of almost all talks of FroCoS/ITP/TABLEAUX
2025 are now available publicly through
this index page. Enjoy!
- 7 November 2025:
Arnar Bjarni Arnarson will defend his PhD thesis
proposal Rigorous null models for network science on
Monday, 10 November at 13:00 in room
M102. Supervisor: Szabolcs
Horvát. Committee: Magnús
Már
Halldórsson, Andreia
Sofia Teixeira (Northeastern University
London), Zoltán Toroczkai
(University of Notre Dame).
- 27 September 2025:
FroCoS/ITP/TABLEAUX 2025 has
successfully started at RU.
- 26 September 2025:
Two ICE-TCS researchers--Magnús Már Halldórsson and Luca
Aceto--are on the Stanford
University's list of the most
cited researchers in the world, representing the top 2% of
scientists globally. See the
RU news
item
- 16 September 2025:
Jacob Neumann has successfully passed
his viva voce examination in Nottingham. Congratulations!
- 21 August 2025:
On Friday, 14 November 2025, we will hold
a workshop to celebrate Anna
Ingólfsdóttir's career. Kim
Larsen, Giovanni
Bacci, Elli Anastasiadi
(Aalborg U.)
and María
Óskarsdóttir (U. of Southampton/RU) will speak. The workshop
will take place at 13:00 in room M220.
- 6 August 2025:
Maxime Flin will
defend his PhD thesis Distributed vertex coloring in bandwidth
constrained models on Tuesday, 12 August at 10:00 in room
M208. Supervisor: Magnús Már
Halldórsson. Examiner: Yi-Jun
Chang (National University of Singapore). Committee: Luca
Aceto, Fabian
Kuhn (University of
Freiburg), Merav
Parter (Weizmann Institute).
From 1 Sept, Maxime will be a postdoc at Aalto University in the
group of Jukka Suomela.
- 31 July 2025:
Today is the last workday at RU
of Joseph Tooby-Smith.
In September, he will start as a lecturer at the University of
Bath.
- 16 July 2025:
On 16 September 2025, Jacob
Neumann will be viva voce examined on his PhD thesis A
generalized algebraic theory of directed
equality. Thorsten
Altenkirch was his thesis supervisor at the University of
Nottingham. His examiners
are Paige North
(Utrecht University)
and Ulrik Buchholtz
(University of Nottingham).
- 27 June 2025:
Antonis
Achilleos has been promoted to the rank of associate professor
at RU, a well deserved recognition of his work that was long
due. Congratulations, Antonis!
- 16 June 2025:
Jacob Neumann has joined us as
a postdoc from today. Jacob comes to us from the University of
Nottingham where he wrote his PhD thesis.
- 26 May 2025:
Calvin Lee will defend his PhD thesis proposal Univalent
generalized multicategories on Thursday, 5 June at 9:00 in
room M104. Supervisor: Tarmo
Uustalu. Committee: Paige
North (Utrecht U.),
Niccolò Veltri
(Tallinn U. of Technology).
- 2 April 2025:
Vasiliki Kyriakou will defend her PhD thesis proposal Effects
of restrictive non-determinism on the expressiveness and relative
complexity of bounded memory automata on Tuesday, 8 April 2025
at 11:30 in room M326. Supervisors: Antonis
Achilleos. Cosupervisor:
Karoliina
Lehtinen (Aix-Marseille U.). Committee: Anna Ingólfsdóttir,
Vassilis
Gregoriades (National Technical U. Athens).
- 18 March 2025:
Stian Lybech will defend his PhD thesis A type-theoretic
approach to smart contract safety on Friday, 23 May 2025 at
13:00 in room M216. Supervisors: Luca Aceto, Mohammad Hamdaqa
(Polytechnique
Montréal), Daniele
Gorla (Sapienza U. of
Rome). Examiners: Laura
Bocchi (U. of
Kent), Maurizio
Murgia (Gran Sasso Science Inst.). Committee: Ettore Merlo
(Polytechnique Montréal), Silvia Crafa (U. of Padova).
- 14 March 2025:
On the occasion of the 20th anniversary of ICE-TCS, the RU
communications and marketing department published an
interview
with Magnús Már
Halldórsson.
- 10 March 2025:
On 8 March, Joseph
Tooby-Smith presented
his PhysLean digital physics
effort in the podcast of
the Assumptions of
Physics project of Gabriele Carcassi (U. of Michigan). Enjoy
the recording!
- 6 March 2025:
During his upcoming visit to
RU, Pierre-Louis Curien
(IRIF, U. Paris Cité) will deliver two talks. The first talk will
be on 14 March at RU in the ICE-TCS seminar series, the second on
20 March at U. of Iceland in their mathematical colloquium (see
the
announcement).
- 28 February 2025:
The Iceproof
project will hold a 3-day seminar in Reykholt 23-25 April 2025.
- 24 February 2025:
On 3 March at 11:30 in room M120, the investigative journalist
Thin Lei Win will give a talk about the non-profit storytelling
project
Kite Tales, which she
co-founded, that chronicles the lives of people in
Burma/Myanmar. See also her
blog Thin Ink on food
systems.
- 19 February 2025:
Henning Úlfarsson is organizing the 15th installment of NORCOM,
the Nordic Combinatorial
Conference. NORCOM '25
will take place in Reykjavik, 16-18 June 2025. The call for papers
is now out. The deadline for proposing talks is 10 March 2025.
- 7 February 2025:
The 2025 allocation of the RU Research Fund was announced today.
Arnar Bjarni Arnarson got a new PhD grant; all other applications
for new PhD grants from ICE-TCS were rejected. Jasmine Xuereb
continues to receive a PhD grant.
The CS department on the whole got 4 new applications accepted and
one continuation.
- 27 January 2025:
The 2024 annual report of
ICE-TCS is out.
- 25 January 2025:
Registration to the 27th
Estonian Winter School in Computer Science, EWSCS 2025, to be
held at Viinistu, 3-6 March 2025, is
open. Tarmo Uustalu is the
main organizer and the lecturers
include Anders Claesson from the
University of Iceland. Registration deadline: 12 February 2025.
- 17 January 2025:
Magnús Már Halldórsson is
seeking candidates for a PhD student position in his project on
comparative complexity via coloring. Apply by 5 February.
- 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. Host: Tarmo Uustalu.
- 16 January 2025:
Rannís has announced
the 2025
allocation of new grants from the Icelandic Research
Fund.
These 3 grant proposals from ICE-TCS 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.
The CS department on the whole won 4 new grants
and RU on the whole 11 new grants.
- 5 January 2025:
The call for papers
for TABLEAUX
2025, to take place in Reykjavik in autumn, is out. Submission
deadlines 9 May (abstracts), 14 May (papers). The PC is co-chaired
by Gian Luca
Pozzato and Tarmo
Uustalu. The conference is organized by Tarmo Uustalu.
- 4 January 2025:
The RU Department of Computer Science is soliciting applications
for permanent faculty positions. Theoretical computer science is
one of the domains explicitly listed. See
the announcement. Apply
by 30 January 2025.
Last update 20 February 2026