Seventh TICAMORE Workshop
Where: Institut für Logic and Computation, TU Wien, Austria / Virtual.
When: June 16-17, 2021.
Invited speakers: Alessio Guglielmi, Dale Miller, Valeria de Paiva, Elaine Pimentel.
Organizers: Agata Ciabattoni, Tim Lyon, Nicola Olivetti, Revantha Ramanayake.
Sixth TICAMORE Workshop
Where: Seminar room at FRIIAM, Campus St-Charles, 2nd floor. Marseilles / Virtual.
When: October 5-6, 2020.
Invited speakers: Marianna Girlando, Emiliano Lorini, Xavier Parent, Leon Van der Torre.
Organizers: Charles Grellois, Nicola Olivetti, Vincent Risch, Luigi Santocanale.
Special Issue of J. of Logic and Computation
The special issue "External and Internal Calculi for Non-Classical Logics" in the Journal of Logic and Computation is forthcoming.
Editors: A. Ciabattoni, D. Galmiche, N. Olivetti and R. Ramanayake.
Fifth TICAMORE Workshop
Where: Wolfgang Pauli Institute, Vienna, Austria.
When: November 11-13, 2019.
Invited speakers: Guido Governatori, Sara Negri.
Organizers: Agata Ciabattoni, Tim Lyon, Revantha Ramanayake.
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.