News
- 5 March 2026:
The 2026 allocation of grants from the Reykjavik University Research
Fund was announced today. All applications from ICE-TCS were
rejected.
- 20 February 2026:
On Monday, 2 March, Jasmine Xuereb will defend her University of Malta and
University of Reykjavik dual PhD thesis titled Extending the
limits of monitorability. Jasmine's supervisors
were Adrian
Francalanza in Malta
and Antonis
Achilleos in Reykjavik. The external examiners
are Bernd
Finkbeiner (CISPA and University of
Saarland), Ana
Sokolova (University of Salzburg). The other committee members
are Claudia
Borg, Gordon
Pace (Malta), Luca Aceto, Tarmo Uustalu (Reykjavik). The
defense will take place at 9:00 CET (8:00 GMT) at the University
of Malta and can also followed in Zoom.
- 20 February 2026:
From 26 April to 1 May, Tarmo Uustalu will host a meeting of IFIP
WG 2.1 at Vihula, Estonia. This working group is one of the oldest of IFIP
and was in charge of ALGOL 60 and 68.
- 12 February 2026:
Rannís has announced
the 2026
allocation of new grants from the Icelandic Research
Fund.
One grant proposal from ICE-TCS was awarded funding:
- Luca Aceto, Hyperlogics: expressiveness, monitorability and
tools (H.-Lo), project grant
The other grant proposals from the lab were rejected.
The CS department on the whole won 3 new grants
and RU on the whole 11 new grants.
- 11 February 2026:
Tarmo Uustalu is organizing
the 28th Estonian Winter
School in Computer Science, EWSCS 2026 and Luca Aceto is among
the teachers. The school will be held at Viinistu, 2-5 March.
Registration by 15 February.
- 15 January 2026:
On Thursday, 22 January 2026, Bjarki Gunnarsson will defend his
University of Iceland (UI) MSc thesis Concurrent monads in
2-categories. Supervisors: Tarmo Uustalu and Anders Claesson
(UI). Examiner: Jacob Neumann. The defense will happen at 10:00
in room 258 of VR-II.
- 9 January 2026:
The ICE-TCS annual report for
2025 is out. See what we did in 2025.
Last update 8 March 2026