Summer School in Software Engineering and Verification
Home
Courses
Schedule
Committee
Dates
Preparation
Slides
Location
Application
Partners
Slides
Introduction:
School introduction
Core lecturers:
Tony
1
2
3
4
Patrice
1
2
3
Stephan
1
2
3
4
Yannis
1
2
3
4
Natasha
1&2
3
4
Ben
1
2
3
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:
