Contact Version française

The ProVal team was stopped at the end of August 2012, and reborn into a new team Toccata
These pages do not evolve anymore, please follow the link above for up-to-date informations about our team.

Synchronous Languages


The «Synchronous Languages» thematic aims at designing and developing languages dedicated to the programming of embedded systems. These languages are based both on the synchronous model of concurrency and on the principles of functional languages.

The activities of the Synchronous Languages thematic currently take place in the Parkas team of the Département d'Informatique of the École Normale Supérieure.

Software development

Related Grants

Related Publications

INRIA Saclay - Île-de-France