Call For Sponsorship
Scottish Programming Languages & Verification Summer School (SPLV) 2024
29 July – 03 August 2024
Scotland is internationally renowned for its leading expertise in programming language design, implementation, and formal program verification. Since 2019, the Scottish Programming Languages and Verification Summer School (SPLV) has provided local and international students with foundational and advanced learning on topics in programming languages and verification research. SPLV’s core mission is to:
- Provide essential research training for postgraduate students
- Broaden participants’ knowledge by exposing them to cutting edge research
- Facilitate networking between students and established researchers
- Foster the Scottish Programming Languages community
Each edition of SPLV has been well attended by local PhD students, as well as attracting international PhD students, academics, and industrial practitioners.
SPLV 2024 is organised by the University of Strathclyde, with support from the Scottish Programming Languages Institute (SPLI) and Scottish Informatics and Computer Science Alliance (SICSA). The core theme of SPLV 2024 is putting theory into practice, enabling students to learn how cutting edge theoretical research can be applied to address practical software engineering problems. Our courses cover a range of topics including type theory, category theory, protocol verification, and effect handlers.
The SPLV 2024 Invited Lecturer is Dr. Lindsey Kuper, Assistant Professor at the University of California Santa Cruz. Dr. Kuper’s research draws on the research traditions of programming languages, distributed systems, and software verification. Specifically, Dr. Kuper uses programming-language-based approaches to build concurrent and distributed software systems that are elegant, correct, and efficient.
For more information about SPLV 2024, please visit:
By sponsoring SPLV, your organisation will gain access to the SPLI/SICSA communities that contain experts at the cutting edge of programming languages and verification research. Your organisation will have the chance to collaborate and engage with these communities, as well as access to the communities’ postgraduate students. The funds raised through your organisation’s sponsorship will help us to reduce the participation costs for students.
Contact
If your company would like to sponsor SPLV 2024 then please do get in contact with the organising team at:
Sponsorship Packages
| Package | Benefits | Contribution |
|---|---|---|
| Bronze | Recognised sponsor for SPLV 2024.
|
500.00 GBP |
| Silver | Bronze sponsorship and
|
1000.00 GBP |
| Gold | Silver sponsorship and
|
2000.00 GBP |
| Platinum | Gold sponsorship and
|
4000.00 GBP |
Additional options:
Additional sponsorship options can include:
| T-shirt Sponsor | You provide the Summer School T-shirt (with your logo on it) to participants |
| Gift Sponsor | You provide Summer School mugs or notebooks (with your logo on it) |
About SPLI
The Scottish Programming Languages Institute (SPLI) unites researchers in programming languages research from the Universities of Edinburgh, Glasgow, Heriot-Watt, St Andrews, Stirling, Strathclyde, and West of Scotland. Together, the SPLI Community co-ordinates events across Scotland which enhance programming languages research and knowledge exchange.
About SICSA
The Scottish Informatics and Computer Science Alliance (SICSA) is a collaboration of 14 Scottish Universities. SICSA promotes international excellence in University-led research, education, and knowledge exchange for Scottish Informatics and Computer Science. Each year SICSA organises the annual SICSA PhD Conference, a showcase event, attended by more than 150 research students drawn from across computing schools and departments within all 14 of Scotland’s higher education institutions.