“Algorithms in 60 Seconds” nominated for the eAward 2019
Recognizing educational value of the Youth Video Competition “Algorithms in 60 Seconds”
Marijn Heule
Massively Parallel Solving of Math Problems
Monday, January 7, 2019 at 17:00 c.t.
Eduard Eiben awarded with the national “Award of Excellence”
Alumnus of the LogiCS doctoral college funded by the FWF
Sanjay Modgil
Logic, Argument and Dialectic
Wednesday, December 12, 2018 at 16:00 c.t.
Vienna Ball of Sciences 2019: Steps of Logic by Anna Lukina
Inspired by the nature, brought to life by a machine
Fredrik Heintz
Reasoning and Learning over Streams for Safe Autonomous Systems
Friday, November 23, 2018 at 13:30 s.t.
Sebastian Rudolph
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics
Friday, November 23, 2018 at 14:30 s.t.
Vladimir Lifschitz
How We Studied the Input Language of gringo
Monday, November 19, 2018 at 12:30 s.t.
Logik und Informatik
Die Logik ist für die Informatik wie Kalkül für die Physik. Selbst das Bedürfnis, im modernen Leben klarer zu denken, kann mit logischem Training befriedigt werden. Das Vienna Center for Logic and Algorithms bring den stärksten Werkzeug in Technik und Informatik zur GEWINN Info Day 2018 – größten Wirtschaftskongress für Schülerinnen und Schüler in Österreich.
Logikpuzzle
VCLA […]
Moshe Vardi and Hans Akkermans: How the Hippies Destroyed the Internet
How the Hippies Destroyed the Internet
Thursday, November 8, 2018 at 18:15 s.t.
