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: Thu, 23 Aug 2018 09:24:37 +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-wm0-f48.google.com
Ironport-phdr: 9a23:sNWwhR+wItYepP9uRHKM819IXTAuvvDOBiVQ1KB31uscTK2v8tzYMVDF4r011RmVBdqds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+55/ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRxDmiCgFNzA3/mLZhNFugq1Hux+huwBzzpTIbI2JKPZzfKXQds4aS2pbWcZRUjRMD5+5b4QUFeoBIP1YpJT4qVQUtRu+AhKsBOLywTJPhX/5x7U60+M6EQHHxgAvBdcOv2/OrNXoL6cfSu+1zKzSwjXCa/Nawyvy6I/Nch04p/yHQLx+cc3UyUY1FgPFiE2dppDiPzOOyuQBqXaU7/d4WeK1lm4rsQdxojypy8wxiYfJnpoYx1LL+Clj3Yo5O921RFR4bNK6CpdduCKXOo1rSc04WW5oojw1yrgetJ67YicKzJMnygbaa/OdcoiI5gvvVeiUITtknX5ldr2yihWo/Uivze38Uca00FJUoSZfjtbMsXUN2wTS6siBVPR94l+s1DSA2gzJ9+1IP0A5mbDYJpI/2LI9mZkevVzGHiDsmUX2iKGWdl8j+uit8+nnYa/ppoebN49viwHyKL4hmsmkDuQiLwgORHOW+eu51LL5/E35RK9GgeExkqncqJzaP9gUpralAw9J1YYu8wqwDzC/0NgBgXYHKE9FdwmcgojyO1DOJej4Au2lj1Stljdr3fHGMaf7DpXDNHiQ2IvmKKps80NHjQM1y9dC4ZlZIrUAO+7oHFT8vceeEwc0NQryzur6TJ102Y8XcWaOGbOCdqjSuFuN6/g0ZfKBIMcevy+4IPw47dbvi2U4kBkTZ+3h3ZIMa328GtxmKl6abH7oxNAbHiNCsxciXfTnk3WJSnhJejC0W/ES/DY+XaujB53eXciOiaSGxybzSp5ffmddCxaFFH3yap6sVPIFaSbUKchkxG9XHYO9QpMsgEn9/DTxzKBqe7KNq38o8Kn73d0w3NX90BQ79Dh6FcOYijjfQGR9n2dOTDgzjvkm/R5Nj2yb2K09uMR2UMRJ7qoQAAg/PJ/Yied9DoKqA1+TTpKyUF+jB+6eL3QxQ9Y2mYJcZk98H5C9i0iG0Xb6RbASkLOPCdo/9aeOh3U=

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, 08/23/2018