- JCST Special Section on Software Systems 2020
- Yong Li passed his PhD thesis defense
- Prof. Zhang was invited to give a lecture on SETSS 2018
- SETTA’17 best paper award
- ePMC is publicly available
- R. Wimmer gives a course on Symbolic Verification, K. Wimmer a talk on DQBF
- M. Stoelinga gives a course on Fault Trees