ILOAF: Dov Gabbay Prize for Logic and Foundations

On the occasion of Professor Dov Gabbay’s 77th birthday, the Logic and Foundations Initiative (ILOAF) has launched the Dov Gabbay Prize for Logic and Foundations. Dov Gabbay is known in particular for his creation of dozens of specialized Logic Handbooks.

Call for Nominations:
Nominate an outstanding researcher in Logic and Foundations, including Mathematical, Philosophical, and Computational […]

Helmut Veith Stipend Award Ceremony

held during workshop LogiCS / UnRAVeL

As we have unfortunately not been able to hold an award ceremony for the winners of the Helmut Veith Stipend in the past few years due to COVID-19, the Vienna Center for Logic and Algorithms (VCLA) organized an official ceremony for the winners of 2019-2021 on November 4, 2022. The […]

Talk: Ran Gelles

Distributed Computations in Fully-Defective Networks
Thursday, November 24, 2022 at 16:15

Computer Science: A Problem Solver’s Paradise

Viktoriia Korchemna

Viktoriia Korchemna, a prae-doc researcher at the Institute of Logic and Computation of TU Wien and winner of the 2018 Helmut Veith Stipend, provides an insight into her life as a young computer scientist.

Studying Logic and Computation in Austria wasn’t Viktoriias plan, “it just happened”. When finishing her bachelor studies of theoretical […]

Vienna Science Festival

The Vienna Science Festival took place at Vienna city hall from September 9-11, 2022. At station 33 in the hall’s courtyard, a fun activity was waiting for visitors of all age groups.

The sorting network works in the following way: Every participant steps on one of the orange squares (the input nodes) and receives a card […]

VCLA celebrates its 10-year-anniversary!

The Vienna Center for Logic and Algorithms (VCLA) was founded in September 2011 and officially opened in January 2012. During the international symposium on Mathematical Foundations of Computer Science (MFCS) in August 2022, the center seized the opportunity to celebrate its 10-year-anniversary with the audience of the conference as well as VCLA board members.

The celebration […]

Talk: Hans van Ditmarsch

Reasoning about Gossip
Wednesday, May 25, 2022 at 17:00

Hackathon #4GoodAI 2022 Winners Announced!

The winners of the 4th edition of our popular “Hackathon #4GoodAI” have been announced on ada.wien.

From 2nd to 16th March pupils from all over Austria participated in creating a chatbot with Scratch (or a different programming language) on the topic of “Fake News”. The chatbot should help family and friends to recognize and expose fake […]

Lara Spendier receives 2022 TU Women’s Award

On 2 March 2022, Lara Spendier was honored with the seventh TU Women’s Award, which was for the second time awarded to an exceptional woman in IT.
The TU Women’s Award honors alumnae who strive for a social, economic, or scientific impact on society through their professional lives. Rector Sabine Seidler and Vice-Rector Anna Steiger […]

World Logic Day Lecture: Moshe Y. Vardi

From Greek Paradoxes to Political Paradoxes
Friday, January 14, 2022 at 17:00