During the congress there will be the following workshops: Many-Valued Logics Logic and Metaphysics Between First and Second Order Logic Compositional Meaning in Logic - GeTFun 1.0 Non-Classical Mathematics Intuitionistic Modal Logic IMLA 2013 Shapes 2.0 Scope of Logic through History Abstract Proof Theory Relevant Logics Logical Quantum Structures Medieval Logic Thinking and Rationality Logic and Linguistics Universal Logic and Artificial Intelligence
During the congress there will be the following workshops:
Many-Valued Logics
Logical Quantum Structures