coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Call for Conference Grant Applications (Inclusiveness Target Countries)
Chronological Thread
- 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: Sun, 31 Dec 2017 17:07:28 +0100
- 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-it0-f50.google.com
- Ironport-phdr: 9a23:/k0eFhfbb19cC12GsP8corRulGMj4u6mDksu8pMizoh2WeGdxcS+bR7h7PlgxGXEQZ/co6odzbaO6ua4ASQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTahfL9+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hycdLzM38G/ZhM9tgqxFvB2svAB/z5LObY2JKPZyYqHQcNUHTmRBRMZRUClBD5ugYosKFOUBJ/tYr5LgrFULtxS+HQ6sBPjuyjRVgXL23rc10/wmEQHd3QwsBcgBsHHPo9XvKacSSvu4zKbNzTrZbvNW3S3x55TPchAkuPyBW697f8TWyUkqDQzFj1OQpJT5MDOSzeQNr3KX4PR9Ve63kW4ntht9oj6rxsoql4LHhZoVx0ja+SllxIs5P961RU5hbdK6DZdduDuWOotqTs4kXmpmojw1yqcctp6+ZCUKyIooxxrYa/GfdoiH+BPjVOKILTd5mHJpZKuzhxiy/ES80OH8Wc600FFFripBjNbArGwC1xvW6sSfS/t9+Fmu2SqX2gzN9u1JJVo4mKnbJpI73LI8i5UevV7DEyPqgEn2ibWZdkQg+uim8eTnZbDmq4efN4BukgH+Nb8ums2lDesiNwgBRHKb+fmn1LD48k35Ra9FjvwykqXDrJ/aIsEbqrajAwBJyoYj9wq/DzC+3dsEmnkHNUtJdw6Dj4j0IF7DO+v4DPe6g1S0ijhn3fHGPrv7ApXMNHfPirnhfawuo3JbnRYi1d1EoptSDLYcJvn+ckvwr8DDSAQ0Ohfy3v7qDtM7248DHSqGDaOQGKfTqkOToOkvKu2JaZUO/i3wb7Au4Oerhnskk3cce7Oo1N0ZcjTwHv19IEidZVLsi8wCHGMO+A0kQ6iihUCeQCZefF65ROQm+3c9DNGIF4DGE6moiqacx2+YF4VRfWEOXlOFCXDzdsONXv0WdTm6LcpokzhCXr+kHdxynSqyvRP3nuI0ZtHf/TcV4Mru
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
- [Coq-Club] Call for Conference Grant Applications (Inclusiveness Target Countries), Ambrus Kaposi, 12/31/2017
Archive powered by MHonArc 2.6.18.