Software Engineering & Programming Language Lab
The Software Engineering & Programming Language Lab provides support in a variety of techniques and technologies aimed at increasing the reliability of your software. These techniques range from tests and reviews to formal methods that enable proofs of critical properties of entire systems.
News
ZuriHac 2022 at the OST-RJ ZuriHac 2022 at the OST-RJ
05.10.2022

After the last two years as a virtual event, ZuriHac 2022 took place as a physical event with around 400 participants all over the world. The event took place from Saturday 11 June to Monday 13 June 2022 at the Rapperswil campus of the OST.
After the last two years as a virtual event, ZuriHac 2022 took place as a physical event with around 400 participants all over the world. The...