Helmut-Veith-Memorial Workshop 2019
Logicians meet amid the Austrian Alps
Peter Eades
Peter Eades, University of Sydney
Manuel Sorge
Dominik Peters
Dominik Peters, Oxford University
Abstract
We consider a participatory budgeting problem in which each voter submits a proposal for how to divide a single divisible resource (such as money or time) among several possible alternatives (such as public projects or activities) and these proposals must be aggregated into a single consensus division. Under […]
Deadline: Helmut Veith Stipend for Women in Computer Science 2019
Deadline: November 30, 2019: Motivated female students in the field of computer science who plan to pursue (or are pursuing) one of the master‘s programs in Computer Science
The algorithm is a racist / Der Algorithmus ist rassistisch?
What do an algorithm and a cooking recipe have in common? More than you might think! In the media, algorithms come up again and again – but usually when something goes wrong. Headlines such as “The algorithm is a racist” are not uncommon. However, algorithms are not a new phenomenon, but have been with us […]
Extended Deadline: Call for Nominations for the VCLA International Student Awards
The annually awarded VCLA International Student Awards for Outstanding Master and Undergraduate Research (Bachelor) Theses (or equivalent) recognize authors of scientific works across the wide spectrum of Computer Science.
Main areas of interest:
Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint […]
Laura Kovacs awarded ERC´s Proof of Concept Grant
From a research project to a software startup in Austria
Stefan Milius
Stefan Milius, FAU – Friedrich-Alexander-Universität Erlangen-Nürnberg
Thomas Eiter and Peter Schüller lead “Artificial Intelligence for the European Union – AI4EU” at TU Wien
The pan-European project funded with €20 million connecting 79 partners from 21 countries
