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