The idea behind 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
- Summer School on Weak Memory Consistency (August, 28 - September, 1, 2017)
- Winter School on Denotational Semantics (30 January - 3 February, 2017)
- Summer School on Game Semantics (22-26 August, 2016)
- Summer School on Relational Programming (24-28 August, 2015)
- Winter School on Abstract Interpretation (February 2-6, 2015)
- Programs and Proofs: Mechanizing Mathematics with Dependent Types (August 25-29, 2014)
- Winter School on Metacalculations (February 3-7, 2014)
- Summer School on Memory Management (August 26-30, 2013)