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 […]
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 […]
Ada Lovelace Day
Celebrating Women in STEM: International Ada Lovelace Day on October 12, 2021.
The Awardees of the 2021 VCLA International Student Awards
We celebrate the research capacity of undergraduate students worldwide by introducing them to the broader community in Logic and Computer Science.
Sixth edition of the VCLA International Student Awards 2021
The highly successful sixth edition of the VCLA International Student Awards 2021 was concluded in July 2021. Out of the numerous submissions, one was selected for the Outstanding Master Thesis Award and one for the Outstanding Undergraduate Research Award by a committee consisting of eighteen internationally recognized researchers. The winner’s degrees have been awarded between November […]
Three LogiCS Alumni receive prestigous Hertha Firnberg Fellowship
Three post-doc researchers from the Institute of Logic and Computation and all of them graduates of our LogiCS doctoral program
2021 Bill Mc Cune PhD Award for Jens Pagel
Jens Pagel from our research group Formal Methods in Systems Engineering and Alumnus of the LogiCS doctoral program has been announced as the recipient of the 2021 Bill McCune PhD Award in Automated Reasoning.
