<div dir="ltr"><br><div class="gmail_quote"><span class="gmail_default" style="font-size:small">Ca</span>ll for Conference Grant Applications<br>
<br>
The European research network on types for programming and<br>
verification (EUTypes COST Action, <a href="https://eutypes.cs.ru.nl" rel="noreferrer" target="_blank">https://eutypes.cs.ru.nl</a>) supports<br>
attendance of young researchers presenting work on type theory at<br>
international conferences via travel grants.<br>
<br>
The rules are described here: <a href="https://eutypes.cs.ru.nl/ConfGrants" rel="noreferrer" target="_blank">https://eutypes.cs.ru.nl/ConfGrants</a><br>
<br>
The main points are:<br>
<br>
 * Only researchers from ITCs participating in the action are<br>
eligible. As of June 2018, the ITCs involved in EUTypes are: Bosnia<br>
and Herzegovina, Cyprus, Czech Republic, Estonia, Hungary, Lithuania,<br>
Macedonia, Poland, Portugal, Romania, Serbia, Slovenia.<br>
* Only PhD students and Early Career Investigators (researchers whose<br>
PhD degree is at most 8 years old) are eligible.<br>
 * The grantee must give a talk or present a poster on the topic of type theory.<br>
<br>
Applications have to be submitted through the e-COST system:<br>
<a href="https://e-services.cost.eu/conferencegrant" rel="noreferrer" target="_blank">https://e-services.cost.eu/conferencegrant</a><br>
<br>
Please inform researchers in your country who might be interested and<br>
contact me if you have any questions.<br>
<br>
Many thanks,<br>
<br>
Ambrus Kaposi<br>
EUTypes conference grant coordinator<br>
</div></div>