- L'informatique du temps et des événements
- 02 avril 2013 10:00 11:00 Cours Parler du temps, mais de manière formelle (1/2) Gérard Berry
- 02 avril 2013 11:00 12:00 Cours Parler du temps, mais de manière formelle (2/2) Gérard Berry
- 09 avril 2013 10:00 11:00 Cours Circuits et nombre 2-adiques, une nouvelle vision de l'échange temps-espace Gérard Berry
- 09 avril 2013 11:00 12:00 Séminaire L'évolution des microprocesseurs Olivier Temam
- 16 avril 2013 10:00 11:00 Cours Systèmes réactifs logiciels, le design du langage synchrone Esterel v5 Gérard Berry
- 16 avril 2013 11:00 12:00 Séminaire Modélisation synchrone des systèmes et des logiciels d'avionique Emmanuel Ledinot
- 23 avril 2013 10:00 11:00 Cours La compilation logicielle d'Esterel v5 Gérard Berry
- 23 avril 2013 11:00 12:00 Séminaire Le langage SCADE 6 pour les systèmes embarqués, de la conception à la compilation Bruno Pagano
- 14 mai 2013 10:00 11:00 Cours La conception de circuits synchrones et multi-horloges en Esterel v7 Gérard Berry
- 14 mai 2013 11:00 12:00 Séminaire Asynchronous circuits Jordi Cortadella
- 21 mai 2013 10:00 11:00 Cours Synthèse matérielle et compilation logicielle d'Esterel v7 Gérard Berry
- 21 mai 2013 11:00 12:00 Séminaire Elastic Circuits, Blending Synchronous and Asynchronous Technologies Jordi Cortadella
- 28 mai 2013 10:00 12:00 Cours Orchestration d'activités Web en HipHop Gérard Berry
- 28 mai 2013 10:00 11:00 Séminaire Programmation distribuée du Web en Hop 1/2 Manuel Serrano
- 28 mai 2013 11:00 12:00 Séminaire Programmation distribuée du Web en Hop 2/2 Manuel Serrano
- 04 juin 2013 10:00 11:00 Séminaire La musique du temps-réel Philippe Manoury
- 04 juin 2013 10:00 12:00 Cours Présentation des séminaires Gérard Berry
- 04 juin 2013 11:00 12:00 Séminaire Musique informatique : de la synchronisation interprète / électronique à la partition algorithmique Arshia Cont