Winzige Mikrostrukturen schützen große hydraulische Maschinen. An der TU Wien wurden piezoelektrische Sensoren entwickelt, mit denen sich die…

Die TU Wien ist der erste Austragungsort der Olympischen Spiele der Logik: Teams aus der ganzen Welt entwickelten Computerprogramme, die nun beim…

Der große Wiener Logiker Kurt Gödel untersuchte Sätze, die Aussagen über sich selbst treffen – und brachte damit unser Bild von der Mathematik gehörig…

Wien ist wieder eine Welthauptstadt der Logik, mehr als 80 Jahre nachdem Kurt Gödel hier seinen Unvollständigkeitssatz niederschrieb. Der Wiener Kreis…

Die moderne Logik brachte eine Entfesselung der Mathematik. Auch dort, wo Sprache und Anschauung versagen, lassen sich mit Hilfe der Logik schlüssige…

Die künstliche Intelligenz macht große Fortschritte. Die TU Wien ist ein wichtiges Zentrum dieser Forschungsrichtung, beim „Vienna Summer of Logic“…

Logik und Informatik sind zwei Wissenschaften, die eng miteinander verwoben sind. Ohne Logik-Grundlagenforschung kommt die Computerwissenschaft längst…

Hilfsroboter sollen durch die Gänge streifen und erkennen, wenn irgendetwas Ungewöhnliches geschieht. Was harmlos und was ungewöhnlich ist, lernt der…

Bei der Vienna Gödel Lecture entführt der jüngste Informatikprofessor, Erik Demaine, sein Publikum in die Welt der Falt-Algorithmen und…