coq-club AT inria.fr
Subject: The Coq mailing list
List archive
Re: [Coq-Club] Call for talks (with travel funding): EUTypes WG meeting in Krakow, 23-24 February 2019
Chronological Thread
- From: Thorsten Altenkirch <Thorsten.Altenkirch AT nottingham.ac.uk>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] Call for talks (with travel funding): EUTypes WG meeting in Krakow, 23-24 February 2019
- Date: Mon, 28 Jan 2019 10:44:45 +0000
- Accept-language: en-US
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Thorsten.Altenkirch AT nottingham.ac.uk; spf=Pass smtp.mailfrom=Thorsten.Altenkirch AT nottingham.ac.uk; spf=None smtp.helo=postmaster AT uidappmx05.nottingham.ac.uk
- Ironport-phdr: 9a23:4/H7YBxQ5OMg8qPXCy+O+j09IxM/srCxBDY+r6Qd2u0QIJqq85mqBkHD//Il1AaPAd2Lraocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HQbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHolikJKiI5/m/UhMx+jq1UrhOhqABwzYHbe4yVKOFxfqbBcd8GX2dMXMBcXDFBDIOmaIsPCvIMM/hYr4n6vVsOtge+CheqBOjy1jJIgmP20rM80+QiEAHGxhAvH9ITu3nTstv1NKASUfquzKnU0zrDaela1Cv56IjUbB8hp/KMXbNqccXNyUkiDAXFjlKMqYz5PjOV0OsNs2iB4OplT+6gkXIopxtsojis38ohjJTCiIwSylDB7yp5wYA1KMW8SEFhZN6rC4ZfuDuHOIRsQsIiWHtkuCEgyr0JoZK7ZjUKxI4hxx7bbfGMbouG4gr7WeqMPzt1h2hpdKywihu860StxePxWtOp3FpUrSdJisTAum4O2hDJ9MSKRfVw8l2/1TqTzQzf9+5JLVwsmarVNZEswaI8m58WvEveGiL7mEH7gaqYdkk65uSl7+Hqba77qpKTLYB5jx/yPb8zlcG+B+kzLxIAUHKB+eum0b3u5U35T6tOjv0xiqTZrZHaKtkBqa6hGw9V14ki5wq/Aju81tQYmmUHLE5EeBKBgIjpO0vBIPXiAfiln1ugiiprx/PeMr3gBJXCMGTDna/8cbpj6ENQ0hQ/wN9R6p5OBbwMLuj/VlLvuNHbFhM5Nha7w+fjCNVzzIMeXmePD7eHPqPStl+I/PkvI/WSa48TojrwN/wl5+Lwgn8/ml8dfLOp0ocXaH2jGPRmJFmZYWbtgtcHHmcKvhAxTOnwhFKYTTFffWuyX6Ek6jEhFI2mFZvDRpyqgLGZwCi7GYRWanlaBVCIDHfnbJ6JW+wMaSKXOs9uiCYIVbmnS4871BGhrhX2y7R9LrmcxipN/5nkzZ1+4/DZvRA07z19ScqHmSnZRGZt22gMWjUe3aZloEU7xE3VgoZihPkNKdxU/ehVXwFyHJrAwup5Csr5WkqVQteOUk26T9PgKDUtQ9QywsUFY257HMm+jxbM3yOvRbYe0aGIUs9nupnA1mT8cp4ug03N07Ms2gF/E5l/cFa+j6s6zDD9QovAkkGXjaGvLPRO2inR6GaFwmqHuQdRW0htUvecBCxNVg7ttd38o3j6Yfq2E71+YllHztKeK61FatTsy1xNAurgaoyHPjCB3lyoDBPN/YuiKYrnf2JHjXfACUQNixgW7S7bcw45GjugpW3eBTkoHFmpfkC+qeQ=
Hi Keiko,
I would like to come, actually I am also talking at Lambda Days.
I'll send you a title and abstract soon.
Cheers,
Thorsten
On 28/01/2019, 07:39,
"coq-club-request AT inria.fr
on behalf of Keiko Nakata"
<coq-club-request AT inria.fr
on behalf of
keko.nakata AT gmail.com>
wrote:
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
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.
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
where permitted by law.
- [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
Archive powered by MHonArc 2.6.18.