**Related Projects – OzSL**

The
logic of composite quantum systems – NWO TOP-GO

The Model Theory of Constructive Proofs
– NWO Vrije Competitie

ForMath: Formalization of Mathematics - EU FP7 STREP FET project

The power of
constructive proofs – NWO Vidi

Logics
for quantum interaction – NWO Vidi

Categorical
and ALgebraic MOdels of
Computation – NWO Vrije Competitie

Topos
theory, noncommutative geometry, and quantum logic
– NWO Vrije Competitie

Mathematically and
Computationally Relevant Dualities – NWO Vrije
Competitie

Algebra and Coalgebra: the mathematical environments of modal logic
– NWO Vici

Dualities for quantales: a spatial understanding of noncommutative
– NWO Veni

Infinitary Combinatorics without
the Axiom of Choice – NWO/DFG

Events of interest | Main page | Colloquium on mathematical logic