Section: Other Grants and Activities
Research exchange visits
We started a collaboration with the research group of Stephen Edwards at Columbia University (New York), under the INRIA Associated Team exchange program. Stephen Edwards and Olivier Tardieu came to visit our team in June/July, while Julien Boucaron and Robert de Simone went to New York in september. Dumitru Potop went to Columbia in december.
The work in this collaboration is mainly focused on teh mathematical semantics of synchronous languages  , and its extension to GALS systems. Efficient compilation schemes are also tackled. A book on Esterel semantics is under preparation.