Current news

 

 

KWIM Luch with Role Models

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).

[uniKN] Universitätssporthalle am 30.September komplett geschlossen

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.

Paper "Automated Repair for Timed Systems" accepted

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.

Unser Team ist vollzählig!

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 :)