These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines Funding, Grants & Competitions
Funding, Grants & Competitions
-
Membership application for Working Groups in EuroProofNet (COST Action)
EuroProofNet is a new COST action aiming at federating all the European researchers working on proofs in order to improve the interoperability of proof systems. There are currently 6 working groups (WG):
- WG1: Proof systems interoperability.
- WG2: Automated theorem provers.
- WG3: Program verification.
- WG4: Libraries of formal proofs.
- WG5: Machine learning on proofs.
- WG6: Type theory.A COST action can fund visits to other labs, and participation to summer schools, workshops and conferences. Anyone willing to contribute to the goals of the action is eligible. If you are interested, registration to EuroProofNet working groups is now open (it's possible to register to several working groups).
For more information, see https://www.cost.eu/actions/CA20111/. -
ERC Synergy Grant
Deadline: Wednesday 10 November 2021The aim is to provide support for a small group of two to four Principal Investigators to jointly address ambitious research problems that could not be addressed by the individual Principal Investigators and their teams working alone. Synergy projects should enable substantial advances at the frontiers of knowledge, stemming, for example, from the cross-fertilization of scientific fields, from new productive lines of enquiry, or new methods and techniques, including unconventional approaches and investigations at the interface between established disciplines. The transformative research funded by Synergy Grants should have the potential of becoming a benchmark on a global scale.
-
Kees Schouhamer Immink Prijs
Deadline: Monday 15 November 2021The Kees Schouhamer Immink Prijs is organised by the Koninklijke Hollandsche Maatschappij der Wetenschappen (KHMW). The award of € 10,000.-- is given biannually for original research in the area of computer technology and telecommunication in the broad sense. The award is intended as encouragement for a research who did her or his PhD at a Dutch institution of Higher Education or research no more than four years ago. Nominations should be sent electronically to secretaris at khmw.nl. More information on the webpage of the KHMW.
For more information, see https://khmw.nl/kees-schouhamer-immink-prijs/ or contact KHMW at secretaris at khmw.nl. -
Nederlandse Prijs voor ICT-onderzoek
Deadline: Monday 15 November 2021The Nederlandse Prijs voor ICT-onderzoek is awarded to a researcher, at most fifteen (active) years past her or his doctorate, who is known for innovative research or who is responsible for a scientific breakthrough in ICT. The award consists of the sum of € 50,000.--, an award certificate, and a sculpture. The award committee will also consider whether the candidate is able to present their research to the general public. Nominations can be electronically submitted to secretaris at khmw.nl. More information can be found on the KHMW website.
For more information, see https://khmw.nl/nederlandse_prijs_ict-onderzoek/ or contact KHMW at secretaris at khmw.nl. -
Helmut Veith Stipend
Deadline: Tuesday 30 November 2021The VCLA invites applications for the Helmut Veith Stipend. The Helmut Veith Stipend is dedicated to the memory of an outstanding computer scientist who worked in the fields of logic in computer science, computer-aided verification, software engineering, and computer security. It is awarded annually to motivated female students in the field of computer science who pursue (or plan to pursue) one of the master's programs in Computer Science at TU Wien taught in English.
For more information, see http://www.vcla.at/helmut-veith-stipend/ or contact master at logic-cs.at. -
(New) ERC Starting Grant
Deadline: Thursday 13 January 2022Are you a talented early-career scientist who has already produced excellent supervised work, is ready to work independently and shows potential to be a research leader? The ERC Starting Grant could be for you.
For more information, see https://erc.europa.eu/funding/starting-grants. -
ABC Project grant
Deadline: Monday 31 January 2022ABC grants are intended to motivate and enhance interfaculty research collaborations that are of an interdisciplinary nature. The overall mission is to come to a better understanding of the mechanisms of cognition, from perception to decision making, from language to music, and from memory to consciousness. The ABC encourages collaborative projects in which more than one faculty is involved and where there is an integrated plan of how to address a key question in brain and cognitive sciences in an innovative and interdisciplinary fashion.
For more information, see https://abc.uva.nl/abc-grants/abc-project-grant/ or contact info-abc at uva.nl. -
(New) ERC Consolidator Grant
Deadline: Thursday 17 March 2022Are you a scientist who wants to consolidate your independence by establishing a research team and continuing to develop a success career in Europe? The ERC Consolidator Grant could be for you. You can also apply if you have recently created an independent, excellent research team and want to strengthen it.
For more information, see https://erc.europa.eu/funding/consolidator-grants. -
(New) ERC Advanced Grant
Deadline: Thursday 28 April 2022Are you an established, leading principal investigator who wants long-term funding to pursue a ground-breaking, high-risk project? The ERC Advanced Grant could be for you.
For more information, see https://erc.europa.eu/funding/advanced-grants.