<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">---------- Forwarded message ---------<br></div>
From: Keiko Nakata <<a href="mailto:keko.nakata@gmail.com" target="_blank">keko.nakata@gmail.com</a>><br>
Date: Sun, 3 Feb 2019 at 09:17<br>
Subject: Call for talks (with travel funding): EUTypes WG meeting in<br>
Krakow, 23-24 February 2019<br>
To: <<a href="mailto:agda@lists.chalmers.se" target="_blank">agda@lists.chalmers.se</a>><br>
<br>
<br>
Hello.<br>
<br>
[We still have some fundings for speakers from Europe.]<br>
<br>
The EU COST Action EUTypes project will organise<br>
<br>
EUTypes WG meeting in Krakow, 23-24 February 2019<br>
Web page: <a href="https://eutypes.cs.ru.nl/Meetings/Krakow19" rel="noreferrer" target="_blank">https://eutypes.cs.ru.nl/Meetings/Krakow19</a><br>
<br>
in relation to Lambda Days 2019 (<a href="http://www.lambdadays.org/lambdadays2019/" rel="noreferrer" target="_blank">http://www.lambdadays.org/lambdadays2019/</a>).<br>
<br>
Confirmed invited speakers:<br>
François Dupressoir, University of Surrey, UK<br>
Paolo Giarrusso, EPFL, Switzerland<br>
Robbert Krebbers, Delft University of Technology, Netherlands<br>
Kenji Maillard, INRIA, France<br>
Pierre-Yves Strub, École Polytechnique, France<br>
<br>
We still have some fundings available for speakers from Europe:<br>
3-night accommodation (fixed rate, 80 EUR * 3 nights)<br>
6 meals (fixed rate, 20 EUR * 6 meals)<br>
transport expenses (based on actual costs)<br>
<br>
If you would like to apply for the funding, please send me the title<br>
and abstract of your talk as well as the URL of your homepage.<br>
<br>
Best regards,<br>
Keiko<br>
</div></div>