Présentation de la chaire

Algorithmes, machines et langage.

Résumé annuel

2016-2017 – L'enseignement n'a pas lieu cette année

2015-2016 – Structures de données et algorithmes pour la vérification formelle

2014-2015 – La révolution informatique dans les sciences

2013-2014 – Le temps élargi : horloges multiples, temps discret et temps continu

2012-2013 – Le temps et les événements en informatique