Mar 2016 - Mar 2019
Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics
Investigador principal:
Mayo 2017 - Abr 2020
Technology for Conflict Resolution
Investigador principal: