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 <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: Tue, 5 Nov 2019 11:38:28 +0100
- Authentication-results: mail2-smtp-roc.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-f49.google.com
- Ironport-phdr: 9a23:3aBVDhNWLubvnCy2Kskl6mtUPXoX/o7sNwtQ0KIMzox0Ivv/rarrMEGX3/hxlliBBdydt6sfzbOP7uu5CSQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagb75+Ngi6oRjRu8UZnIdvKbs6xwfUrHdPZ+lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRneVgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gyoBKjU38nzYitZoga1UrhKupRxxzYDXbo+IKvRxYrjQcskGSWdbRMtdSzBND4G6YoASD+QBJ+FYr4zlqlYSqBuxHhOsBP70yjRVg3H5x7U60+M6EQHHwQctGNEOv27MrNXyL6cSUPq5w7PNzTrYdfNWxCz95ZPHchAku/6MXLZwfdDNxkkoEgPIl1OdopHrMTOS0+QCqWmb7+x4WO2zjG4nsB1xriKxyccxkoXJnJ8VxkrC9SV9xos+ON62SFZjbNK6DJddszuWOoh2T884XW1kpCU3xqcJtJO/eiUB1Y4pyATFa/OddoiF+hLjW/iVITd/nH9lfaiwhxe28US51OLzS9S43E9EridKltTArH8N1xvU6siITvty4F2t1iqI1wDW8u1EIEY0mrTHK5M53LI8ip4evV7AEyL2gkn6krOae0Y+9uWn7+nrerDmqYWdN49whAH+KKMumsmnDOQ7KAcOR2+b+f+91LH550L5Ra5FjucrkqnCq53aKsEbqbS4Aw9RyIos9xG/DzK+3NQCgXYHNE5FeA6Aj4XxJ17OJ+n4Ae6jjFSojTdk3OvLPqbhA5XINnjMiq3tfbd7605GyQo818pT55xOCuJJHPWmRl7pucedBxk/NBGyyOvPDNRmyphYQm+GGemEKK7UtxmF6v9ra+CDaIZd7D/yJ/EN4//1kWR/kl8Ueaykx4BRc33uWrxtJFzcan7xiP8AF30Lt0wwVqiiiFSZUjNXY16yVrk/6zU/ToW8AsOLS52xkaSMxw+wBdtMeyZADgOiC3DtIqyBUe0Rc2qxK9dmiT1MAbuoU4g61FensQXg1qFPIe/d+ylevpXmgosmr9bPnA0/oGQnR/+W1HuAGjktzzE4AgQu1aU6mnRTj1KK0Kx2mftdTIUB6PZAUwN8PpnZnbUjV4LCHznZd9LMc26IB828CGhoHN00yt4KJU16Hof6102R72+RG7YQ0oezKtk0/6bbhSWjIs98zzPL2PBkgQV3BMRIMmKii+h08A2BX4M=
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
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, 11/05/2019
Archive powered by MHonArc 2.6.18.