Overview

• FNWI Stimuleringsbeurs: Machine-Learning Models for Automated Reasoning
• NWO Open Competition Domain Science - M: Exploiting Problem Structures in SAT-based Planning
• FNWI Startersbeurs: Bounded Rationality in Multi-Agent Reasoning (Behnke)
• FNWI Startersbeurs: Bounded Rationality in Multi-Agent Reasoning (Gattinger)
• H2020 Marie Skłodowska-Curie Individual Fellowship: Logic and Learning: an Algebra and Finite Model-Theory Approach
• NWO Vidi: Mathematics of Quantum Algorithms
• NWO Veni: New Algorithmic Approaches for Judgement Aggregation
• NWO Vici: Collective Information

Details

• Name project: Machine-Learning Models for Automated Reasoning

  Principal investigator: Dr B.D. ten Cate
  Grant: FNWI Stimuleringsbeurs (link)
  Team members: A.W. Soeteman (PhD Student)
  Duration: 1 Oct 2024 - 30 Sep 2028
  Budget: 300000 EUROs

• Name project: Exploiting Problem Structures in SAT-based Planning

  Principal investigator: Dr G. Behnke
  Grant: NWO Open Competition Domain Science - M (link)
  Team members: Dr G. Behnke (project leader), J. Sá (PhD Student)
  Duration: 1 Mar 2024 - 29 Feb 2028
  Budget: 350000 EUROs

• Name project: Bounded Rationality in Multi-Agent Reasoning (Behnke)

  Principal investigator: Dr G. Behnke
  Grant: FNWI Startersbeurs
  Team members: P.M. Dekker (PhD Student)
  Duration: 15 Jan 2024 - 14 Jan 2028
  Budget: 300000 EUROs

• Name project: Bounded Rationality in Multi-Agent Reasoning (Gattinger)

  Principal investigator: Dr B.R.M. Gattinger
  Grant: FNWI Startersbeurs
  Team members: H. Wang (PhD Student)
  Duration: 1 Nov 2023 - 31 Oct 2027
  Budget: 300000 EUROs

• Name project: Logic and Learning: an Algebra and Finite Model-Theory Approach

  Principal investigator: Dr B.D. ten Cate
  Grant: H2020 Marie Skłodowska-Curie Individual Fellowship (link)
  Team members: Dr B.D. ten Cate (project leader)
  Duration: 1 Oct 2021 - 15 Jan 2025
  Budget: 175572 EUROs

• Name project: Mathematics of Quantum Algorithms

  Principal investigator: Dr M. Ozols
  Grant: NWO Vidi (link)
  Team members: Dr M. Ozols (project leader until 2023-10-31), Dr A. Burchardt (Postdoc until 2023-12-31), D.A. Grinko (PhD Student until 2024-09-30)
  Duration: 1 Apr 2020 - 31 Mar 2025
  Budget: 800000 EUROs

• Name project: New Algorithmic Approaches for Judgement Aggregation

  Principal investigator: Dr R. de Haan
  Grant: NWO Veni (link)
  Team members: Dr R. de Haan (project leader until 2023-12-31)
  Duration: 1 Jan 2020 - 31 Dec 2024
  Budget: 250000 EUROs

• Name project: Collective Information

  Principal investigator: Prof.dr U. Endriss
  Grant: NWO Vici (link)
  Team members: Prof.dr U. Endriss (project leader until 2024-03-31), J.Z. Chingoma (PhD Student), Dr F. Fioravanti (Postdoc), S.A. Bloks (PhD Student until 2020-08-31), Dr A. Haret (Postdoc until 2023-03-31), M. Utke , Dr S. Botan (PhD Student until 2021-09-30), A. Novaro (Postdoc until 2021-08-31), Dr S.J. Rey
  Duration: 1 Apr 2019 - 31 Aug 2025
  Budget: 1500000 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.