HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Thu, 15 Jan 2026 14:27:54 GMT access-control-allow-origin: * strict-transport-security: max-age=31556952 etag: W/"6968f96a-cc4" expires: Wed, 21 Jan 2026 02:23:20 GMT cache-control: max-age=600 content-encoding: gzip x-proxy-cache: MISS x-github-request-id: 1AC8:1989E9:7805C:8A855:69703640 accept-ranges: bytes age: 0 date: Wed, 21 Jan 2026 02:13:20 GMT via: 1.1 varnish x-served-by: cache-bom-vanm7210089-BOM x-cache: MISS x-cache-hits: 0 x-timer: S1768961601.618904,VS0,VE257 vary: Accept-Encoding x-fastly-request-id: a3e480e31969912504962b9f7cac7d809b7bce7c content-length: 1467

ICE-TCS -- Icelandic Centre of Excellence in Theoretical Computer Science

This is the new website of the ICE-TCS research center of the Department of Computer Science, Reykjavik University.

We are the theoretical computer science lab of the department.

We do combinatorics, algorithms and complexity, logic, concurrency theory, programming language theory.

• News


• Members


• Publications


• PhD theses
• MSc theses


• Projects


• Guests


• Seminar
• ICE-TCS and CS@GSSI joint online seminar Apr. 2020-Apr. 2022


• Conferences:
  • FroCoS/ITP/TABLEAUX '25
  • NORCOM '25
  • Reykjavik Summer of Cool Logic '24 (NLS/SLSS, GandALF)
  • Logic Colloquium '22
  • NWPT '21
  • IEEE CTW '19
  • Permutation Patterns '17
  • LICS '17
  • SWAT '16
  • iFM '16
  • NWPT '15
  • SIROCCO '12
  • DisCoTec '11 (COORDINATION, DAIS, FMOODS/FORTE)
  • NORCOM '10
  • ICALP '08
  • NWPT '06


• Annual reports
• Advisory board


• Contact

---

Last update 12 August 2025