[Agda] Final Call for Participation: Scottish Programming Languages and Verification Summer School

[Fredrik Nordvall Forsberg]

Dear colleagues,

This is the final announcement for the Scottish Programming Languages
and Verification Summer School. Early registration closes soon: this
Thursday 4th July. Note that accommodation in student halls is only
available to be booked until then.


  +-----------------------------------------------------------------+
  |                                                                 |
  |  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 Language 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: Thursday 4 July 2019.
Final Registration deadline: Monday 22 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 is open at the following address:

    http://tiny.cc/SPLV19-registration

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 halls for students (Sunday 4
August until Saturday 10 August) for £170, as part of the registration
process. This is available until the early registration
deadline. 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 at strath.ac.uk
- Clemens Kupke                clemens.kupke at strath.ac.uk
- Fredrik Nordvall Forsberg    fredrik.nordvall-forsberg at strath.ac.uk