Giada Coppi

News

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.
Webpage: https://ticamore.logic.at/virtual2021/

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.
Webpage: https://ticamore.logic.at/marseille2020/

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.
Webpage: https://ticamore.logic.at/vienna2019/

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.

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.