Austrian Computer Science Day 2015

The Austrian Computer Science Day 2015, which takes place on October 15, features a range of talks by leading Austrian computer scientists, including topics such as computer games, augmented reality, aware systems, semantic web, business processes, and reliable systems. Register for free by October 7, 2015!

This year’s speakers are:

  • Alois Ferscha (JKU Linz)
  • Tom Henzinger (IST Austria)
  • Magdalena Ortiz (TU Wien)
  • Radu Prodan (Innsbruck)
  • Stefanie Rinderle-Ma (Uni Wien)
  • Dieter Schmalstieg (TU Graz)
  • Emo Welzl (ETH Zuerich)

Britta Schinzel (University of Freiburg) will talk about Ada Lovelace at the Kick-Off Event on October 14 (joint event with the European Computer Science Summit).

Informatiktag.at

Latest News

Jens Pagel wins Bill McCune PhD Award

We congratulate Jens Pagel for receiving the 2021 Bill McCune PhD Award in Automated Reasoning! Jens graduated in 2020; his thesis on Decision procedures for separation logic: beyond symbolic heaps (supervised by Florian Zuleger) presents his substantial contributions to the theory of formal verification and automated reasoning, and to verifying heap-manipulating programs in particular.

Continue reading

Full news archive