Personal tools
You are here: Home

Search results

RSS Subscribe to an always-updated RSS feed.

151 items matching your search terms.
Filter the results.
Item type










New items since



Sort by relevance · date (newest first) · alphabetically
Talks
Teaching Semantics with a Proof Assistant or No more LSD trip proofs
Prof. Tobias Nipkow (TU Munich, Germany), 24 June 2013, 1:30 p.m., RISC seminar room castle
Located in Events
The Abstract State Machines Method for Design and Analysis of Software-Based Systems
Prof. Egon Börger (University Pisa), 13 April 2011, 11 a.m., RISC seminar room
Located in Events
The Convex Hull of a Space Curve
Prof. Bernd Sturmfels (UC Berkeley, USA), June 28, 2013, 11:30 a.m., RISC seminar room pond
Located in Events
The human brain during rest - imaging, dynamics, patterns
Prof. Henning U. Voss (Weill Cornell Medical College, New York), 5 July 2010, 10 a.m., HF136
Located in Events / 2010
The non-existence of projective plane of order 6
Marijan Ralašić (University Zagreb), 5 July 2011, 10:15 am, T038/1
Located in Events
Toric Factorisation of Bivariate Polynomials
Dr. Martin Weimann (University Barcelona), 8 February 2011, 10:15 a.m., seminar room Altenberger Straße 50
Located in Events
Towards an Arabic Semantic Search: An Ontology-Based Annotation Approach for Document Retrieval
Dr. Rebhi Baraka (University of Gaza, Palestine), 22 June 2011, 11:00 am, RISC seminar room
Located in Events
Triangulated Mesh Simplification Using Equidistant Cuts
Mgr. Gabor Kiss (Comenius University Bratislava), 5 July 2011, 10:15 am, T038/1
Located in Events
Unique low rank completability of partially filled matrices
Prof. Bill Jackson (Queen Mary University of London, UK), 8 November 2017, 10:15 a.m., S2 416-1
Located in Events