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:00Plats:
Språk:
SvenskaAnmä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.
Aarne Ranta
- Professor (N2), Computing Science, Data- och informationsteknik
