Version 2 du programme des ateliers-conférences pour l'association CodeAnon (2020)
N'hésitez pas à soumettre une pull-request pour proposer de nouveaux évènements
| Auteur | Date | Titre |
|---|---|---|
| Arthur Correnson | 5/9/20 | Logique et Algorithmes (1) : Diviser pour régner, tetris, et programmation récursive |
| Arthur Correnson | 12/9/20 | Logique et Algorithmes (2) : Programmation OCaml, itérateurs et algorithmes de graph |
| Arthur Correnson | ?? | Logique et Algorithmes (3) : Logique propositionnelle, problèmes SAT et programmation logique |
| Arthur Correnson | ?? | Logique et Algorithmes (4) : Preuves assistées par ordinateur : un solveur SAT simple prouvé en Coq (partie I) |
| Arthur Correnson | ?? | Logique et Algorithmes (5) : Preuves assistées par ordinateur : un solveur SAT simple prouvé en Coq (partie II) |
| Arthur Correnson | ?? | Logique et Algorithmes (6) : Conception des langages de programmation : Analyse Syntaxique |
| Arthur Correnson | ?? | Logique et Algorithmes (7) : Conception des langages de programmation : Mini interpréteur python |
| Arthur Correnson | ?? | Logique et Algorithmes (8) : Conception des langages de programmation : Mini compilateur python |
| Arthur Correnson | ?? | Logique et Algorithmes (9) : Conception des langages de programmation : Un langage de programmation logique |