Mihaela Rozman
Sebastian Rudolph
Vladimir Lifschitz
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…
Moshe Vardi and Hans Akkermans: How the Hippies Destroyed the Internet
Luca Cardelli
Dale Miller
Call For Applications: Helmut Veith Stipend for Female Master´s Students in CS
Deadline: November 30, 2018: Motivated female students in the field of computer science (CS) who plan to pursue (or pursue) one of the master‘s programs in Computer Science
Marcello D’Agostino
Artificial Intelligence: Between the second Renaissance and the Terminator
Prof. Toby Walsh at the LogicLounge discussion in Vienna