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…
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.
World Logic Day Lecture: Moshe Y. Vardi
On 14 January 2022, we celebrated the international World Logic Day virtually with the Vienna Center for Logic and Algorithms (VCLA) at TU Wien and the Logic community from the city of Kurt Gödel, Ludwig Wittgenstein, and the Vienna Circle.
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…
Shqiponja Ahmetaj receives FWF & Internet Foundation ”netidee SCIENCE 2021” funding
For her project “FRESH”, Shqiponja Ahmetaj, member of our research group Knowledge-Based Systems, received this year’s “netidee Science” funding, a cooperation between the Internet Foundation Austria and the FWF. Aim of the funding programme “netidee” is the further development of…
Call for Applications: Helmut Veith Stipend for Women in Computer Science
The Call for 2021 is already closed! Deadline: November 30, 2021: The VCLA invites motivated and outstanding female students in the field of computer science (CS)
Talk: Lutz Strassburger
Lutz Strassburger, Research Director at Inria Research Centre Saclay – Île-de-France and Laboratoire d’Informatique (LIX). Abstract: In this talk I will discuss the problem of proof identity, and then give a gentle introduction to combinatorial proofs for first-order logic. I will also investigate the relationship…
Talk: Hans van Ditmarsch
Hans van Ditmarsch, Open University, the Netherlands ABSTRACT The following riddle that came to me by way of the well-known computer scientist Moshe Vardi, was spreading like wildfire while I was teaching at the logic summer school ESSLLI 2003 in…
Ada Lovelace Day
Celebrating Women in STEM: International Ada Lovelace Day on October 12, 2021.