The Project has started on 15.05.2017!
Andrew Ollett (Harvard) joined the project on May the 15th.
Andrew Ollett will travel to India from July 30 to August 10 and will undertake research for the "Reasoning Tools for Deontic Logic" project. He will go to Pondicherry, to use the library of the Institut Français de Pondichéry and to discuss the project with colleagues at the École Française d'Extrême-Orient, and then to Chennai, where he will consult and photograph manuscripts of Mīmāṃsā texts that are held at the Government Oriental Manuscripts Library at the University of Madras.
Agata Ciabattoni will give a course at the International Summer School for Proof Theory in First-Order Logic.
When: August 2017.
Where: Funchal, Madeira.
Title: Proof Theory for Non-Classical Logics: Sequent calculi and beyond.
Björn Lellmann (and Revantha Ramanayake) will give a tutorial at the Co-located conferences TABLEAUX 2017, FroCoS 2017 and ITP 2017.
When: September 2017.
Where: Brasilia, Brazil.
Title: General methods in proof theory for modal and substructural logics.