SPLV23: Scottish Programming Languages and Verification Summer School, 2023

Date(s) - 24/07/2023 - 28/07/2023
All Day

Jack Cole Building, University of St Andrews

SICSA is delighted to be sponsoring this year’s Scottish Programming Languages and Verification Summer School which will be held in St Andrews. The event is organized by the School of Computer Science at the University of St Andrews.

SPLV 2023 is scheduled to run one full week: noon on Monday 24 July to noon on Friday 28 July. Lectures will run face-to-face on-site, in the Jack Cole building in the North Haugh campus. We will use the SPLS Zulip for online communications (e.g. for questions, arrival/dinner on Sunday, …).

The school is aimed at PhD students in programming languages, verification and related areas. Also, researchers and practitioners will be very welcome, as will strong master’s 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.

For more information please see https://splv23.github.io/

This entry was posted in .