Team aoste

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Other Grants and Activities

Research exchange visits

Participants : Julien Boucaron, Luca Carloni, Robert de Simone, Stephen Edwards, Dumitru Potop, Olivier Tardieu.

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 [47] , and its extension to GALS systems. Efficient compilation schemes are also tackled. A book on Esterel semantics is under preparation.


previous
next

Logo Inria