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 

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

Obituary Edmund M. Clarke

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