-
Machine quality assurance for software
Computer Scientists from Freiburg win first place at the International Competition on Software Verification (SV-COMP)
Located in
newsarchive
-
Machine-optimizing machines
The computer scientist Frank Hutter investigates how machine learning can be made easier to use
Located in
newsarchive
-
Making Machine Learning More Democratic
The European Research Council is funding Frank Hutter’s project with a Proof of Concept Grant
Located in
newsarchive
-
Mandatory mask-wearing on campus
The University of Freiburg reacts to new requirements of the state and the city due to the increasing number of corona infections
Located in
newsarchive
-
Marco Zimmerling Awarded 2022 ACM SIGBED
Marco Zimmerling was selected as the winner of the 2022 ACM SIGBED Early Career Researcher Award.
Located in
newsarchive
-
MBMV 2023 at the Faculty of Engineering
Workshop "Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV)" from March 23–24, 2023
Located in
newsarchive
-
Merry Christmas and a happy new year!
Frohe Weihnachten Feliz Navidad Joyeux Noël Merry Christmas Buon Natale Schöni Wiehnacht Счастли́вого Рождества́ عِيدُ مِيلادٍ مَجِيد Boas Festas Весела Коледа ...
Located in
newsarchive
-
Merry Christmas and a happy new year!
Frohe Weihnachten Feliz Navidad Joyeux Noël Merry Christmas Buon Natale Schöni Wiehnacht Счастли́вого Рождества́ عِيدُ مِيلادٍ مَجِيد Boas Festas Весела Коледа ...
Located in
newsarchive
-
Merry Christmas and a happy new year!
Frohe Weihnachten Feliz Navidad Joyeux Noël Merry Christmas Buon Natale Schöni Wiehnacht Счастли́вого Рождества́ عِيدُ مِيلادٍ مَجِيد Boas Festas Весела Коледа ...
Located in
newsarchive
-
Merry Christmas and a happy new year!
Frohe Weihnachten Feliz Navidad Joyeux Noël Merry Christmas Buon Natale Schöni Wiehnacht Счастли́вого Рождества́ عِيدُ مِيلادٍ مَجِيد Boas Festas Весела Коледа ...
Located in
newsarchive
