State of AI in Austria – Triumph or Tragedy?

On June 14, 2023, the Austrian Society for Artificial Intelligence (ASAI) organized a press conference to discuss the state of AI in Austria. VCLA co-chair Agata Ciabattoni and board member Thomas Eiter were among the leading Austrian researchers who offered their view on the current state of affairs.

 

Christoph Lampert, Günter Klambauer, Thomas Eiter, […]

LogicLounge 2023: Exploring Connections: Wittgenstein, Gödel, and ChatGPT

Exploring Connections: Wittgenstein, Gödel, and ChatGPT
Tuesday, June 6, 2023 at 16:00

What is VCLA?

Check out our new video to get an impression of our main activities and objectives! #logic #algorithms
You can watch the video on youtube by clicking on the image below:

Call for nominations: VCLA International Student Awards

The deadline for the Call for Nominations for the seventh edition of the VCLA International Student Awards 2023 has been extended to April 11!

The Vienna Center for Logic and Algorithms at TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the […]

Vienna Ball of Sciences 2023

Saturday, January 28, 2023 at 20:00

World Logic Day Lecture: Dov Gabbay

Logic and argumentation for the 21st century
Saturday, January 14, 2023 at 17:00 CET

Joint workshop of the doctoral colleges LogiCS and UnRAVeL

Thursday, November 3, 2022 – Friday, November 4, 2022

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