[Agda] Call for Conference Grant Applications (Inclusiveness Target Countries)
Ambrus Kaposi
kaposi.ambrus at gmail.com
Sun Dec 31 17:07:28 CET 2017
Call for Conference Grant Applications
The European research network on types for programming and
verification (EUTypes COST Action, https://eutypes.cs.ru.nl) supports
attendance of young researchers presenting work on type theory at
international conferences via travel grants.
The rules are described here: https://eutypes.cs.ru.nl/ConfGrants
The main points are:
* Only researchers from ITCs participating in the action are
eligible. As of September 2017, the ITCs involved in EUTypes are:
Bosnia and Herzegovina, Czechia, Estonia, Hungary, Lithuania,
Macedonia, Poland, Portugal, Romania, Serbia, Slovenia.
* Only PhD students and Early Career Investigators (researchers whose
PhD degree is at most 8 years old) are eligible.
* The grantee must give a talk or present a poster on the topic of type theory.
Applications have to be submitted through the e-COST system:
https://e-services.cost.eu/conferencegrant
Please inform researchers in your country who might be interested.
Many thanks,
Ambrus Kaposi
EUTypes conference grant coordinator
More information about the Agda
mailing list