USTAV INFORMATIKY AV CR

Their core work

The Institute of Computer Science of the Czech Academy of Sciences (ICS CAS) is a fundamental research institute specializing in mathematical logic, theoretical computer science, and their computational applications. Their core strength lies in substructural and modal logics — formal systems used to reason about computation, language, and mathematical structures. Through MSCA staff exchange networks, they contribute expertise in proof theory, algebraic semantics, and algorithmic methods, bridging pure mathematical logic with applied domains such as computational linguistics and network analysis.

What they specialise in

How they've shifted over time

ICS CAS entered H2020 with a purely theoretical focus on the mathematical foundations of substructural logics (SYSMICS, 2016). Their middle period introduced a combinatorial and algorithmic dimension through the CONNECT project (2017), touching applied topics like UAV algorithms and music information retrieval. Their most recent and largest project, MOSAIC (2021), signals a deliberate move toward connecting their core logic expertise with practical applications — modal logics, coalgebras, and computational linguistics suggest a maturing group that is broadening from pure theory toward applied formal methods.

They are expanding from pure mathematical logic toward application-ready formal methods, making them increasingly relevant for projects needing rigorous computational reasoning frameworks.

How they like to work

ICS CAS operates exclusively as a participant — they join international research networks rather than leading them. All three projects are MSCA-RISE staff exchanges, meaning their collaboration model is built around researcher mobility and knowledge transfer rather than large-scale technology development. Despite only three projects, they have worked with 50 unique partners across 20 countries, indicating they plug into broad, well-connected academic networks and are comfortable working across institutional and cultural boundaries.

Remarkably broad network for their project count: 50 partners across 20 countries, reflecting the wide-reaching nature of MSCA-RISE staff exchange programs. Their connections span the European mathematical logic and theoretical CS communities extensively.

What sets them apart

ICS CAS brings deep expertise in mathematical logic that few applied-research partners can match — substructural logics, proof theory, and algebraic semantics are niche but foundational disciplines. For consortium builders needing formal verification, reasoning frameworks, or rigorous computational foundations, this institute offers the theoretical backbone that application-oriented partners often lack. As part of the Czech Academy of Sciences, they carry institutional credibility and access to a broader ecosystem of Czech research excellence.

Highlights from their portfolio

• MOSAIC
  Their largest funded project (EUR 110,400) and most recent, explicitly bridging theoretical logic with applications — signals the institute's strategic direction.
• SYSMICS
  Their foundational H2020 entry connecting syntax and semantics in substructural logics, establishing their core niche in the European logic community.