Partager Facebook Twitter Linkedin Copier le lien Séminaire Sémantiques mécanisées : quand la machine raisonne sur ses langages
du 12 déc 2019 → 13 fév 2020 Associé à Xavier Leroy, chaire Sciences du logiciel Documents et médias Télécharger le programme pdf (276.99 Ko) Programme Séminaire 12 déc 2019 11:15 - 12:15 Séminaire Philip Wadler Lambda, the Ultimate Teaching Assistant (Agda Version) Sémantiques mécanisées : quand la machine raisonne sur ses langages Séminaire 19 déc 2019 11:15 - 12:15 Séminaire Sylvie Boldo L'arithmétique des ordinateurs et sa formalisation Sémantiques mécanisées : quand la machine raisonne sur ses langages Séminaire 09 jan 2020 11:15 - 12:15 Séminaire Alan Schmitt Sémantique formelle de JavaScript : les enjeux du passage à l'échelle Sémantiques mécanisées : quand la machine raisonne sur ses langages Séminaire 16 jan 2020 11:15 - 12:15 Séminaire Arthur Charguéraud Logique de séparation en Coq : théorie et pratique Sémantiques mécanisées : quand la machine raisonne sur ses langages Séminaire 30 jan 2020 11:15 - 12:15 Séminaire David Pichardie Interpréteurs abstraits mécanisés Sémantiques mécanisées : quand la machine raisonne sur ses langages Séminaire 06 fév 2020 11:15 - 12:15 Séminaire Derek Dreyer Understanding and Evolving the Rust Programming Language Sémantiques mécanisées : quand la machine raisonne sur ses langages Séminaire 13 fév 2020 09:30 - 10:30 Séminaire Xavier Leroy What's in a Name? Représenter les variables et leurs liaisons Sémantiques mécanisées : quand la machine raisonne sur ses langages
Séminaire 12 déc 2019 11:15 - 12:15 Séminaire Philip Wadler Lambda, the Ultimate Teaching Assistant (Agda Version) Sémantiques mécanisées : quand la machine raisonne sur ses langages
Séminaire 19 déc 2019 11:15 - 12:15 Séminaire Sylvie Boldo L'arithmétique des ordinateurs et sa formalisation Sémantiques mécanisées : quand la machine raisonne sur ses langages
Séminaire 09 jan 2020 11:15 - 12:15 Séminaire Alan Schmitt Sémantique formelle de JavaScript : les enjeux du passage à l'échelle Sémantiques mécanisées : quand la machine raisonne sur ses langages
Séminaire 16 jan 2020 11:15 - 12:15 Séminaire Arthur Charguéraud Logique de séparation en Coq : théorie et pratique Sémantiques mécanisées : quand la machine raisonne sur ses langages
Séminaire 30 jan 2020 11:15 - 12:15 Séminaire David Pichardie Interpréteurs abstraits mécanisés Sémantiques mécanisées : quand la machine raisonne sur ses langages
Séminaire 06 fév 2020 11:15 - 12:15 Séminaire Derek Dreyer Understanding and Evolving the Rust Programming Language Sémantiques mécanisées : quand la machine raisonne sur ses langages
Séminaire 13 fév 2020 09:30 - 10:30 Séminaire Xavier Leroy What's in a Name? Représenter les variables et leurs liaisons Sémantiques mécanisées : quand la machine raisonne sur ses langages