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…
The aspiration of philosophy can be understood as the integration of all theories, and the aspiration of mathematics as the exploration of all consistent languages. Philosophy starts out with natural languages, mathematics with formal ones. Just as it is hard…
Three post-doc researchers from the Institute of Logic and Computation and all of them graduates of our LogiCS doctoral program
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.
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.
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.
It is our pleasure to announce Anna Baghumayn as the fifth recipient of the Helmut Veith Stipend
On May 17, 2021 Marcel Moosbrugger from our research unit Formal Methods in Systems Engineering, was awarded the City of Vienna Award
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…
We are deeply saddened by the loss of Edmund M. Clarke, who passed away in December 2020.
