From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-lf1-x13c.google.com (mail-lf1-x13c.google.com [IPv6:2a00:1450:4864:20::13c]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 3f7d1026 for ; Tue, 25 Jun 2019 09:09:17 +0000 (UTC) Received: by mail-lf1-x13c.google.com with SMTP id o184sf2206364lfa.12 for ; Tue, 25 Jun 2019 02:09:17 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1561453756; cv=pass; d=google.com; s=arc-20160816; b=Dc50Ca4+0vqYRM6NvHo/sdrISwo2Lx5ju5qIkL9zu67QbwMDgUzCVXNSDTUQRw53zI oDHSLFmtnBEgrZBrzhp5VCo8OZqTMsj34zH5+qoi40n+8+VrRklB1zSWZ3gnJ2t8BOkM lmsWyT2xAqfVYpTPupPtyFF58KACsR/8ZCXFr47NPf6jdrATqLp0pMmgCUAD5bY+zoWN JpoH8M740BuOe2zaaZRnhS0skdwbMtGa42fKZXr76XZSPWREY+4/RYntoyNFz3LvRN0i +hYmSaiGl80+O/OXTC8ENgSZMMg/nYX1QgBkU2MIz3mhzXxbzZjl8zjmU1uLSeZNVfg/ UXzg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:mime-version:user-agent:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:dkim-signature; bh=nfQg1gLuskcM+udCfFtkQdZwaLes/Kvl50dFSLw3dow=; b=bfWOoi0y7tk6oMniDyM27pdFmKYlU06oMNzbqwzEsOzriFT/iOqmt2I2tetYbwsodP wDvH1mSiq4RYoj3TncOJ4eVh942Xj3vM06RYVFaYIfNqW/mwq/Ush4Gq87Za1CNFa+UN 4hEHTQsaMpEO4XLD2zB+cE523pHkyfHLgHqmLeBoom5ROrLEB/FL0sWV6XoE/7+Htwjr mdIEAkL/q1Y7OocdxorNGUIUS1u86tFXTkY2jPHNMEMYu7Iherbq02sK/z3+f+vWhh7T KSvsn3j1/iENDZWzvMOZQE5VzHmCV+OK7OlYwwbS0Lxsp5JsBAgVh+RlLgfYOKllyht9 4g3g== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of thorsten.altenkirch@nottingham.ac.uk designates 128.243.43.128 as permitted sender) smtp.mailfrom=Thorsten.Altenkirch@nottingham.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=nottingham.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:to:subject:thread-topic:thread-index:date:message-id :accept-language:content-language:user-agent:mime-version :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=nfQg1gLuskcM+udCfFtkQdZwaLes/Kvl50dFSLw3dow=; b=N2+Q991+RvPO8qndGSw//0askaOmKv4XOsgIb6XZoa5U4zVagjqd2HZn5geEsPslLN bq+vBGn7H7iOplrLY5kfne9qEmO4MMT9xjawWbWVwIJTAMkRYiOmBwRoU6Hz48d4bG3f rnln/SsiJd6ou33uMB8Otv/7vZt5l3bnrh0ZE1OhrMsxeVLwP6bvH5Cp+G/wkpjTMpJo fIyT+Ge/I8vuQbqVDrC610Z0avSCCJSMa4Oi3AUbm+MeaHE1fbK+qP3YjLSBSReLJc7I 5L+MyVHrEkLVWGIC3/y2H6WPyYHyGFzgp+otAyqvSS7q1aCQNPHjUU39Qzebqg1huwu2 uvDA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:to:subject:thread-topic:thread-index :date:message-id:accept-language:content-language:user-agent :mime-version:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-unsubscribe; bh=nfQg1gLuskcM+udCfFtkQdZwaLes/Kvl50dFSLw3dow=; b=CoHbyw4Cn31JrNNIWD0FJc7GX83T/4LVCMTts+k7bL3liJ5jfvoL0ggBNV82tGeFyS 6pZ9L9jMdFYJ/0y/kGoXux1xPkrEbGxkdeWSdaOU7urNRxaFuUCh757gU3o7BpjRsLYv lYHjYx6DYNPDMDkAlyYLMVzlyKQs96u6tK6BTQSLdikg0/k3+mUH5cPcSx767X3Llk71 WRn3vvTNni3KuI+Vt9eJcHDRHd1GsIbQ7t2kLsda8np25UwCXLjZcsVb1IkpQdGtKtux hXk24otmj5hagYDPJPh6f5JjU9kh8DWBKa4xZ8pCKDc8x+pPs5KvelFYmQFOR98+P9EY OqFQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAU0LUcf+He561qgTMZjBW3HYgQvLHR+A/+F+fA9C8nHjh/OV2sI LA1FyLm1cYUedm1Ag3BKWyg= X-Google-Smtp-Source: APXvYqwQcg/9BNHIaY3mqaqyeNvJvhcg9v5bpNQwOowEj0tYhvZldW6rReV0hn1ejdgxQtgbEj72sQ== X-Received: by 2002:a19:3f4b:: with SMTP id m72mr77030293lfa.91.1561453756266; Tue, 25 Jun 2019 02:09:16 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:651c:157:: with SMTP id c23ls2168929ljd.8.gmail; Tue, 25 Jun 2019 02:09:15 -0700 (PDT) X-Received: by 2002:a2e:2c14:: with SMTP id s20mr15189818ljs.54.1561453755629; Tue, 25 Jun 2019 02:09:15 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1561453755; cv=none; d=google.com; s=arc-20160816; b=B2TUzx8FA0YFhocCe2k772V5ARlqOF/Zfu1nMLHxUCvhEBzY5DcB8HbI5amoRSqXI3 wHs7hV9BDnv+LnNKTFFe2qfrKeXS/Bd7fUTus7351gccVzuAxp0r+wVOE8zG551Qeyak 20/5r2ZsS/6OtLNUyMXxMom5Oef77se/3hdxAaze80mkKRIR0iXd7X41NzImys01av36 Tbjg8BRc5DDzZH+eIZFqQLCpqai6CdQM2s9Mk8ewDgUzqDjPSHBe8kF3bI2ne9eNV3Pg 3NqUOuRzAoJfHowYnjb80HLLEm5IgJnjZ+LGU5hH2ND3gVrlEPV1YdK4ZLVd4eEBBGXc t3DA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:user-agent:content-language:accept-language:message-id :date:thread-index:thread-topic:subject:to:from; bh=EAGv3AzhCIq/P2GUyS3pAc6Mg91dmA8GRJaiLKxK+hQ=; b=ubeUNHbOjn0/m5uttn6aVkZR7rSHIDakdZtUZwuKMQONIUcqCP0NixdtwRGGBFN9aB 9k0Qv9Ahe5LLjuQmzmx0oaIXzi6DEWpPMEF7kXQeKZ1rz/Cd8qc+3x8BnIWAtsHvS3qs 4pwdsA5UsQ/dMDcYRLWwomfynyJT2xa2pHoN/K+96JMjrtCvb1fV4yOAsXV/eFF8tOX7 +nnWG4KUsPmm0RbfPxqXd4XjtNxPgLX3lWeONGs4PXgO0VvSXfzC+vye9DDX6AoL0AEB 08ZenAvLiXlWsLlJqMxGpZWdGmbBJ82nu2ktPPj4fIlGrYPFuW83MP+fMxTxLrEtzHYD ntlw== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of thorsten.altenkirch@nottingham.ac.uk designates 128.243.43.128 as permitted sender) smtp.mailfrom=Thorsten.Altenkirch@nottingham.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=nottingham.ac.uk Received: from uidappmx05.nottingham.ac.uk (uidappmx05.nottingham.ac.uk. [128.243.43.128]) by gmr-mx.google.com with ESMTPS id q25si809981lfp.0.2019.06.25.02.09.15 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 25 Jun 2019 02:09:15 -0700 (PDT) Received-SPF: pass (google.com: domain of thorsten.altenkirch@nottingham.ac.uk designates 128.243.43.128 as permitted sender) client-ip=128.243.43.128; Received: from uidappmx05.nottingham.ac.uk (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 9A2046CF8E6_D11E4BAB for ; Tue, 25 Jun 2019 09:09:14 +0000 (GMT) Received: from smtp3.nottingham.ac.uk (smtp3.nottingham.ac.uk [128.243.44.55]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by uidappmx05.nottingham.ac.uk (Sophos Email Appliance) with ESMTPS id 31DB66CF7CF_D11E4BAF for ; Tue, 25 Jun 2019 09:09:14 +0000 (GMT) Received: from uiwexedg02.ad.nottingham.ac.uk ([10.159.172.14]) by smtp3.nottingham.ac.uk with esmtps (TLSv1.2:AES128-SHA256:128) (Exim 4.85) (envelope-from ) id 1hfhRy-0006Eu-4D for homotopytypetheory@googlegroups.com; Tue, 25 Jun 2019 10:09:14 +0100 Received: from UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) by exchangeSMTP.nottingham.ac.uk (10.159.172.14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_RSA_WITH_AES_128_CBC_SHA256) id 15.1.1531.3; Tue, 25 Jun 2019 10:09:13 +0100 Received: from UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) by UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.1531.3; Tue, 25 Jun 2019 10:09:13 +0100 Received: from UiWexEDG02.ad.nottingham.ac.uk (10.159.172.14) by UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256) id 15.1.1531.3 via Frontend Transport; Tue, 25 Jun 2019 10:09:13 +0100 Received: from EUR04-HE1-obe.outbound.protection.outlook.com (128.243.226.54) by exchangeSMTP.nottingham.ac.uk (10.159.172.14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_RSA_WITH_AES_128_CBC_SHA256) id 15.1.1531.3; Tue, 25 Jun 2019 10:09:11 +0100 Received: from VI1PR06MB4029.eurprd06.prod.outlook.com (20.176.5.138) by VI1PR06MB4381.eurprd06.prod.outlook.com (20.177.57.22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2008.16; Tue, 25 Jun 2019 09:09:10 +0000 Received: from VI1PR06MB4029.eurprd06.prod.outlook.com ([fe80::59fb:89c9:a8e9:a75]) by VI1PR06MB4029.eurprd06.prod.outlook.com ([fe80::59fb:89c9:a8e9:a75%4]) with mapi id 15.20.2008.014; Tue, 25 Jun 2019 09:09:10 +0000 From: Thorsten Altenkirch To: Homotopy Type Theory Subject: [HoTT] Types summer school 2019 at lake Ohrid Thread-Topic: Types summer school 2019 at lake Ohrid Thread-Index: AQHVKzWmbw5bhNCmYEWzqJn1MJjSeA== Date: Tue, 25 Jun 2019 09:09:10 +0000 Message-ID: <87FCAD79-51E6-4DE8-956C-DDE3F02D4810@nottingham.ac.uk> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/10.1a.0.190609 x-originating-ip: [2a01:a700:8806:680:dd0e:af74:2db9:50f3] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 13936f5b-73a8-4710-f1ed-08d6f94cc90c x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600148)(711020)(4605104)(1401327)(2017052603328)(7193020);SRVR:VI1PR06MB4381; x-ms-traffictypediagnostic: VI1PR06MB4381: x-ms-exchange-purlcount: 1 x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-forefront-prvs: 0079056367 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(346002)(366004)(376002)(39860400002)(136003)(396003)(189003)(199004)(65514003)(236005)(66476007)(76116006)(71190400001)(25786009)(68736007)(486006)(36756003)(74482002)(71200400001)(476003)(478600001)(256004)(86362001)(53376002)(186003)(14444005)(7736002)(102836004)(966005)(6916009)(91956017)(99286004)(8676002)(6436002)(53366004)(9686003)(8936002)(2906002)(46003)(6506007)(786003)(316002)(606006)(5660300002)(81166006)(81156014)(53936002)(64756008)(14454004)(54896002)(6306002)(6116002)(6486002)(6512007)(790700001)(33656002)(73956011)(66556008)(66946007)(66446008)(58126008)(17000825003)(42522002)(9984715007);DIR:OUT;SFP:1102;SCL:1;SRVR:VI1PR06MB4381;H:VI1PR06MB4029.eurprd06.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:1; received-spf: None (protection.outlook.com: exmail.nottingham.ac.uk does not designate permitted sender hosts) x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: XGeOVL+d/dF2AirhtDwhSZjgiDmu29JGAawr0oYJ5+b90Z8q+nbyaFO04LM7lU2z+tmPLgbKIY7cntouH9GAZlHz02nsTFfgn6LiOxeh7JUtwVeODhGTvq601pVmZIpSHnWgel1jRPRslsi/NpVhdjjRH8meWo3aC4Cvj/q8obxmv4ZN/efkjoW8xVzYzLNE7vXp9+3dCC6IafkRtb+h88dYJlEgrNEt2B+/wdU/yVZoLbeHwAd1r5I3s6gGdbwMTgpOopiVP8TKiPEg5RwCgg6a+E9pb52AfJJvYsvE30BoFlAjrS/U49efGzLkpVW143SypQnauqvVbWaFP7ga1DK8CjdWLt2FyjZYXC8j0Y6J9J2QgRsJORc/Thw1Y5PAWG3GLJi1GffDLHgmNnvykLP411mIcgMFfkACySFUcjc= Content-Type: multipart/alternative; boundary="_000_87FCAD7951E64DE8956CDDE3F02D4810nottinghamacuk_" MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: 13936f5b-73a8-4710-f1ed-08d6f94cc90c X-MS-Exchange-CrossTenant-originalarrivaltime: 25 Jun 2019 09:09:10.4543 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 67bda7ee-fd80-41ef-ac91-358418290a1e X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: Thorsten.Altenkirch@nottingham.ac.uk X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR06MB4381 X-OriginatorOrg: exmail.nottingham.ac.uk X-SASI-RCODE: 200 X-Original-Sender: thorsten.altenkirch@nottingham.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of thorsten.altenkirch@nottingham.ac.uk designates 128.243.43.128 as permitted sender) smtp.mailfrom=Thorsten.Altenkirch@nottingham.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=nottingham.ac.uk Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , --_000_87FCAD7951E64DE8956CDDE3F02D4810nottinghamacuk_ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable COST action CA15123 EUTYPES Summer School on Types for Programming and Verification Ohrid, Macedonia, 30 August =E2=80=93 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 =C2=A7 Course 1: Hugo Herbelin: Introduction to lambda calculus & type the= ory =C2=A7 =C2=A7 Course 2: Jesper Coeckx: Correct-by-construction programming in Agd= a =C2=A7 =C2=A7 Course 3 : Yves Bertot: Introductory course on Coq/Gallina =C2=A7 =C2=A7 Course 4 : Xavier Leroy: Proving the correctness of a compiler =C2=A7 =C2=A7 Course 5: Nicolai Kraus: Introduction to homotopy type theory =C2=A7 APPLICATION The capacity of the summer school is up to 40 students. =C2=A7 Accommodation, full board (i.e., including all meals): 5 nights @ = =E2=82=AC35 =3D =E2=82=AC 175. Extra nights cost also =E2=82=AC35. =C2=A7 A maximum of 30 students (PhD students / early-career researchers) from cou= ntries involved in EUTYPES can receive a grant from the COST action to part= ially 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 This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment.=20 Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored=20 where permitted by law. --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/87FCAD79-51E6-4DE8-956C-DDE3F02D4810%40nottingham.ac.uk. For more options, visit https://groups.google.com/d/optout. --_000_87FCAD7951E64DE8956CDDE3F02D4810nottinghamacuk_ Content-Type: text/html; charset="UTF-8" Content-ID: Content-Transfer-Encoding: quoted-printable

    =                COST action CA15123= EUTYPES

      &nb= sp;Summer School on Types for Programming and Verification

 =

      &nb= sp;           Ohrid, Macedonia, 30 August =E2=80=93 4 September 2019

 =

     http= s://sites.google.com/view/2019eutypesschool/home

 =

      &nb= sp;                 CALL FOR APPLIC= ATIONS

 =

BACKGROUND

 =

Types are pervasive in p= rogramming and information technology. A type

defines a formal interfa= ce between software components, allowing the

automatic verification o= f their connections, and greatly enhancing the

robustness and reliabili= ty 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, bec= oming more sophisticated, capturing new

aspects of the behaviour= of programs and the dynamics of their

execution.

 =

The aim of this summer s= chool is to provide advanced training,

especially to PhD studen= ts and early-career researchers, in all

aspects of the theory an= d practice of type theory and applications.

 =

 =

LECTURERS AND COURSES

=C2=A7  Course 1: Hugo Herbelin: Introd= uction to lambda calculus & type theory

=C2=A7   

=C2=A7  Course 2: Jesper Coeckx: Correc= t-by-construction programming in Agda

=C2=A7   

=C2=A7  Course 3 : Yves Bertot: Introdu= ctory course on Coq/Gallina

=C2=A7   

=C2=A7  Course 4 : Xavier Leroy: Provin= g the correctness of a compiler

=C2=A7   

=C2=A7  Course 5: Nicolai Kraus: Introd= uction to homotopy type theory

=C2=A7   

 =

APPLICATION

 =

The capacity of the summ= er school is up to 40 students. 

 =

=C2=A7  Accommodation, f= ull board (i.e., including all meals): 5 nights @ =E2=82=AC35 =3D =E2=82=AC 175. Extra= nights cost also =E2=82=AC35.

=C2=A7   

A maximum of 30 students= (PhD students / early-career researchers) from countries involved in EUTYP= ES 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 acceptan= ce and funding: 

     cont= inuously, at the latest by 22 July 2019.

 =

 =

VENUE<= /p>

 =

Ohrid is a small town on Lake Ohrid&= nbsp;in Macedonia, southwest of

Skopje. Ohrid is notable for once having had 365 churches, one for

each day of the year, an= d 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 s= ites.

 =

The school will be held = in the Congress Centre of Ohrid, which is also

the accommodation site.<= o:p>

 =

 =

TRAVEL=

 =

Most participants will h= ave to fly to Skopje and then get to&= nbsp;Ohrid by=

bus.

 =

WizzAir operates direct = flights to Ohrid from Basel-Mulhouse-Freiburg=

and London Luton.

 =

 =

ORGANIZERS

 =

Thorsten Altenkirch Herm= an Geuvers, Marija Mihova

 

 


This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment.=20

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored=20
where permitted by law.

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.co= m/d/msgid/HomotopyTypeTheory/87FCAD79-51E6-4DE8-956C-DDE3F02D4810%40notting= ham.ac.uk.
For more options, visit http= s://groups.google.com/d/optout.
--_000_87FCAD7951E64DE8956CDDE3F02D4810nottinghamacuk_--