Skip to Content.
Sympa Menu

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

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.

Top of Page