Several Doctoral Positions in Computer Science in Austria
Jointly run doctoral college LogiCS is looking for 11 doctoral students.
Viktoriia Korchemna awarded Helmut Veith Stipend 2018
The 2018 Helmut Veith Stipend was presented at an award ceremony collocated with the symposium Humans & Machines,
L’Oréal scholarship “Women in Science” for logician Anela Lolic
Alumna of FWF funded doctoral college LogiCS
Austrian pupils successfully set a world largest sorting network – based on CS Unplugged
With a successful world record attempt in Vienna, digital processes were translated into the analogue world, marking the kick-off of project ADA.
GROW 2019 – Workshop on Graph Classes, Optimization, and Width Parameters
Network of computer scientists and mathematicians
Security & Privacy for Blockchains and Distributed Ledger Technologies
BDLT19 as the first one in a series of International Summer Schools
Distinction: VCLA International Student Awards 2019
The community of logicians at Faculty of Informatics celebrates.
Women in Logic 2019
The 3rd Women in Logic Workshop supported by SIGLOG and VCLA
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
“Algorithms in 60 Seconds” nominated for the eAward 2019
Recognizing educational value of the Youth Video Competition “Algorithms in 60 Seconds”
Latest Talks
(» further talks)Joost-Pieter Katoen
Probabilistic Programming: Machine Learning for the Masses?
Wednesday, December 4, 2019 at 10:30 s.t.
Ringo Baumann
An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms
Thursday, November 28, 2019 at 12:00 s.t.
Dominique Larchey-Wendling
Hilbert’s Tenth Problem in Coq
Wednesday, November 27, 2019 at 16:30 s.t.
Tommaso Moraschini
Profinite Heyting algebras and the representation problem for Esakia spaces
Wednesday, November 20, 2019 at 16:30 s.t.
Prafullkumar Tale
Lossy Kernels for Graph Contraction Problems
Monday, November 11, 2019 at 14:00 s.t.
