Ada Lovelace Day

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

Kick-Off Event: MSCA Cofund LogiCS@TUWien PHD School

On October 1, 2021 we were celebrating the official launch of our MSCA COFUND doctoral programme LogiCS@TU Wien.

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.

Logic Lounge with Joscha Bach

Thursday, July 22, 2021 at 11am-12pm PDT – 8pm – 9pm CEST (Vienna)

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.

A Lecture on Algorithms at the Austrian Parliament

As part of the TU Wien collaboration “Digitale Kompetenzen@Parlament”, several exclusive lectures by TU Wien Informatics top computer scientists will be held for Members of the Austrian Parliament.

Three “Sub auspiciis” promotions for Logic and Computation-Alumni

On June 14, 2021 three Alumni of the TU Wien Informatics Institute of Logic and Computation were awarded the Promotio Sub Auspiciis Praesidentis Rei Publica.

5th Helmut Veith Stipend recipient announced

It is our pleasure to announce Anna Baghumayn as the fifth recipient of the Helmut Veith Stipend

Marcel Moosbrugger receives the City of Vienna Diploma Thesis Award

On May 17, 2021 Marcel Moosbrugger from our research unit Formal Methods in Systems Engineering, was awarded the City of Vienna Award 

Read More

Alonzo Church Award for VCLA board members Georg Gottlob and Reinhard Pichler

The winners of the Alonzo Church Award 2021: Georg Gottlob, Christoph Koch, Reinhard Pichler, Klaus U. Schulz and Luc Segoufin

Alonzo Church Award 2021 Winners

The ACM Special Interest Group for Logic and Computation (SIGLOG), the  European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS) have announced […]

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

Tuesday, November 30, 2021

Obituary Edmund M. Clarke

We are deeply saddened by the loss of Edmund M. Clarke,
who passed away in December 2020.

15 Accepted papers at the AAAI 2021 – Conference on Artificial Intelligence

15 research papers from our research groups have been accepted in the main technical track of the 35th AAAI Conference on Artificial Intelligence AAAI 2021,

Vienna World Logic Day Lecture

On 14 January 2021, you are cordially invited to celebrate the World Logic Day digitally with the community from the city of Kurt Gödel, Ludwig Wittgenstein, and the Vienna Circle.

Third ERC Grant for Laura Kovács

High-gain/high-risk project ARTIST aims to prevent software errors by turning the first-order theorem proving into an alternative, yet powerful approach to ensuring software reliability.