Summer School in Software Engineering and Verification

Slides


Introduction:

School introduction

Core lecturers:


Tony1234
Patrice123
Stephan1234
Yannis1234
Natasha1&234
Ben123


Guest lecturers:

Bertrand Meyer [*]
Andrei Sabelfeld [*, *, *]
Andrey Bokhanko [*]
Andreas Scherbakov [*]
Vladimir Zakharov [*]
Alexander Gotmanov [*]
Sergey Golovanov [*]
Alexander Kamkin [*]
Sergei Abramov [*]
Konstantin Serebryany [*]
Ilya Klyuchnikov [*]


Project slides: