Davide Grossi
Credulous Acceptability, Poison Games and Modal Logic
Wednesday, November 6, 2019 at 16: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.
Workshop Scratch – Hackathon für Gute KI
Monday, October 14, 2019 at 9:00
World largest sorting network based on CS Unplugged – World Record
Thursday, September 19, 2019
DigiEduHack – 24h Hackathon 4 Good Artificial Intelligence
Thursday, October 3, 2019 – Friday, October 4, 2019
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.
David Cerna
A Mobile Application for Self-Guided Study of Formal Reasoning
Wednesday, October 16, 2019 at 16:30
DigiEduHack – 24h Hackathon 4 Good Artificial Intelligence
In a 24hours challenge the pupils developed ideas for a chatbot which can help with recycling, choosing alternative ways to work and schools, or even reduce your carbon footprint.
On 3rd of October, the Vienna Center for Logic and Algorithms of TU Wien organized a 24hours long virtual hackathon part of DigiEduHack, happening simultaneously in […]
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
