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, […]
Vienna Ball of Sciences 2023
Saturday, January 28, 2023 at 20:00
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 […]
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 […]
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 […]
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 […]
Second Call: 10 PhD Positions for LogiCS@TUWien!
The Second Call for Applications for our new MSCA Cofund PhD School LogiCS@TUWien is now open!
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 […]
School-Hackathon #4GoodAI 2022
The 4th edition of our popular virtual „Hackathon #4GoodAI“ for pupils from all Austrian schools will take place from March 2nd to 16th.
Netidee Stipend 2021 for Pamina Georgiou
Pamina Georgiou, member of our research Group Formal Methods in Systems Engineering, received the Netidee Stipend 2021 for her PhD thesis on: “Automated Software Verification with First-Order Theorem Provers”.
Abstract:
Automating formal methods is an ongoing effort in software verification necessary to conclusively prove that critical software infrastructure is error-free. Applications such as IoT, cloud computing and […]
