Xavier Leroy, professor i programvaruforskning vid Collège de France i Paris, ger en översikt av deduktiv programvaruverifiering, med utgångspunkt i Alan Turings bidrag.
Hans föredrag har titeln: "Checking a large routine" 76 years later: an overview of deductive software verification.
Översikt
Evenemanget har passerat
- Datum:Startar 3 oktober 2025, 12:00Slutar 3 oktober 2025, 13:00
- Plats:
- Språk:Svenska
- Anmäl dig senast:30 september 2025
Men information om föredraget och talaren finns på den engelska sidan.
Lunchmacka till alla som anmäler sig via Choodle-länken senast den 30 september.
