August-December 2026:
Compilers and Runtime Systems for Modern Languages.
January-April 2026: Formal Methods in Software Engineering.
August-December 2025: Program analysis and verification.
January-April 2025: Principles of Distributed Software.