News Detail

We invite you for the Konstanz Women In Mathematics Lunch with role models: Prof. Alicia Dickenstein (Universidad de Buenos Aires), Prof. Marie-Francoise Roy (IRMAR), Prof. Sandra di Rocco (KTH Stockholm), Prof. Greta Panova (University of Southern California) and Prof. Kathlén Kohn (KTH Stockholm).

After submitting his PhD thesis, Martin Kölbl has left the Chair and has joined CertiK, where he is applying formal methods to the verification of smart contracts.

Der Architekturwettbewerb für das Forum Konstanz geht seinem Finale entgegen: Am 30. September 2022 wird das Preisgericht stattfinden, das die Gewinner*innen des Wettbewerbs ermitteln wird.

Das Preisgericht wird aus Platzgründen in der Sporthalle der Universität Konstanz abgehalten, wo die Architekturmodelle aufgebaut werden können. Zu diesem Zweck wird die komplette Sporthalle inkl. uniMotion und Historische Gymnastikhalle für die sportliche Nutzung und für die Öffentlichkeit geschlossen sein.

We are glad to annouce that the paper entitled "Automated Repair for Timed Systems", authored by Martin Kölbl, Stefan Leue and Thomas Wies, has been accepted for publication in the journal Formal Methods in System Design.

We are continuing an evaluation project with Ansys Germany GmbH in which Ansys is assessing our causality checking technology and the QuantUM toolset.

Stefan Leue will be spending a two-week research stay in September / October 2022 at New York University, working with Thomas Wies.

We welcome Raffael Senn and David Boetius as new members of the Chair for Software and Systems Engineering.

https://doi.org/10.1038/s41467-022-33087-1

Unser Team ist vollzählig und motiviert! In einem zweitägigen Workshop haben unsere neuen Kolleginnen und Kollegen gelernt, was es braucht, um Teil des KIDS'nGROUPS-Teams zu sein. Wir freuen uns auf euch :)