For those who are interested in synchronous reactive programming and speak French, Gérard Berry gave lectures about it (and time-related topics in general) at C

For those who are interested in synchronous reactive programming and speak French, Gérard Berry gave lectures about it (and time-related topics in general) at Collège de France, along with other teachers including M. Pouzet. Videos are publicly available, check out: http://www.college-de-france.fr/site/gerard-berry/course-2012-2013.htm http://www.college-de-france.fr/site/gerard-berry/course-201... http://www.college-de-france.fr/site/gerard-berry/course-2013-2014.htm http://www.college-de-france.fr/site/gerard-berry/course-201... (In 2014 - 2016 he moved on to program proofs, which may also interest some of you.)