Projects, scholarships and other third-party funds 2020

Research Projects

• Moser, Georg: Proof theory for branching quantifiers: CERES and beyond.
  Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
  2018-01-01 - 2021-04-30
  
  

Scholarships

• Nössig, Albert: Inductive Programming and Rule Learning.
  Leopold-Franzens-Universität Innsbruck - Vizerektorat für Forschung, Doktoratsstipendien aus der Nachwuchsförderung der LFU
  2020-05-01 - 2021-04-30