News Detail

The paper "symQV: Automated Symbolic Verification of Quantum Programs", authored by Fabian Bauer-Marquart, Stefan Leue and Christian Schilling (Aalborg) has been accepted for presentation and publication at the 25th Symposium on Formal Methods, FM 2023, in Lübeck, Germany.

Biologist Eduardo Sampaio researched octopuses off Cape Verde. He participated in a Citizen Science-led expedition that retraced the journey of Charles Darwin.

Biologist Eduardo Sampaio researched octopuses off Cape Verde. He participated in a Citizen Science-led expedition that retraced the journey of Charles Darwin.

Der Biologe Eduardo Sampaio erforschte Oktopusse vor den Kap Verden. Er nahm an einer Citizen Science geleiteten Expedition teil, die die Reise von Charles Darwin nachfuhr.

Im Rahmen des Erasmus+ Projekts „PAGOSTE“ besuchen acht Studierende aus der Ukraine vom 13. bis 26. November die Universität Konstanz.

Freitag, 20. Januar 2023

19 bis 21 Uhr

Kulturbühne St. Johann, Brückengasse 1b, 78462 Konstanz

Biologist Eduardo Sampaio researched octopuses off Cape Verde. He participated in a Citizen Science-led expedition that retraced the journey of Charles Darwin

Titel "Usability und User Experience – Als Psychologe in der Produktentwicklung",

Referent: Thomas Martlbauer, Dipl. Psychologe, Senior Consultant User Experience, Lehrbeauftragter;

Einrichtung: Spiegel Institut

Zwischen Freitag 18.11. 12:00 Uhr und Montag 21.11. ca 16:00 Uhr wird eine erweiterte Wartung an den Servern der VMware-Umgebung (Virtualisierung) des KIM vorgenommen.