Helmut Veith Stipend: Announcement

It is our pleasure to announce Alina Ehart as the seventh recipient of the Helmut Veith Stipend for Female Master’s Students in Computer Science, submission period November 2022.

 

 

Alina has a Bachelor’s degree in Applied Computer Science with a focus on cyber security from Alpen-Adria-Universität Klagenfurt. Due to her previous studies of information technology at HTBLuVA […]

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

VCLA International Student Awards 2023 – Announcement

The 7th edition of the VCLA International Student Awards 2023 was concluded in June. Based on the international call for (self-)nominations, the award committee consisting of seventeen internationally recognized researchers announced one Outstanding Master Thesis Award and one Outstanding Undergraduate Research Award. As the decision on the Master Thesis Award was a close call, there […]

Tobias Geibinger receives an ASAI Master Thesis Award

Tobias Geibinger

Tobias Geibinger, an affiliated PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, received one of the ASAI Master Thesis Awards for his thesis Investigating Constraint Programming and Hybrid Answer-set Solving for Industrial Test Laboratory Scheduling.

In his Master’s Thesis supervised […]

LogicLounge 2023: What is the nature of ChatGPT?

At LogicLounge 2023, renowned computer scientists Carla Gomes and Bart Selman from Cornell University (Ithaca, NY) explored the connections between Wittgenstein, Gödel, and ChatGPT. The discussion, which was held at a Viennese café on June 6, attracted great interest and led to a lively exchange between researchers and laymen from different fields.

 

Sarah Kriesche (moderator), Bart […]

Helmut Veith Stipend – apply now!

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 for the current call is November 30, 2023. Apply […]

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