Scottish Programming Languages and Verification Summer School 2024

The school is aimed at PhD students in programming languages, verification and related areas. Researchers and practitioners are very welcome, as are strong undergraduate and masters students with the support of a supervisor.  Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic.

More information can be found on the Scottish Programming Languages and Verification Summer School 2024 webpage.