Skip to content

Research

IRN CLoVE

The primary objective of the IRN CLoVe (Complexity, Logic, and Verification) is to federate and strengthen individual cooperation established between French and Danish teams in the following fields of expertise: formal specification and verification, logic, and complexity. Beyond reinforcing existing collaborations between the two countries within each individual theme, the goal is to leverage the consortium’s synergy to advance interactions between these fields and potentially create new ones.

Examples of natural interaction points between the groups include: algebraic methods in verification and complexity, logical approaches to computational complexity, and the formal analysis and proof of probabilistic systems.

Coordinator : Thomas Seiller

Activities

Mailing list

If you are interested in the IRN’s activities, you can subscribe to the mailing list CLoVe.

Involved Institutions

Danemark

France