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.

Fully funded PhDs: Logical Methods in Computer Science – LogiCS

Logic in Austria

Talks at IJCAI-ECAI-18

Talks being given as part of IJCAI-ECAI-18 from the groups around VCLA

Syntax meets Semantics – Methods, Interactions, and Connections in Substructural logics (Report on the second SYSMICS workshop)

Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake (TU Wien) prepared the report on the second workshop within the project SYSMICS (Syntax meets Semantics – Methods, Interactions, and Connections in Substructural logics) for the ACM SIGLOG News vol. 5, Issue 2.

The workshop “Substructural logics: semantics, proof theory, and applications” was held in Vienna at the Faculty […]

Jeremy Liang An Kong, Outstanding Master Thesis in Computer Science

Computer systems and automation are performing more and more important functions

Call for Nominations: SIGLOG/VCLA Travel Award for WiL 2018

Wednesday, June 13, 2018

Third Edition of the VCLA International Student Awards 2018

The highly successful third edition of the VCLA International Student Awards was concluded on June 11, 2018.

FLoC 2018 and VCLA LogicLounge: Ethics and Morality of Robotics

The Oxford Union debate on Ethics and Morality of Robotics, an event in the LogicLounge series