du 03 avr 2013 → 05 juin 2013 Associé à Gérard Berry, chaire Algorithmes, machines et langages Documents et médias Télécharger le résumé annuel pdf (349.33 Ko) Programme Cours 02 avr 2013 10:00 - 11:00 Cours Gérard Berry Parler du temps, mais de manière formelle (1) Le temps et les événements en informatique Cours 02 avr 2013 11:00 - 12:00 Cours Gérard Berry Parler du temps, mais de manière formelle (2) Le temps et les événements en informatique Cours 09 avr 2013 10:00 - 11:00 Cours Gérard Berry Circuits et nombre 2-adiques, une nouvelle vision de l'échange temps-espace Le temps et les événements en informatique Cours 16 avr 2013 10:00 - 11:00 Cours Gérard Berry Systèmes réactifs logiciels, le design du langage synchrone Esterel v5 Le temps et les événements en informatique Cours 23 avr 2013 10:00 - 11:00 Cours Gérard Berry La compilation logicielle d'Esterel v5 Le temps et les événements en informatique Cours 14 mai 2013 10:00 - 11:00 Cours Gérard Berry La conception de circuits synchrones et multi-horloges en Esterel v7 Le temps et les événements en informatique Cours 21 mai 2013 10:00 - 11:00 Cours Gérard Berry Synthèse matérielle et compilation logicielle d'Esterel v7 Le temps et les événements en informatique Cours 28 mai 2013 10:00 - 12:00 Cours Gérard Berry Orchestration d'activités Web en HipHop Le temps et les événements en informatique Cours 04 juin 2013 10:00 - 12:00 Cours Gérard Berry Présentation des séminaires Le temps et les événements en informatique
Cours 02 avr 2013 10:00 - 11:00 Cours Gérard Berry Parler du temps, mais de manière formelle (1) Le temps et les événements en informatique
Cours 02 avr 2013 11:00 - 12:00 Cours Gérard Berry Parler du temps, mais de manière formelle (2) Le temps et les événements en informatique
Cours 09 avr 2013 10:00 - 11:00 Cours Gérard Berry Circuits et nombre 2-adiques, une nouvelle vision de l'échange temps-espace Le temps et les événements en informatique
Cours 16 avr 2013 10:00 - 11:00 Cours Gérard Berry Systèmes réactifs logiciels, le design du langage synchrone Esterel v5 Le temps et les événements en informatique
Cours 23 avr 2013 10:00 - 11:00 Cours Gérard Berry La compilation logicielle d'Esterel v5 Le temps et les événements en informatique
Cours 14 mai 2013 10:00 - 11:00 Cours Gérard Berry La conception de circuits synchrones et multi-horloges en Esterel v7 Le temps et les événements en informatique
Cours 21 mai 2013 10:00 - 11:00 Cours Gérard Berry Synthèse matérielle et compilation logicielle d'Esterel v7 Le temps et les événements en informatique
Cours 28 mai 2013 10:00 - 12:00 Cours Gérard Berry Orchestration d'activités Web en HipHop Le temps et les événements en informatique
Cours 04 juin 2013 10:00 - 12:00 Cours Gérard Berry Présentation des séminaires Le temps et les événements en informatique