VCLA and Wolfgang Pauli Institut (WPI) hosted visiting professor Leopoldo Bertossi, School of Computer Science, Carleton University, from September to December 2017 on the invitation of Georg Gottlob. Prof. Bertossi´s farewell words:
Aim The aim of this course is to introduce the mathematical theory and algorithmic results about graph-games, to convey how graph-games form the foundation of formal-methods, and how they are used in AI. Lecturer Sasha Rubin, University of Naples “Federico…
This fall was a computer science autumn for Vienna, the science hub of Central Europe. From ALGO Congress on Algorithms to 17th FMCAD (Formal Methods in Computer-Aided Design), the research groups of VCLA have been busy.
Social media constitute an important medium for disseminating information. To achieve the spill over effect of the knowledge accumulated within the constituting research groups of VCLA and to connect their members with the network of stakeholders and the general public,…
