coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for talks (with travel funding): EUTypes WG meeting in Krakow, 23-24 February 2019

From: Keiko Nakata <keko.nakata AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Call for talks (with travel funding): EUTypes WG meeting in Krakow, 23-24 February 2019
Date: Sun, 27 Jan 2019 11:20:28 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=keko.nakata AT gmail.com; spf=Pass smtp.mailfrom=keko.nakata AT gmail.com; spf=None smtp.helo=postmaster AT mail-lj1-f182.google.com
Ironport-phdr: 9a23:nEQ5NRI88ad9Lvwm6dmcpTZWNBhigK39O0sv0rFitYgRLPzxwZ3uMQTl6Ol3ixeRBMOHs6IC07KempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffwZFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhygHOTA382/Zl9J+g75Urh+6uxx/2pTZbJ2JOPZifK7Qe84RS2pbXsZWUixMGoayYJUOD+oCOuZTspHzqEENrRSkGQmjHv7kxzhLhnDo3q061P4tEQfc0wwjBd0OrG7boc76NKcXS++1za3IwS/fYPNR3Dfw8Y7FeQ0vr/GLWLJ/a8vRyU83GgPBlFqQrJfqMC6P2esQqWea7/FgWfioi249pAF9uiKvxto2honPgoIYzE3P+yZhwIstO9G0VEp2bcSnHZZQrS2WKZd6T8A4T211uys21LsLsoOhcicQ0pQo3RvfZuSHc4eW5hLjU/6cITJii3JkfLKznhKy8Uq9xuHlWMm4zVVHojRfntnDsXAN0BPT6syZRfdn4kih3jOP2xjS6uFCP080ibLWJ4A9zrM0jJYeskTOEjXolEnqj6KabFgo9+u25+j/Z7XpvJ6cN4t6igHkNaQun9SyAecmPQgNWGiX4+K826fg/ULjXLVFlOY7kqbcsJ/AJMQborS1DBNS0oYm8xq/FSup0MwEnXkbK1JIYA6Ij4/wO13XPP/4Ceq/jE+3nTdwx/HGO6XhDY/XInjClrfhZ7d95FRGxAo919AMr65TX7oGObf4XlL7nN3eFB4wdQKukMj9D9Ao9Y4fWmXHJKaaOb/b+QuL6+EoZe+FZ4YJsR7yLvEk47jlinpvygxVRrWgwZZCMCPwJf9hOUjMOSO90OdEKn8Du08FdMKvjVSDVTBJYHPrBvAz4zg6DMStCoKRH9nx0ozE5z+yG9htXk4DEkqFSC66eICNWvNKYyWXcJc4z240EIO5Qopk7imA8Q/3z709cLjR8ywc8JbhjZ17vr2J0x418jNwAoKW1GTfF2w=

Hello.

[We still have some fundings for speakers from Europe.]

The EU COST Action EUTypes project will organise

EUTypes WG meeting in Krakow, 23-24 February 2019
Web page: https://eutypes.cs.ru.nl/Meetings/Krakow19

in relation to Lambda Days 2019 (http://www.lambdadays.org/lambdadays2019/).

Confirmed invited speakers:
François Dupressoir, University of Surrey, UK
Paolo Giarrusso, EPFL, Switzerland
Robbert Krebbers, Delft University of Technology, Netherlands
Kenji Maillard, INRIA, France
Pierre-Yves Strub, École Polytechnique, France

We still have some fundings for speakers from Europe:
3-night accommodation (fixed rate, 80 EUR * 3 nights)
6 meals (fixed rate, 20 EUR * 6 meals)
transport expenses (based on actual costs, receipts needed)

If you would like to apply for the funding, please send me the title
and abstract of your talk as well as the URL of your homepage.

Best regards,
Keiko

[Coq-Club] Call for talks (with travel funding): EUTypes WG meeting in Krakow, 23-24 February 2019, Keiko Nakata, 01/27/2019
- Re: [Coq-Club] Call for talks (with travel funding): EUTypes WG meeting in Krakow, 23-24 February 2019, Thorsten Altenkirch, 01/28/2019