Many of these programs offer financial support (registration, travel, accommodation) for participants. It’s always best to check the event’s website or contact the organizers for the most up-to-date information.
- Foundations of programming languages, type theory, semantics, and related areas.
- Excellent archive of past lectures with video recordings.
- Co-located with major PL conferences (POPL, PLDI, ICFP)
- Introduces early-stage students to PL research topics, offers mentoring, and fosters networking with established researchers.
- PLMW@POPL 2025, PLMW@ICFP 2024
- Scotland (2025 in Edinburgh)
- Programming language theory, verification, automated reasoning, and proof assistants.
- Utrecht University, The Netherlands
- Advanced concepts in functional programming (especially Haskell), type systems, and design patterns.
- SAT, SMT, automated reasoning techniques, and applications.
- Broad CS research fundamentals; ideal for students considering PhD.