categories - Category Theory list
 help / color / mirror / Atom feed
* SPLV 2022 - Call for Participation
@ 2022-05-10  7:52 Filip Sieczkowski
  0 siblings, 0 replies; only message in thread
From: Filip Sieczkowski @ 2022-05-10  7:52 UTC (permalink / raw)
  To: categories-59hdLBrVOVU, events-UYyDbajZw9Ng9hUCZPvPmw,
	coq-club-MZpvjPyXg2s, agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB,
	caml-list-MZpvjPyXg2s, boost-interest-q6ZjaXuubFjwRsdMLXbzog,
	event-HKdKWCMRuSoyzp8zgePYoYQuADTiUCJX, prog-lang-dAYI7NvHqcQ,
	security-vWCY0m3ESXPYtjvyW6yDsg, gdr-im-JHSeY3WhOOtQFI55V6+gNQ,
	planetkr-7hZN9r6sC8U, fmics-xhhIRkXa/2pvynnTyRI/EA,
	wi-38cWrvCrWb9y80wz8M7KhqmYAUrVh0xC, comm-theory-EkmVulN54Sk

[ The Types Forum (announcements only), ]

|                                                               |
| Scottish Programming Languages and Verification Summer School |
| Heriot-Watt University, UK, 11--15 July 2022                  |
|;!!IBzWLUs!VWrf4TR6u_G-ENxQp5BtSxf-GxqpdV-x6s8Pz1u0-gsKMnpnTSMUTVg2ECeeU7_AolEKxwmVMD0HSbZ8B3xwxF7a0DlVbbwO$                         |
|                                                               |

The Scottish Programming Languages and Verification Summer School will
be held at Heriot-Watt University 11--15 July 2022. 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.


Core courses

* James McKinna (Heriot-Watt University)
  “The lambda calculus, formalised: the Church-Rosser and
  Standardisation theorems, with applications”

* Elizabeth Polgreen (U. Edinburgh)
  “An Introduction to SAT and SMT”

Specialised courses

* Susmit Sarkar (St. Andrews), Marko Doko (Heriot-Watt University)
  “An Introduction to Reasoning with Weak Memory”

* Ohad Kammar (U. Edinburgh)
  “Introduction to Statistical modelling with higher-order measure

* Glynn Winskel (U. Strathclyde/Huawei Labs)
  “Making Concurrency Functional”

* Jeremy Singer (U. Glasgow)
  “Capabilities for Coders; an introduction to the CHERI platform”

Invited Lecture



* Jamie Gabbay (Heriot-Watt University)
  “Introduction to Blockchain technology”

* Sam Lindley (U. Edinburgh)
  “Effect-Handler Oriented Programming”


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.


We offer a range of sponsorship opportunities for industry with
attractive benefits -- please get in touch if you are interested.


Registration is open at;!!IBzWLUs!VWrf4TR6u_G-ENxQp5BtSxf-GxqpdV-x6s8Pz1u0-gsKMnpnTSMUTVg2ECeeU7_AolEKxwmVMD0HSbZ8B3xwxF7a0E8loP-Y$ 

The registration fees in general are as follows:
* Students & Academics: £330.
* Industry: £500.

The registration fee covers coffee breaks, lunches, dinners, and an

Registration Date: June 10, 2022

We may be able to provide fee waivers for a small number for students
as well as Scottish academics. Please indicate your interest in the
registration form.


We can offer 5-night accommodation (Sunday to Friday) in student dorms
for £210. Please indicate your interest in the registration form.
Alternatively, Marriot Hotel on Heriot-Watt campus offers
self-organised accommodation.


More information can be found on the school webpage:;!!IBzWLUs!VWrf4TR6u_G-ENxQp5BtSxf-GxqpdV-x6s8Pz1u0-gsKMnpnTSMUTVg2ECeeU7_AolEKxwmVMD0HSbZ8B3xwxF7a0Ot6Qtvb$ 

Please contact one of the local organisers if you have any questions:
* Ekaterina Komendantskaya
* Filip Sieczkowski
* Kathrin Stark  

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-05-10  7:52 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-05-10  7:52 SPLV 2022 - Call for Participation Filip Sieczkowski

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).