Search results You are only searching within this website. To find search results for other University of Bonn websites, such as those of the faculties or institutes, please use a search engine. 2703 items matching your search terms. Filter the results Item type Select All/None Link Language Independent Folder Study database metainformation Tiles-Seite Person Business Card Icon Medien-Ordner Collection VideourlCT News Event Subsite Person Register File Image Fontfamily EasyForm Folder Template-Folder Language Root Folder New items since Yesterday Last week Last month Ever Sort by relevance date (newest first) alphabetically Distribution of Places in the Seminars Höhere Mathematik After the information event on the seminars Höhere Mathematik (MB04), we evaluated the selection form with the participation requests and allocated the places. ... Located in Study Organization / Calendar Evan Cavallo: Formalizing cubical interpretations of homotopy type theory Located in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Shashank Pathak: GFLean: Autoformalisation for Lean via GF Located in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Speakers.png Located in Pictures Sven Rady appointed Fellow at the Econometric Society Located in News Sven Rady Located in News / Sven Rady appointed Fellow at the Econometric Society Two ERC Consolidator Grants for Bonn Mathematics Located in News Jan Hasenauer Located in News / Two ERC Consolidator Grants for Bonn Mathematics Evgeny Shinder Located in News / Two ERC Consolidator Grants for Bonn Mathematics Jessica Fintzen wins Cole Prize Located in News < Previous 10 items 1 ... 96 97 98 99 100 101 102 ... 271 Next 10 items > UniID Please fill out this field using the example format provided in the placeholder. The phone number will be handled in accordance with GDPR.