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

This is a stub for 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
  • 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
  • DisCoTec '11 (COORDINATION, DAIS, FMOODS/FORTE)
  • ICALP '08
  • NWPT '06


• Contact