coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 2nd 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] 2nd Call for talks (with travel funding): EUTypes WG meeting in Krakow, 23-24 February 2019
Date: Sun, 10 Feb 2019 22:06:58 +0100
Authentication-results: mail3-smtp-sop.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-lf1-f46.google.com
Ironport-phdr: 9a23:dK/7IRAIn+wTfxuSHDxGUyQJP3N1i/DPJgcQr6AfoPdwSPv+o8bcNUDSrc9gkEXOFd2Cra4c26yO6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglUhzexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykCoIOD43/m/UhMJtkqxUvB2vqgdjw47NeoyZKOZycr/fcN4cWGFPXtxRVytEAo6kaoUAEesBPeVfr4Lgv1UBtxi+ChOwBOz11zRFgXz20rM50+QmCw3G2hYvH9EUv3TIttr4L6gSUeWvw6nJyTXPde9Z2TD46IXRdB0qvP+CXbV1ccXLyEkvERvIjlGKpozgJDyay/4CvHWB4OtgTuKjkWknqxt+ojS33Mcsl5PFhoQRyl3C6C53w541KMWmREJnZdOoCphduiGAO4drQ84vQXtktSk7x7AApJW1ZjIFyI49yB7ac/GHc5aH4hbkVOuJJDd3nnNleLamixa2/0is1/TwVse73VtLtCZFnd7MtncC1xzX9MeLUOdy/kCk2TqX1gDT7P9LIVwsmKbFN5IsxqQ8m5kTvEjZAyP7mUf7gLWZe0gl4uSo7v7oYrTipp+SLY90jQT+P7wtmsOhAuQ4NRICX26B9uS/zrLj4Vf2Ta5Fjv0ziKbZsZTaKd4Hqa6+Bg9Zypwj5AqnDze6zNQYmmEKI05CeBKeloTmJ1XOIO3jAvqkmFStkDJrx+jcMbH7A5XNKGLDkLb7crpn5U5c0ll78dcK7JVNT7oFPfjbW0nrtdWeAAVqHRazxrPEBdR+0cs4UGGGHqbRZKDfsljO4OssKvWFTIAQsTf5bfMi4qi93jcChVYBcPzxjtMsY3eiE6E+ehTLUT/Xmt4EVFwykE87Re3uhkeFVGcKNXm3VqM4oDo8DdD/VNuRdsWWmLWEmRyDMNhOfGkfUwKDFH7pc8OPXPJeMHvPcP8kqSQNUP2ac6Fk1Ryqs1Wnmb9uL+6R/iNB8Jy/ip564OrckRx0/jtxXZyQ

Hello.

[We still have some funding left for speakers from Europe. PhD
students and postdoc researchers, as well as industry speakers, are
particularly welcomed.]

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] 2nd Call for talks (with travel funding): EUTypes WG meeting in Krakow, 23-24 February 2019, Keiko Nakata, 02/10/2019