Workshop on Trends and Applications of Answer Set Programming – TAASP 2018

Monday, November 19, 2018 – Tuesday, November 20, 2018

Helmut-Veith-Memorial Workshop 2019

Sunday, March 17, 2019 – Wednesday, March 20, 2019

How the Hippies Destroyed the Internet: Moshe Vardi and Hans Akkermans

How the Hippies Destroyed the Internet

Logic in Computer Science (GEWINN InfoDay 2018)

Wednesday, November 14, 2018

Call For Applications: Helmut Veith Stipend for Female Master´s Students in CS

Deadline: November 30, 2018: Motivated female students in the field of computer science (CS) who plan to pursue (or pursue) one of the master‘s programs in Computer Science

The 11th Informatics Day: Digital Education for All

Explanatory videos as didactic resources for the basic digital education? This were results of the youth video competition “Algorithms in 60 Seconds”.

ÖCG Public Lecture: Intelligent Mobility (German)

Wednesday, November 28, 2018 at 18:00 s.t.

11th Day of Informatics 2018 (11. Informatiktag)

Thursday, September 27, 2018 at 9:00-17:00

Pauli Symposium: How Many Mathematics ?!

Friday, September 14, 2018 at 15:00 s.t.

Fully funded PhDs: Logical Methods in Computer Science – LogiCS

Logic in Austria