The following information is taken from the database of the ILLC Buro: please inform the ILLC Buro (not the webmaster) if any of the information below is incorrect or incomplete.
The information only pertains to currently active grants and projects. A list of completed projects can be found on a separate page.
Overview
- NWO Veni: Finding interpolants: proofs in action
- Faculty of Science Stimuleringsbeurs: PhD Training Network in Mathematical and Computational Logic
- NWO Open Competition Science M 2: The Power of Equality
- NWO Open Competition Domain Science - M: Cyclic proofs for modal and higher-order logic
Details
-
Name project: Finding interpolants: proofs in action
Principal investigator: Dr I. van der GiessenGrant: NWO Veni (link)Team members: Dr I. van der Giessen (Postdoc)Duration: 1 Dec 2024 - 30 Nov 2027Budget: 320000 EUROs -
Name project: PhD Training Network in Mathematical and Computational Logic
Principal investigator: Dr A.B. BaltagGrant: Faculty of Science StimuleringsbeursDuration: 1 Sep 2024 - 31 Aug 2028Budget: 300000 EUROs -
Name project: The Power of Equality
Principal investigator: Dr B. van den BergGrant: NWO Open Competition Science M 2 (link)Team members: D.D. Otten (PhD Student)Duration: 1 Nov 2022 - 31 Oct 2026Budget: 700000 EUROs -
Name project: Cyclic proofs for modal and higher-order logic
Principal investigator: Prof.dr Y. VenemaGrant: NWO Open Competition Domain Science - M (link)Team members: Prof.dr Y. Venema (project leader), Dr B. Afshari (project leader until 2023-05-31, ), L.M. Grotenhuis (PhD Student)Duration: 1 Sep 2022 - 20 Sep 2027Budget: 270970 EUROs
The above information is taken from the database of the ILLC Buro: please inform the ILLC Buro (not the webmaster) if any of the information above is incorrect or incomplete.