[TYPES/announce] EXTENDED DEADLINE: EUTYPES Summer School on Types for Programming and Verification

[Marino Miculan]

[Since there are still some free places, the application deadline for the TYPES summer school is extended until July 5, 2018]


=====


COST action CA15123 EUTYPES


Summer School on

Types for Programming and Verification


Ohrid, Macedonia, 8-12 August 2018


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



CALL FOR APPLICATIONS - EXTENDED DEADLINE




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


1. Matthieu Sozeau (IRIF)

   Introduction to Dependent Type Theory


2. Enrico Tassi (INRIA Sophia-Antipolis)

   The Coq proof assistant and the Mathematical Components library


3. Mariangiola Dezani-Ciancaglini (University of Turin)

   Session Types: an introduction


4. Fredrik Nordvall Forsberg (University of Strathclyde)

   Introduction to Homotopy Type Theory


5. Danel Ahman (INRIA Paris)

   Program Verification with F*




APPLICATION


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


6 nights accommodation costs 228 EUR.


A maximum of 40 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 https://goo.gl/kMTQNw .


Extended application deadline: 5 July 2018.


Notification of acceptance and funding: 7 July 2018.



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, Marino Miculan, Marija Mihova



--
Marino Miculan - Department of Mathematics, Computer Science and Physics, University of Udine
marino.miculan at uniud.it - http://www.dimi.uniud.it/miculan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180627/67096ed7/attachment-0001.html>