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 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: Sat, 23 Jun 2018 18:50:26 +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-wr0-f177.google.com
Ironport-phdr: 9a23:VFUpxRWmdqpFA936GCaSA6zSObbV8LGtZVwlr6E/grcLSJyIuqrYbBKGt8tkgFKBZ4jH8fUM07OQ7/i9HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba9yIRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W7YhMx/jqJVrhyiqRJi3YDbfJqYNOZicq7HYd8WWXZNU8RXWidcAo28dYwPD+8ZMOtEqonyvEEOrQalBQKxAe3g0CdIhnjt3a07zu8sFgLG0xY4H9IJq3TUrc/5O70XUe+u1qnI0C7DYuhZ2Tf48ofIcxQhreuQUrJ3dMrc0E8iHB7LgFWXrIzqJTKV1uIVvmeH6OpgTv6vh3Q5pAFsujSv3NoshpPPhoIRzF3P6CZ3wJ4tKNGmVEJ2ZcSoHZhQui2AKod6XMAvT3t1tCs4yLALv4OwcjIQx5Q93RHfbuSKc4iW7RLnU+acOTJ4i2hkeLK7nhqz/1KgxvHlWsm6zVpHrChInsPDtnAK0BzT5cyHReVn8ki93jaP0hjf6uBCIU8qiarWM4AtzqI0m5YJsknOHjX6lFjogKKVbEko5+ql5ub/brXjvJCcNot0ig/kMqQpn8yyGec4PRIWX2ic4uS81afv8lf8QLpRlP02j7LZvYvVJcQevKG5AgtV3pw/5Ba4CjeqyM4YkmUfLFJZZBKHiJDkNE3JIPDhFPuwn1CskCpwyP3dJb3gApDNLmDZn7v7fLZ97VRcyAspwtxF6ZJUEOJJHPWmRl7pucedBxk/NBGyyOvPDNRmyphYQm+GGemEKK7UtxmF6v9ra+CDaIY9vDfmN+Nj7P7niXo0g0RbZqTtlZAQcTWzGulsC0Sfe3vlxNkbVS8KtxE9QejuoF2LSj1eY3L0WLgzonk2FZ63FYrYbou2xqacmiG/TbNMYWUTI1WGC2rzP6aNQ/AXaWrGIcZ5lScFE7GkQZU8zjmhsQb7z/xsKe+CqX5Qjo7qyNUgv76brho17zEhV53MgVHIdHl9myYzfxFz2al+pUJnzVLaiPp3hvVZEZpY4PYbC15mZ66Z9PRzDpXJYiyEZs2AEQ/0TdCvADV3RdU0kYdXPhRNXu66hxWG5BKERr8Yk7vRWs4x+6PYmmfrf4NzkimZkqYmiFYiT41EMmj03qM=

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.

Many thanks,

Ambrus Kaposi
EUTypes conference grant coordinator

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