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

Job opportunity: Project Manager (m_f) @ VCLA

 

At the Institute of Logic and Computation, in the Research Unit of Formal Methods in Systems Engineering TU Wien is offering a position as Project Manager (m_f) limited to 3 years for 20 hours/week. Expected start: May 2022.

Apply here: https://tuwien.bewerberportal.at/Job/180634

 

Tasks:

Project management and communication of the Vienna Center for Logic and Algorithms (vcla.at)
Organization of public and […]

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.

World Logic Day Lecture: Moshe Y. Vardi

Friday, January 14, 2022

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

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 the internet in Austria with open source projects.
From 114 applications, the jury chose 12 projects […]

Call for Applications: Helmut Veith Stipend for Women in Computer Science

Tuesday, November 30, 2021

Ada Lovelace Day

Celebrating Women in STEM: International Ada Lovelace Day on October 12, 2021.