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 […]

LogicLounge with Toby Walsh: Living with Artificial Intelligence – How to stay Human

On September 20th, 2018, one of the leading researchers and an icon for regulation of Artificial Intelligence (AI),

Fully funded PhDs: Logical Methods in Computer Science – LogiCS

Logic in Austria

Talks at IJCAI-ECAI-18

Talks being given as part of IJCAI-ECAI-18 from the groups around VCLA

Syntax meets Semantics – Methods, Interactions, and Connections in Substructural logics (Report on the second SYSMICS workshop)

Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake (TU Wien) prepared the report on the second workshop within the project SYSMICS (Syntax meets Semantics – Methods, Interactions, and Connections in Substructural logics) for the ACM SIGLOG News vol. 5, Issue 2.

The workshop “Substructural logics: semantics, proof theory, and applications” was held in Vienna at the Faculty […]

Fully Funded PhD Positions in LogiCS Doctoral College

NEW: Applications will be screened on the following date: September 1, 2018.

Jeremy Liang An Kong, Outstanding Master Thesis in Computer Science

Computer systems and automation are performing more and more important functions

Einladung: Preisverleihung zum Jugend-Video-Wettbewerb „Algorithmen in 60 Sekunden“

Thursday, June 28, 2018 at 13:00

Third Edition of the VCLA International Student Awards 2018

The highly successful third edition of the VCLA International Student Awards was concluded on June 11, 2018.

2nd SYSMICS Workshop on Substructural logics: semantics, proof theory, and applications

This is the second workshop in the framework of the MSCA-RISE project SYSMICS (Syntax meets semantics—Methods, interactions, and connections in substructural logics). Its program will be focused on the interactions between syntactic and semantic methods in substructural and related logics, as well as their applications, e.g., security, verification and concurrency theory.