2019

Jul 2019

  • Jul 1, 2019 Call, Conference The International Summer School on Security & Privacy for BDLT invites contributions to showcase related work-in-progress and already-published research.

2018

Dec 2018

Mar 2018

2017

Oct 2017

  • Oct 5, 2017 Conference, Award, Research Three researchers of the Algorithms and Complexity group have been awarded at the International Symposium on Graph Drawing and Network Visualization in Boston.

May 2017

  • May 18, 2017 Conference, Students Auch dieses Jahr vergibt das Hasso-Plattner-Institut wieder USA-Reisestipendien für Nachwuchs-Informatikerinnen zur Grace Hopper Conference (Oktober 2017)

2016

Apr 2016

2015

Jun 2015

May 2015

Apr 2015

2014

Nov 2014

Jul 2014

  • Jul 24, 2014 Conference, Research Der VSL'14 war nicht nur ein wissenschaftliches Großereignis, er trug auch dazu bei, der Logik-Forschung breite öffentliche Aufmerksamkeit zu verschaffen.
  • Jul 22, 2014 Conference, Research Bei der Medaillenzeremonie des VSL'14 wurden die Sieger der Olympischen Spiele der Logik und weiterer wissenschaftlichen Leistungen geehrt.
  • Jul 19, 2014 Conference, Research Der Vienna Summer of Logic hatte bereits viel zu bieten. Weitere spannende Logik-Events können Sie in den nächsten Tagen noch persönlich miterleben.
  • Jul 8, 2014 Conference, Research Logik für alle! Beim Vienna Summer of Logic haben Sie die Möglichkeit, bei öffentlichen Veranstaltungen mehr über das spannende Forschungsgebiet zu erfahren
  • Jul 2, 2014 Conference, Research Die TU Wien ist der erste Austragungsort der Olympischen Spiele der Logik: Teams aus der ganzen Welt treten nun gegeneinander an.

Jun 2014

  • Jun 23, 2014 Conference, Research Der große Wiener Logiker Kurt Gödel untersuchte Sätze, die Aussagen über sich selbst treffen – und brachte damit unser Bild der Mathematik gehörig ins Wanken
  • Jun 16, 2014 Conference, Research Wien ist wieder eine Welthauptstadt der Logik, mehr als 80 Jahre nachdem Kurt Gödel hier seinen Unvollständigkeitssatz niederschrieb.
  • Jun 10, 2014 Conference, Research Die moderne Logik brachte eine Entfesselung der Mathematik. Auch dort, wo Sprache und Anschauung versagen, lassen sich schlüssige Gedankengebäude errichten.
  • Jun 2, 2014 Conference, Research Die künstliche Intelligenz macht große Fortschritte. Beim „Vienna Summer of Logic“ werden mehrere Konferenzen über dieses Thema stattfinden.

May 2014

  • May 27, 2014 Conference, Research Logik und Informatik sind eng miteinander verwoben sind. Logik in der Informatik ist eines der Schwerpunktthemen beim "Vienna Summer of Logic 2014".
  • May 19, 2014 Conference, Research Im „Vienna Summer of Logic“ wird Forschungsprominenz aus der ganzen Welt nach Wien kommen – in eine Stadt, die eng mit der Geschichte der Logik verknüpft ist

2012

Mar 2012