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 GrantDeadline: Wednesday 10 November 2021
The 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 PrijsDeadline: Monday 15 November 2021
The 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.
Nederlandse Prijs voor ICT-onderzoekDeadline: Monday 15 November 2021
The 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.
Helmut Veith StipendDeadline: Tuesday 30 November 2021
The 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.
(New) ABC Project grantDeadline: Monday 31 January 2022
ABC 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.