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
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.
DEADLINE EXTENSION – Call for Nominations: VCLA International Student Awards 2021
Deadline Extension: May 7, 2021 (anywhere on Earth)
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.
4th Helmut Veith Stipend recipient announced
It is our pleasure to announce Daniela Martinez Duarte as the fourth recipient of the Helmut Veith Stipend
