Overview

• 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: PhD Training Network in Mathematical and Computational Logic

  Principal investigator: Dr A.B. Baltag
  Grant: Faculty of Science Stimuleringsbeurs
  Team members: Dr A.B. Baltag (project leader), Dr N. Bezhanishvili (project leader)
  Duration: 1 Sep 2024 - 31 Aug 2028
  Budget: 300000 EUROs

• Name project: The Power of Equality

  Principal investigator: Dr B. van den Berg
  Grant: NWO Open Competition Science M 2 (link)
  Team members: D.D. Otten (PhD Student until 2024-04-30)
  Duration: 1 Nov 2022 - 31 Oct 2026
  Budget: 700000 EUROs

• Name project: Cyclic proofs for modal and higher-order logic

  Principal investigator: Dr B. Afshari
  Grant: 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 2027
  Budget: 270970 EUROs

• Name project: Derivation Systems for Modal Fixpoint Logics

  Principal investigator: Prof.dr Y. Venema
  Grant: 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 2025
  Budget: 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.