• World Logic Day Lecture: Adnan Darwiche

    Beyond truth and falsehood: Logic as a Calculus of Events
    Friday, January 12, 2024 at 17:00

    Read More
  • Artificial Intelligence: Ethics Lessons for AI Systems

    This is a translation of an article that was published in the Austrian newspaper Kurier on November 25, 2023.

     

    By now, robots and similar systems are making their own decisions, but which ones are these?

    “As an AI model, I have no personal opinion, conviction or emotions,” writes a well-known AI-based text program in response to the […]

    Read More
  • Talk by Petra Mutzel: Algorithmic Data Science on Graphs

    Algorithmic Data Science on Graphs
    Thursday, November 16, 2023 at 13:15

    Read More
  • Helmut Veith Stipend – Deadline Nov 30!

    The VCLA invites applications for the Helmut Veith Stipend from motivated and outstanding female master’s students who plan to pursue one of the programs in Computer Science at TU Wien taught in English in one of the following semesters:

    – winter semester 2023/2024

    – summer semester 2024

    The deadline of the current call is November 30, 2023. Don’t […]

    Read More
  • VCLA participates in FFG-funded project “Transformer”

    The Vienna Center for Logic and Algorithms (VCLA) will participate in the project “Transformer”, which has received approval following the FFG call Co-Creation Spaces Climate & Energy. For this project, six faculties of TU Wien will team up to offer extracurricular learning opportunities with a focus on the environment. Children and teenagers will actively participate […]

    Read More
  • Call for Applications: 2 PhD Positions

    Two PhD positions are available within (1) the Institute of Logic and Computation (Agata Ciabattoni, TU Wien, Vienna), and (2) the research group Logic in Philosophy and Artificial Intelligence (Christian Straßer, Ruhr-University Bochum).

    We are seeking two exceptionally talented and motivated students.  The positions are embedded in the LoDEx project (Logical Methods for Deontic Explanations), a […]

    Read More
  • European Researchers Night: School Workshops

    On September 29, the Vienna Center for Logic and Algorithms (VCLA) together with TU Wien Informatics eduLAB held workshops on computer science for elementary school children at the University of Applied Arts Vienna as part of the European Researchers Night.

    The workshops started with a discussion of the words informatics and algorithms. The instructor would ask […]

    Read More
  • VCLA Award Ceremony: Female Computer Scientists in the Spotlight

    On September 26, the Vienna Center for Logic and Algorithms (VCLA) presented the VCLA International Student Awards to the winners of 2023 at an award ceremony that was held at TU Wien. During the ceremony, the Helmut Veith Stipend was also officially awarded to the winner of 2022. For the first time since the awards’ […]

    Read More
  • KR 2023: Best Paper Awards for TU Wien researchers!

    The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) was held in Rhodes, Greece, from Sep 2-8. During the conference, the KR’23 Ray Reiter Best Paper Prize, the Marco Cadoli Distinguished Student Paper Award, and the Best Student Paper Award of the Description Logic Workshop were presented to researchers of TU […]

    Read More

Latest Talks

(» further talks)
Jan
12

World Logic Day Lecture: Adnan Darwiche

Beyond truth and falsehood: Logic as a Calculus of Events
Friday, January 12, 2024 at 17:00

Nov
16

Talk by Petra Mutzel: Algorithmic Data Science on Graphs

Algorithmic Data Science on Graphs
Thursday, November 16, 2023 at 13:15

Oct
18

Talk by Hans van Ditmarsch: Distributed Knowledge Revisited

Distributed Knowledge Revisited
Wednesday, October 18, 2023 at 17:00

Jun
6

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

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

Jan
14

World Logic Day Lecture: Dov Gabbay

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

Nov
24

Talk: Ran Gelles

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