John D. Barrow: 100 Years of Universes (In Memoriam Wolfgang Rindler)

“Philosophers were talking about that in the past, now we even have the mathematics to show it.”

Juliet Floyd: In and Out of Mind – Wittgenstein and Gödel, Post and Turing

Admission free public lecture: Thursday, July 25, at 17:00

Fourth Edition of the VCLA International Student Awards 2019

VCLA International Student Awards 2019

The highly successful fourth edition of the VCLA International Student Awards 2019 was concluded on June 28, 2019.

Women in Logic 2019

The 3rd Women in Logic Workshop supported by SIGLOG and VCLA

First Austrian IFIP Forum “AI and future society”

Wednesday, May 8, 2019 – Thursday, May 9, 2019

How to design a perfect subway map?

2nd Schematic Mapping Workshop took place at TU Wien

SIGLOG/VCLA Travel Awards for Women in Logic Workshop 2019 (WiL 2019)

Extended Deadline: May 21, 2019

The algorithm is a racist / Der Algorithmus ist rassistisch?

What do an algorithm and a cooking recipe have in common? More than you might think! In the media, algorithms come up again and again – but usually when something goes wrong. Headlines such as “The algorithm is a racist” are not uncommon. However, algorithms are not a new phenomenon, but have been with us […]

Extended Deadline: Call for Nominations for the VCLA International Student Awards

The annually awarded VCLA International Student Awards for Outstanding Master and Undergraduate Research (Bachelor) Theses (or equivalent) recognize authors of scientific works across the wide spectrum of Computer Science.

Main areas of interest:

Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint […]

Laura Kovacs awarded ERC´s Proof of Concept Grant

From a research project to a software startup in Austria