Report: Helmut-Veith-Memorial Workshop 2020
Logicians amid the Austrian Alps
Category Uncategorized
Accepted papers at the AAAI 2020
10 papers accepted at the 34th AAAI Conference on Artificial Intelligence 2020
Several Doctoral Positions in Computer Science in Austria
Jointly run doctoral college LogiCS is looking for 12 doctoral students.
Several Fully Funded PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS)
TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for our joint doctoral program on Logical Methods in Computer Science (LogiCS). The PhD program focuses on interdisciplinary research topics covering computational logic, and applications of logic to…
L’Oréal scholarship “Women in Science” for logician Anela Lolic
Alumna of FWF funded doctoral college LogiCS
Logician and a hacker – Martina Lindorfer awarded Hedy Lamarr Prize of the City of Vienna
Logician and a hacker Martina Lindorfer awarded Hedy Lamarr Prize of the City of Vienna
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
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…
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