Here are some of the lectures I attended:
| Analyse d'algorithmes |
| Protocoles cryptographiques: preuves formelles et calculatoires |
| Programmation fonctionnelle et systèmes de types |
| Aspects algorithmiques de la combinatoire |
| Cryptologie |
| Modélisation par automates finis |
| Algorithmique des graphes |
| Planification de mouvement en robotique |
| Algorithmes probablistes et complexité |
| Informatique Quantique |
| Codes correcteurs d'erreurs, calcul formel : applications à la cryptologie |
| Jeux pour la théorie des automates, la vérification et l'internet |
| Fondations mathématiques de la théorie des automates |
| Ordonnancement |
| Structures Informatiques et Logiques pour la Modélisation Linguistique |
| Initiation à la Cryptographie |
| Géométrie Algorithmique |
| Compilation |
| Systèmes Dynamiques |
| Langages Formels, Calculabilité et Complexité |
| Algorithmique et Programmation |
| Systèmes Digitaux : De l'algorithme aux circuits |