Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics

01.03.2016 - 28.02.2019
Research funding project

People

Project leader

Institute

Grant funds

  • European Commission (EU) H2020 I.3. MSCA Marie Sklodowska-Curie Actions Pillar Excellent Science Framework programme Horizon 2020 European Commission Call identifier H2020-MSCA-RISE-2015 Application number 689176

Research focus

  • Computational Intelligence: 100%

Publications