Second SYSMICS Workshop
The SYSMICS workshop will be focused on the interactions between syntactic and semantic methods in substructural and related logics, as well as their applications.: For more information, please click here.
Where: Vienna, Austria.
When: February 26-28, 2018.
Title: Second SYSMICS Workshop: "Substructural logics: semantics, proof theory and applications".
Joint Workshop @IJCAR 2018
There will be an international workshop on external and internal calculi for non-classical logics: For more information, please click here.
Where: Oxford, England, UK.
When: July 19, 2018.
Title: International Workshop on EXTERNAL AND INTERNAL CALCULI FOR NON-CLASSICAL LOGICS.
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.
Didier Galmiche is Program (Co) chair of IJCAR 2018.
Where: Oxford, UK.
When: July 2018.
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.