icetcs.github.io - ICE-TCS

home > domains > icetcs.github.io

ru (30052) iceland (765) reykjavik (94) theoretical computer science (10) reykjavik university (2) ice-tcs (1) icetcs (1) luca aceto (1) magnús m. halldórsson (1)

Example domain paragraphs

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.

Links to icetcs.github.io (2)

• scool24.github.io First Reykjavik Summer of Cool Logic 2024 (SCooL 2024) - Reykjavik Summer of Cool Logic 2024 (SCooL 2024)
• dylanm.org Dylan McDermott