Projects

At the moment the following projects are associated with the virtual SMT center. Please follow the links for more information.

• Interactive Inference (Funded by the Carl-Zeiss-Stiftung)