Skip to Content.
Sympa Menu

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

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.







Archive powered by MHonArc 2.6.18.

Top of Page