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: Tue, 20 Jan 2026 18:42:56 GMT cache-control: max-age=600 content-encoding: gzip x-proxy-cache: MISS x-github-request-id: 3C13:2B088E:32CC5:3832D:696FCA58 accept-ranges: bytes age: 0 date: Tue, 20 Jan 2026 18:32:57 GMT via: 1.1 varnish x-served-by: cache-bom-vanm7210031-BOM x-cache: MISS x-cache-hits: 0 x-timer: S1768933977.543340,VS0,VE777 vary: Accept-Encoding x-fastly-request-id: c57f95f1e386244d76a687fe479541b574d9db7b 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