Our guest lecture series opens a window to a related field.
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.
We are currently seeking sponsorship for the school. If your company is interested in supporting SPLV25, please get in touch with the organisers.
If you have any questions please get in contact with the local organising team at:
splv-2025-organisers-group@uoe.onmicrosoft.com
The principal organisers of SPLV25 are: