KEYNOTE SPEAKER
Sara Negri
Dpt of Philosophy, University of Helsinki, Finland
"Unifying the Search of Proofs and Counterexamples for Non-Classical Logics"

Libor Behounek and Petr Cintula
Institute of Computer Science, Academy of Sciences of Czech Republic and Center of Excellence IT4Innovations, Division University of Ostrava, Institute for Research and Applications of Fuzzy Modeling
"Multiset Consequence Relations for Substructural Logics"

Inge De Bal and Peter Verdee
University of Ghent, Belgium
"Bringing Logic to the People. A Diagrammatic Proof System for Classical Logic extended with a Pseudo-relevant Implication."

Pietro Codara
Dpt of Informatics, University of Milan, Italy
"On Valuations in Gödel and Nilpotent Minimum Logics"

Jacques Duparc
Faculty of Business and Economics, University of Lausanne, Switzerland
"Games, Non-Selfdual Sets, and Conciliatory Sets"

Soma Dutta and Mihir Chakraborty
Logic Circle, University of Calcutta, India
"Proof theory for the theory of graded consequence"

Maria Duzi and Bjorn Jespersen
Dpt of Computer Science, Technical University of Ostrava, Czech Republic
"A plea for B-conversion by value"

Jelena Ivetic and Pierre Lescanne
University of Novi Sad, Serbia and University of Lyon, France
"Computational Interpretations of some Substructural Logics"

Ondrej Majer
Institute of Computer Science, Academy of Sciences of the Czech Republic
"A Semantics for Counterfactuals based on Formal Fuzzy Logic"

María Manzano, Manuel A.Martins, Anotinia Huertas
Dpt of Philosophy, University of Salamanca, Spain - Dpt of Mathematics, University of Aveiro, Portugal - Dept of Computer Science, University Oberta of Catalunya, Spain
"Identity as a Primitive in Equational Hybrid Logic"

KEYNOTE SPEAKER
Giovanni Sambin
Dept of Mathematics, University of Padua, Italy
"Unification of logics by reflection"

Alexei Y. Muravitsky
Northwestern State University, Natchitoches, USA
"Rasiowan Deductive Systems"

Mykola S.Nikitchenko
Taras Shevchenko National University of Kyiv, Ukraine
"Constructing Logics oriented on Computing: Philosophical and Mathematical Aspects"

Anca Pascu and Jean-Pierre Desclés
STIH-LaLIC, University Paris-Sorbonne, Paris IV, France
"The Logic of Determination of Objects (LDO) - a Paraconsistent Logic"

Graham Priest
Department of Philosophy University of Melbourne, Australia City University of New York, USA and University of StAndrews,Scotland
"Plurivalent Logic "

Luiz Henrique da Cruz Silvestrini
Dpt of Mathematics, State University of São Paulo, UNESP, Bauru, Brazil
"Evolutionary Databases and Quasi-Truth: some Relations via Model Theory"

Lara Spendier, Agata Ciabattoni, Ori Lahav and Anna Zamansky
Theory and Logic Group, Vienna University of Technology, Austria
"Automated Support for the Investigation of Paraconsistent and Other Logics"

Gabriela Steren and Eduardo Bonelli
University of Buenoas Aires - National University of Quilmes and CONICET, Argentina
"Hypothetical Logic of Proofs"

Martin Sticht
Informatics Theory Group, University of Bamberg, Germany
"A Game-Theoretic Decision Procedure for the Constructive Description Logic cALL"

Thomas Studer
Logic and Theory Group, University of Bern, Switzerland
"Update as Evidence"

Maria N. Svyatkina and Valery B. Tarassov
Bauman Moscow State Technical University, Moscow, Russia
"On Granules and Granular Semantics for Multi-Valued Logics"

Valery B. Tarassov
Bauman Moscow State Technical University, Moscow, Russia
"The Perspective of Non-Linear Multi-Valued Logics:
Extended Logical Matrices"

Jerzy Tomasik
LIMOS-CNRS, Clermont-Ferrand, France
"On Łoś Synthesis Theories"

Alexei Vladimirov
Moscow State University, Russia
"Some partial conservativity properties for Intuitionistic
Set Theory with principle DCS"

Marco Volpe, Carlos Caleiro and Luca Vigano
Security and Quantum Information Group, Institute for Telecommunications, IST, Lisbon, Portugal - Dpt of Informatics, University of Verona, Italy
"Labeled Natural Deduction for Peircean Branching Temporal Logics"

Jonas De Vuyst
Centre for Logic and Philosophy of Science, Free University of Brussel, Belgium
"Dynamic Tableaux for Public Announcement Logic"