From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9913 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Clemens Kupke Newsgroups: gmane.science.mathematics.categories Subject: Scottish Programming Languages and Verification Summer School, Strathclyde, Glasgow, UK, 5--9 August 2019 Date: Thu, 16 May 2019 22:58:29 +0100 Message-ID: Reply-To: Clemens Kupke Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="62712"; mail-complaints-to="usenet@blaine.gmane.org" To: Original-X-From: majordomo@mlist.mta.ca Fri May 17 15:44:43 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hRdAB-000GAI-DU for gsmc-categories@m.gmane.org; Fri, 17 May 2019 15:44:43 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:48990) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hRdBG-0004uv-EJ; Fri, 17 May 2019 10:45:50 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hRd8s-00069w-Pn for categories-list@mlist.mta.ca; Fri, 17 May 2019 10:43:22 -0300 Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9913 Archived-At: ??+-----------------------------------------------------------------+ ??| | ??|?? Scottish Programming Languages and Verification Summer School?? | ??|?? The University of Strathclyde, Glasgow, UK, 5--9 August 2019???? | ??| http://www.macs.hw.ac.uk/splv/splv19/?????????????????????????????????????????????????? | ??| | ??+-----------------------------------------------------------------+ The inaugural Scottish Programming Languages and Verification Summer School will be held at the University of Strathclyde 5--9 August 2019. The aim of the school is to provide PhD students with core and specialised knowledge in the broad area of Programming Language and Verification research. COURSES ======= Invited course -------------- ?? Chung-chieh Shan (Indiana University) ?? "Probabilistic programming" Core courses ------------ ?? Phil Wadler (University of Edinburgh) ?? "Programming Foundations in Agda" ?? Neil Ghani (University of Strathclyde) ?? "Category Theory" Specialised courses ------------------- ?? Chris Brown (University of St Andrews) ?? "Parallel Programming" ?? Ornela Dardha (University of Glasgow) ?? "Session Types" ?? Conor McBride (University of Strathclyde) ?? "Dependently Typed Programming" ?? Greg Michaelson and Rob Stewart (Heriot-Watt University) ?? "Domain-Specific Languages" PREREQUISITES ============= 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. DATES ===== Early Registration deadline: 4 July 2019. School: Monday 5 August to Friday 9 August 2019. SPONSORSHIP =========== The summer school is generously sponsored by SICSA, the Scottish Informatics and Computer Science Alliance, and partially supported by ERC grant Skye (grant no 682315) and the UK Manycore Network. We also offer a range of sponsorship opportunities for industry with attractive benefits -- please get in touch if you are interested. REGISTRATION ============ Registration will open soon. Since the school is sponsored by SICSA, attendance will be *free* for PhD students affiliated with Scottish universities. The registration fees in general are as follows: SICSA student: ??0. Academic: ??160. Industry: ??300. The registration fee covers coffee breaks, lunches and an excursion. ACCOMMODATION ============= We can offer accommodation in student dorms for ??170. Alternatively, there are plenty of hotels, hostels or Airbnbs in central Glasgow. FURTHER INFORMATION =================== More information can be found on the school webpage: ?? http://www.macs.hw.ac.uk/splv/splv19/ Please contact one of the local organisers if you have any questions: - Bob Atkey?????????????????????????????????????? robert.atkey@strath.ac.uk - Clemens Kupke?????????????????????????????? clemens.kupke@strath.ac.uk - Fredrik Nordvall Forsberg fredrik.nordvall-forsberg@strath.ac.uk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]