The idea behind the summer/winter school program is to bring together motivated students, post-graduates, and software developers with prominent world-class researchers. One particular topic is studied at each school, which allows the participants to immerse in intensive study and complete an extensive course, which could easily be a semester-long, in just five days. The topics are selected to be on a cutting-edge in the area of programming languages, compilers, development of language tools.
Usually, the schools take place during the last week of winter and summer holidays (beginning of February, end of August). The typical daily schedule is as follows:
11:00 — 12:00 Homework assignments discussion
12:00 — 15:00 Lectures
15:00 — 16:00 Lunch
16:00 — 19:00 Practice and homework assignment for the next day
The schedule can be adjusted. However, a significant amount of practical training is expected.
The subject for a school is usually announced 1-2 months in advance. The attendees are expected to be senior students, post-graduates, researchers, software developers. Attendance is by registration, but free of charge, with 10 to 20 places available.
- About schools
12-16 August 2019Summer School on Probabilistic Programming
27-31 August 2018Summer School on Category Theory
28 August - 1 September 2017Summer School on Weak Memory Consistency
30 January - 3 February 2017Winter School on Denotational Semantics
22-26 August 2016Summer School on Game Semantics
24-28 August 2015Summer School on Relational Programming
2-6 February 2015Winter School on Abstract Interpretation
25-29 August 2014Programs and Proofs: Mechanizing Mathematics with Dependent Types
3-7 February 2014Winter School on Metacalculations
26-30 August 2013Summer School on Memory Management