Organization chairs:
Matthias Baaz, Stefan Hetzl

• Logic Colloquium 2014 (LC)
• Logic, Algebra and Truth Degrees 2014 (LATD)
• Compositional Meaning in Logic (GeTFun 2.0)
• The Infinity Workshop (INFINITY)
• Workshop on Logic and Games (LG)
• Nonclassical Proofs: Theory, Applications and Tools (NCPROOFS)
• Kurt Gödel Fellowship Competition