The Coq mailing list

[Thorsten Altenkirch <t.altenkirch AT googlemail.com>]

***REMINDER ***

Application deadline is on Monday!

 

                   COST action CA15123 EUTYPES

       Summer School on Types for Programming and Verification

 

                  Ohrid, Macedonia, 30 August – 4 September 2019

 

     https://sites.google.com/view/2019eutypesschool/home

 

                        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

§  Course 1: Hugo Herbelin: Introduction to lambda calculus & type theory

§   

§  Course 2: Jesper Cockx: Correct-by-construction programming in Agda

§   

§  Course 3 : Yves Bertot: Introductory course on Coq/Gallina

§   

§  Course 4 : Xavier Leroy: Proving the correctness of a compiler

§   

§  Course 5: Nicolai Kraus: Introduction to homotopy type theory

§   

 

APPLICATION

 

The capacity of the summer school is up to 40 students. 

 

§  Accommodation, full board (i.e., including all meals): 5 nights @ €35 = € 175. Extra nights cost also €35.

§   

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 (as soon as possible) the form at http://tiny.cc/olbq8y

 

Application deadline: 15 July 2019.

 

Notification of acceptance and funding: 

     continuously, at the latest by 22 July 2019.

 

 

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

 

Thorsten Altenkirch Herman Geuvers, Marija Mihova