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: Computing interpolants: cyclic 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
- NWO TOP1: Derivation Systems for Modal Fixpoint Logics
Details
-
Name project: Computing interpolants: cyclic 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 until 2024-04-30)Duration: 1 Nov 2022 - 31 Oct 2026Budget: 700000 EUROs -
Name project: Cyclic proofs for modal and higher-order logic
Principal investigator: Dr B. AfshariGrant: 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 -
Name project: Derivation Systems for Modal Fixpoint Logics
Principal investigator: Prof.dr Y. VenemaGrant: NWO TOP1 (link)Team members: Prof.dr Y. Venema (project leader), J. Kloibhofer (PhD Student), Dr J.F. Marti (Postdoc until 2022-09-30), J.M.W. Rooduijn (PhD Student until 2023-08-31)Duration: 1 Aug 2019 - 30 Sep 2025Budget: 732831 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.