[Agda] EUTYPES summer school in Ohrid, call for applications
Tarmo Uustalu
tarmo at cs.ioc.ee
Sat May 20 15:42:36 CEST 2017
COST action CA15123 EUTYPES
Summer School on Types for Programming and Verification
Ohrid, Macedonia, 10-14 July 2017
https://sites.google.com/view/summerschool2017-eutypes/
CALL FOR APPLICATIONS
BACKGROUND
Types are pervasive in programming and information technology. A type
defines a formal interface between software components, allowing the
automatic verification of their connections, and greatly enhancing the
robustness and reliability of computations and communications. In rich
dependent type theories, the full functional specification of a
program can be expressed as a type. Type systems have rapidly evolved
over the past years, becoming more sophisticated, capturing new
aspects of the behaviour of programs and the dynamics of their
execution.
The aim of this summer school is to provide advanced training,
especially to PhD students and early-career researchers, in all
aspects of the theory and practice of type theory and applications.
LECTURERS AND COURSES
Silvia Ghilezan (University of Novi Sad, Serbia),
Aleksy Schubert (Warsaw University, Poland):
Untyped, typed lambda calculus, pure type systems
Robbert Krebbers (Tehnical University Delft, The Netherlands):
The Coq proof assistant for proving and programming
Conor McBride (University of Strathclyde):
Dependently typed programming, Agda
Andrei Paskevich (LRI, France):
Program verification in Why3
Thorsten Altenkirch (University of Nottingham, UK):
Introduction to homotopy type theory
APPLICATION
The capacity of the summer school is up to 40 students.
6 nights accommodation costs 228 EUR.
A maximum of 30 students (PhD students / early-career researchers)
from countries involved in EUTYPES can receive a grant from the
COST action to partially cover their costs.
To apply for a place in the school and a grant, please fill out the
form on the school website; please do so as soon as possible.
Application deadline: 2 June 2017.
Notification of acceptance and funding:
continuously, at the latest by 9 June 2017.
VENUE
Ohrid is a small town on Lake Ohrid in Macedonia, southwest of
Skopje. Ohrid is notable for once having had 365 churches, one for
each day of the year, and has been referred to as the Jerusalem of the
Balkans. Ohrid and Lake Ohrid are on UNESCO's lists of cultural and
natural World Heritage sites.
The school will be held in the Congress Centre of Ohrid, which is also
the accommodation site.
TRAVEL
Most participants will have to fly to Skopje and then get to Ohrid by
bus.
WizzAir operates direct flights to Ohrid from Basel-Mulhouse-Freiburg
and London Luton.
ORGANIZERS
Herman Geuvers, Marija Mihova, Tarmo Uustalu
More information about the Agda
mailing list