Filter the results Item type Select All/None Person Business Card Image Collection File Subsite EasyForm Link Language Independent Folder Study database metainformation Fontfamily News Event Icon Person Register Template-Folder Medien-Ordner Tiles-Seite VideourlCT Language Root Folder Folder New items since Yesterday Last week Last month Ever Search results 1993 items matching your search terms. Sort by relevance date (newest first) alphabetically Schedule_Maximal Operators and Applications.pdf Located in Pictures Jessica Fintzen Awarded EMS Prize Located in News schedule_WS-bridging_him.pdf Located in Assets / 2024 HIM_seminar_Workshops-Scheduling.pdf Located in Assets / 2024 logic black.jpg Located in Pictures Carlos Zapata-Carratala: Hypergraph Rewriting as a Foundation for Diagrammatic Calculus Located in Video Recordings / TP_2024_02_WS_2_Video / YouTube_Video Josef Urban: Autoformalization - ten years into the game Located in Video Recordings / TP_2024_02_WS_2_Video / YouTube_Video Silvia de Toffoli: Diagrams and Proofs Located in Video Recordings / TP_2024_02_WS_2_Video / YouTube_Video Natarajan Shankar: Cueology of Proof Located in Video Recordings / TP_2024_02_WS_2_Video / YouTube_Video Frederik Schaefer: Annotating and Spotting in Mathematical Corpora (concepts and tools) Located in Video Recordings / TP_2024_02_WS_2_Video / YouTube_Video 1 2 3 4 5 6 7 ... 200 Next 10 items