coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Conference Grant Applications (Inclusiveness Target Countries)

From: Ambrus Kaposi <kaposi.ambrus AT gmail.com>
To: types-announce AT lists.seas.upenn.edu, agda <agda AT lists.chalmers.se>, coq-club AT inria.fr, haskell AT haskell.org, eutypes AT cs.ru.nl
Subject: [Coq-Club] Call for Conference Grant Applications (Inclusiveness Target Countries)
Date: Thu, 6 Jun 2019 12:37:22 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kaposi.ambrus AT gmail.com; spf=Pass smtp.mailfrom=kaposi.ambrus AT gmail.com; spf=None smtp.helo=postmaster AT mail-ed1-f52.google.com
Ironport-phdr: 9a23:6qQ/HxITV3Sn0QpK1dmcpTZWNBhigK39O0sv0rFitYgeLfjxwZ3uMQTl6Ol3ixeRBMOHsqsC0raK+PqxEUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCegbb9oMRm7ogrcusYIjYZmN6081gbHrnxUdupM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTYQguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhSEaPDA77W7XkNR9g61VoB2jpxJxzY3abpyLOvViZa7dYc8WSHBdUspNSyBMAIWxZJYPAeobOuZYqpHwqkcLrRSlHwmsGfjvwSJNiHDsxa061P8hEQDb1wEnHNIBqmzUrNLuNKcTS+y61qzIwi7Zb/NLwjfw84fIchU7rvGNWbJ8a9beyU4qFw7ciFibtILrPzSQ1usXsmib6fJtWv6oi248twF9uCagxto0honTm4IZ0FbE9SF/zY0oJtO4UFZ2bcC4HJZUrS2XNIt7Ttk8T210uys20L0LtYC9cSMX0poo3QTfZOaCc4WQ4hLsSuKRITBgiXJgYr2/hhKy/VG+xeLhS8W4yVhKoypbntXWuXAN0BvT6seDSvRj5EuuxTGP1wXL5uFFJ0A7i7bbJoY/zrIskpcfq0fOEy/slEnokKObdV8o9+i25+j/Z7XpvJ6cN4t6igHkNaQun9SyAeciPQgWWGib4uW82Kf58k38W7pKlOA2krLCvZDVIMQUvK+5AwtP3ok/7Ba/Ci+q0M4EknkfMFJFZBWHgpD1NFHJOfD0FOuwg1CxkDhw3P3GJb3gApDVLnfZirvhfLB961RdyAUp19xf6YhUWfk9J6fvS1f8r5nRCBk+Lgq/zs7jCc5hzcUFVGuURLKBPaXU91KE+6ZnKuaAbcdBsTnxItAh5uXyljkymVYZeKSzxt0MZSb8Vv9hOgCSZWfmqtYHC2YD+AQkCKTqgUaBXDpXT3a7RKEx4jV9D5ipSc/OW5y8mLGa9CygWIdLIGZCWX6WFnK9XoCOQeoXIAGbOsh6k3RQVrG5TJQgkxirvhXn0JJoK+PV/msTspe1h4s93PHaiRxnrW88NM+ayWzYFzglzFNNfCc/2eVEmWI4z16C1aZihPkBTI5c4vpIVkExMpuOlrUmWeC3YRrIe5KycHjjWs+vWGhjQdc4wttIaEF4SY3700LzmhGyCrpQrISlQZw59qWGgir0Lsd5jnvKjewv0gNgTcxIOmmrwKV48lqLCg==

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 June 2018, the ITCs involved in EUTypes are: Bosnia
and Herzegovina, Cyprus, Czech Republic, 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 and
contact me if you have any questions.

Many thanks,

Ambrus Kaposi
EUTypes conference grant coordinator

[Coq-Club] Call for Conference Grant Applications (Inclusiveness Target Countries), Ambrus Kaposi, 06/06/2019