Forskning i beviselige programmers fremtidige betydning for sikkerhed i software.
Slides fra seminaret vil være synlige på denne side, hvis den pågældende taler ønsker at dele dem. Bemærk venligst, at du skal være logget ind for at se dem.