“Algorithms in 60 Seconds” nominated for the eAward 2019
Recognizing educational value of the Youth Video Competition “Algorithms in 60 Seconds”
Marijn Heule
Marijn Heule, University of Texas at Austin
BIO
Marijn Heule is a Research Assistant Professor at the University of Texas at Austin whose research focuses on major challenges in automated reasoning. Marijn Heule´s current research focusses on two major challenges for SAT solving. The first challenge is the exploitation of the […]
Eduard Eiben awarded with the national “Award of Excellence”
Alumnus of the LogiCS doctoral college funded by the FWF
Sanjay Modgil
Sanjay Modgil, King’s College London
Vienna Ball of Sciences 2019: Steps of Logic by Anna Lukina
Inspired by the nature, brought to life by a machine
Fredrik Heintz
Fredrik Heintz, Linköping University
Sebastian Rudolph
Sebastian Rudolph, TU Dresden
Vladimir Lifschitz
Vladimir Lifschitz, University of Texas at Austin
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
Hans Akkermans (VU Amsterdam), Moshe Vardi (Rice University)
The debate with the members of the audience.
The organizer of the debate Hannes Wertner (middle), with H. Akkermans and M. Vardi, and the members of the VCLA board, and the Faculty of Informatics international advisory board.
