Overview

• H2020 Marie Skłodowska-Curie Individual Fellowship: Verification and Language Theory
• NWO TOP2: The computational content of homotopy type theory
• NWO Free Competition: Logic and Automata: a Coalgebraic Perspective
• ERC Marie Curie Intra-European Fellowships: ADAMS: A dual approach to many-valued semantics
• ICSU ICSU Grants Programme: Cultures of Mathematical Research Training

Details

• Name project: Verification and Language Theory

  Principal investigator:
  Grant: H2020 Marie Skłodowska-Curie Individual Fellowship (link)
  Team members: Dr T.W.J. Kappé (project leader until 2024-08-31)
  Duration: 1 Sep 2021 - 31 Aug 2024
  Budget: 175572 EUROs

• Name project: The computational content of homotopy type theory

  Principal investigator: Dr B. van den Berg
  Grant: NWO TOP2 (link)
  Team members: Dr B. van den Berg (project leader until 2024-01-07), Dr T. Uemura (PhD Student until 2021-08-31)
  Duration: 1 Sep 2017 - 31 Aug 2021
  Budget: 226201 EUROs

• Name project: Logic and Automata: a Coalgebraic Perspective

  Principal investigator: Prof.dr Y. Venema
  Grant: NWO Free Competition
  Team members: Prof.dr Y. Venema (project leader), Dr F. Seifan (PhD Student until 2016-09-30)
  Duration: 1 Sep 2012 - 1 Sep 2016
  Budget: 210532 EUROs

• Name project: ADAMS: A dual approach to many-valued semantics

  Principal investigator: Prof.dr Y. Venema
  Grant: ERC Marie Curie Intra-European Fellowships
  Team members: Prof.dr Y. Venema (project leader), Dr L. Spada (Postdoc until 2015-07-31)
  Duration: 1 Sep 2013 - 1 Sep 2015
  Budget: 183806 EUROs

• Name project: Cultures of Mathematical Research Training

  Principal investigator: Prof.dr B. Löwe
  Grant: ICSU ICSU Grants Programme
  Team members: Prof.dr B. Löwe (project leader)
  Duration: 14 Apr 2014 - 30 Jun 2015
  Budget: 29000 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.