{"id":18,"date":"2019-04-30T13:58:58","date_gmt":"2019-04-30T12:58:58","guid":{"rendered":"http:\/\/www.macs.hw.ac.uk\/splv\/?page_id=18"},"modified":"2022-05-10T11:34:39","modified_gmt":"2022-05-10T10:34:39","slug":"home","status":"publish","type":"page","link":"https:\/\/www.macs.hw.ac.uk\/splv\/","title":{"rendered":"SPLV: Scottish Summer School on Programming Languages and Verification"},"content":{"rendered":"\n<figure class=\"wp-block-image alignwide\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"417\" src=\"http:\/\/www.macs.hw.ac.uk\/splv\/wp-content\/uploads\/2019\/06\/glenfinnan_monument-1024x417.jpg\" alt=\"\" class=\"wp-image-171\" srcset=\"https:\/\/www.macs.hw.ac.uk\/splv\/wp-content\/uploads\/2019\/06\/glenfinnan_monument-1024x417.jpg 1024w, https:\/\/www.macs.hw.ac.uk\/splv\/wp-content\/uploads\/2019\/06\/glenfinnan_monument-300x122.jpg 300w, https:\/\/www.macs.hw.ac.uk\/splv\/wp-content\/uploads\/2019\/06\/glenfinnan_monument-768x312.jpg 768w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><figcaption>Glenfinnan Monument, Picture: Young.Scott<\/figcaption><\/figure>\n\n\n<p>\u00a0<\/p>\n<p>The Scottish Programming Languages and Verification Summer School is a collaborative effort between the Universities of Edinburgh, Glasgow, Heriot-Watt, Strathclyde and St Andrews. This summer school provides core and advanced classes that cover foundational as well as state of the art knowledge on the underlying principles needed to use or design new languages and verifying program correctness.<\/p>\n<p>This school aims to:<\/p>\n<ul>\n<li>Facilitate rapid knowledge exchange, in addition to providing essential research training and networking for postgraduate students.<\/li>\n<li>Give postgraduate students the opportunity to network with fellow students in the field as well as many established researchers.\u00a0\u00a0<\/li>\n<li>Provide essential postgraduate training in theoretical underpinnings of computer science and in programming languages\u00a0<\/li>\n<\/ul>\n<h2>Current and Previous Summer Schools:<\/h2>\n<ul>\n<li><a href=\"http:\/\/www.macs.hw.ac.uk\/splv\/splv19\/\">SPLV&#8217;19 in Strathclyde<\/a><\/li>\n<li><a href=\"http:\/\/www.macs.hw.ac.uk\/splv\/home\/splv20\/\">SPLV&#8217;20 at Edinburgh Informatics<\/a><\/li>\n<li><a href=\"http:\/\/www.macs.hw.ac.uk\/splv\/splv-2021\/\">SPLV&#8217;21 (online) in Glasgow<\/a><\/li>\n<li><a href=\"https:\/\/www.macs.hw.ac.uk\/splv\/splv22\/\">SPLV&#8217;22 at Heriot-Watt University (Edinburgh)<\/a><\/li>\n<\/ul>\n<h2>Steering committee:<\/h2>\n<table style=\"height: 91px;\" width=\"559\">\n<tbody>\n<tr>\n<td style=\"width: 271px;\">\n<p><span style=\"color: #000080;\"><b>Ekaterina Komendantskaya<\/b><\/span><\/p>\n<p><span style=\"color: #000080;\">Heriot-Watt University<\/span><\/p>\n<\/td>\n<td style=\"width: 272px;\">\n<p><span style=\"color: #000080;\"><b>Clemens Kupke<\/b><\/span><\/p>\n<p><span style=\"color: #000080;\">Strathclyde University<\/span><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"width: 271px;\">\n<p><span style=\"color: #000080;\"><b>Susmit Sarkar<\/b><\/span><\/p>\n<p><span style=\"color: #000080;\">St Andrews University<\/span><\/p>\n<\/td>\n<td style=\"width: 272px;\">\n<p><span style=\"color: #000080;\"><b>Jeremy Singer<\/b><\/span><\/p>\n<p><span style=\"color: #000080;\">Glasgow University<\/span><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"width: 271px;\">\n<p><span style=\"color: #000080;\"><b>James Cheney<\/b><\/span><\/p>\n<p><span style=\"color: #000080;\">Edinburgh University<\/span><\/p>\n<\/td>\n<td style=\"width: 272px;\">\n<p><span style=\"color: #000080;\"><b>Ohad Kammar<\/b><\/span><\/p>\n<p><span style=\"color: #000080;\">Edinburgh University<\/span><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>General publicity chair:<\/h2>\n<p>Alasdair Hill, Heriot-Watt University.<\/p>\n<h2>Sponsorship<a id=\"sponsorship\"><\/a><\/h2>\n\n\n<p>The summer school is generously sponsored by <a href=\"https:\/\/www.sicsa.ac.uk\/\">SICSA, the Scottish Informatics and Computer Science Alliance<\/a>, and partially supported by ERC grant Skye (grant no 682315) and the UK Manycore Network.<\/p>\n\n\n\n<p>We also offer a range of sponsorship opportunities for industry with attractive benefits:<\/p>\n<table style=\"border-style: solid; width: 100%;\">\n<tbody>\n<tr>\n<td style=\"width: 27.381%;\">\n<h5><span style=\"color: #000080;\"><strong>Platinum package: \u00a32000<\/strong><\/span><\/h5>\n<\/td>\n<td style=\"width: 71.7857%;\">\n<p><strong><span style=\"color: #993366;\">Logo on website<\/span><\/strong><\/p>\n<p><strong><span style=\"color: #993366;\">Flyers distributed to participants<\/span><\/strong><\/p>\n<p><strong><span style=\"color: #993366;\">Short presentation during the school<\/span><\/strong><\/p>\n<p><strong><span style=\"color: #993366;\">Permanent booth during the School<\/span><\/strong><\/p>\n<p><strong><span style=\"color: #993366;\">3 registrations<\/span><\/strong><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"width: 27.381%;\">\n<h5><span style=\"color: #000080;\"><strong>Gold package: \u00a31000<\/strong><\/span><\/h5>\n<\/td>\n<td style=\"width: 71.7857%;\">\n<p><strong><span style=\"color: #993366;\">Logo on website<\/span><\/strong><\/p>\n<p><strong><span style=\"color: #993366;\">Flyers distributed to participants<\/span><\/strong><\/p>\n<p><strong><span style=\"color: #993366;\">Short presentation during the school<\/span><\/strong><\/p>\n<p><strong><span style=\"color: #993366;\">2 registrations<\/span><\/strong><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"width: 27.381%;\">\n<h5><span style=\"color: #000080;\"><strong>Silver package: \u00a3500<\/strong><\/span><\/h5>\n<\/td>\n<td style=\"width: 71.7857%;\">\n<p><strong><span style=\"color: #993366;\">Logo on website<\/span><\/strong><\/p>\n<p><strong><span style=\"color: #993366;\">Flyers distributed to participants<\/span><\/strong><\/p>\n<p><strong><span style=\"color: #993366;\">1 registration<\/span><\/strong><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"width: 27.381%;\">\n<h5><span style=\"color: #000080;\"><strong>Bronze package: \u00a3250<\/strong><\/span><\/h5>\n<\/td>\n<td style=\"width: 71.7857%;\">\n<p><strong><span style=\"color: #993366;\">Logo on website<\/span><\/strong><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td style=\"width: 27.381%;\">\n<h3><strong>Additional options:<\/strong><\/h3>\n<\/td>\n<td style=\"width: 71.7857%;\">&nbsp;<\/td>\n<\/tr>\n<tr>\n<td style=\"width: 27.381%;\"><strong><span style=\"color: #008000;\">T-shirt Sponsor:<\/span><\/strong><\/td>\n<td style=\"width: 71.7857%;\"><strong><span style=\"color: #008000;\">You provide the Summer School T-shirt (with your logo on it) to participants<\/span><\/strong><\/td>\n<\/tr>\n<tr>\n<td style=\"width: 27.381%;\"><strong><span style=\"color: #008000;\">Gift Sponsor:<\/span><\/strong><\/td>\n<td style=\"width: 71.7857%;\"><strong><span style=\"color: #008000;\">You provide Summer School mugs and\/or notebooks (with your logo on it)<\/span><\/strong><\/td>\n<\/tr>\n<tr>\n<td style=\"width: 27.381%;\"><strong><span style=\"color: #008000;\">Travel Sponsor:&nbsp;<\/span><\/strong><\/td>\n<td style=\"width: 71.7857%;\"><strong><span style=\"color: #008000;\">You provide travel support for students without their own funding&nbsp;<\/span><\/strong><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n<figure><a href=\"https:\/\/www.sicsa.ac.uk\/\"><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/www.macs.hw.ac.uk\/splv\/wp-content\/uploads\/2019\/05\/sicsa-300x82.jpeg\" alt=\"\" width=\"300\" height=\"82\"><\/a><\/figure>\n<figure><a href=\"https:\/\/erc.europa.eu\/\"><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/www.macs.hw.ac.uk\/splv\/wp-content\/uploads\/2019\/05\/erc_logo.png\" alt=\"\" width=\"100\" height=\"99\"><\/a><\/figure>\n<figure><a href=\"https:\/\/manycore.org.uk\/\"><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/www.macs.hw.ac.uk\/splv\/wp-content\/uploads\/2019\/05\/marionet-300x98.jpg\" alt=\"\" width=\"300\" height=\"98\"><\/a><\/figure>\n\n\n","protected":false},"excerpt":{"rendered":"<p>\u00a0 The Scottish Programming Languages and Verification Summer School is a collaborative effort between the Universities of Edinburgh, Glasgow, Heriot-Watt, Strathclyde and St Andrews. This summer school provides core and advanced classes that cover foundational as well as state of the art knowledge on the underlying principles needed to use or design new languages and&hellip;&nbsp;<a href=\"https:\/\/www.macs.hw.ac.uk\/splv\/\" class=\"\" rel=\"bookmark\">Read More &raquo;<span class=\"screen-reader-text\">SPLV: Scottish Summer School on Programming Languages and Verification<\/span><\/a><\/p>\n","protected":false},"author":8,"featured_media":160,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-18","page","type-page","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/pages\/18","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/comments?post=18"}],"version-history":[{"count":60,"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/pages\/18\/revisions"}],"predecessor-version":[{"id":630,"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/pages\/18\/revisions\/630"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/media\/160"}],"wp:attachment":[{"href":"https:\/\/www.macs.hw.ac.uk\/splv\/wp-json\/wp\/v2\/media?parent=18"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}