Giada Coppi

News

PhD Course
Agata Ciabattoni will will give a course at the International Summer School for Proof Theory in First-Order Logic.
Where: Funchal, Madeira.
When: August 2017.
Title: Proof Theory for Non-Classical Logics: Sequent calculi and beyond.

Upcoming!
Didier Galmiche is Program (Co) chair of IJCAR 2018.
Where: Oxford, UK.
When: July 2018.

Tutorial
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.