Presentation

The project UnReAL, Understanding Regular expressions, Automata and Languagues is funded by the French National Research Agency ANR. It will span a period of five years (2024–2029).


Objectives

The objective of the project is to understand classes of regular languages defined by standard formalisms, such as variants of first-order logic, temporal logic or regular expressions.

See the scientific description of the project for details.