Giada Coppi

News

Upcoming!
Revantha Ramanayake (and Björn Lellmann) will give a tutorial at the Co-located conferences TABLEAUX 2017, FroCoS 2017 and ITP 2017.
Where: Brasilia, Brazil.
When: September 2017.
Title: General methods in proof theory for modal and substructural logics.