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.
DigiEduHack – 24h Hackathon 4 Good Artificial Intelligence
Vote for the Austrian chatbot
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.
Spouseware and Stalkerware – LogicLounge with Eva Galperin
Eva Galperin, director of cybersecurity at Electronic Frontier Foundation, at the LogicLounge in New York.
Women in Logic 2019
The 3rd Women in Logic Workshop supported by SIGLOG and VCLA
Thomas Eiter and Peter Schüller part of “Artificial Intelligence for the European Union – AI4EU”
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)David Cerna
A Mobile Application for Self-Guided Study of Formal Reasoning
Wednesday, October 16, 2019 at 16:30
Dana Scott
Free Logic: its Formalization and some Applications
Monday, September 30, 2019 at 16:00 c.t.
Martin Munoz
Descriptive Complexity for Counting Complexity Classes
Tuesday, September 24, 2019 at 15:30 s.t.
Alexej Rotar
The Satisfiability Problem for Fragments of PCTL
Tuesday, September 24, 2019 at 15:50 s.t.
Yuri Gurevich
LOGIC in computer science and software industry (and in mathematics, time permitting)
Wednesday, September 18, 2019 at 16:00 c.t.
