Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

5 - 9 August 2019, Scottish Programming Languages & Verification Summer School, Glasgow, Scotland

Date: 5 - 9 August 2019
Location: Glasgow, Scotland

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.

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.

For more information, see http://www.macs.hw.ac.uk/splv/splv19/ or contact Bob Atkey at , Clemens Kupke at , or Fredrik Nordvall Forsberg at .

Please note that this newsitem has been archived, and may contain outdated information or links.