Le but de ce cours est d'elargir et d'approfondir vos connaissances en programmation, en paradigmes, sémantique, abstraction et concurrence.  Nous allons voir un large éventail de concepts de programmation à la fois théorique et pratique, comme la programmation fonctionnelle et la sémantique formelle, et des paradigmes importants comme le dataflow déterministe et le dataflow multi-agent.