## Scientific General Events

The mathematics of discrete geometry from a computational point of view

Topics include, but are not limited to, the following: concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory.

Derived geometry and higher categorical structures in geometry and physics

Quantum Physics and Logic