SHORT BIO: Emiliano Lorini is a senior researcher (“directeur de recherche”) at the Centre National de la Recherche Scientifique (CNRS), co-head of the LILaC team (Logic, interaction, language and computation) at the Institut de Recherche en Informatique de Toulouse (IRIT). The general…
Short Bio: Valeria de Paiva is a mathematician, logician, and AI scientist, working on natural language processing, logical inference, and all kinds of semantics, especially Dialectica categories. Before Topos, Valeria worked at top industry NLP labs, including Samsung Research America,…
The VCLA invites applications for the Helmut Veith Stipend from motivated and outstanding female master’s students who plan to pursue one of the programs in Computer Science at TU Wien taught in English in one of the following semesters: –…
On January 19, 2024, we hosted an “Industry Day” for our doctoral college LogiCS@TUWien so that our PhD students could discuss their projects with external guests. Event Program 8.30 – 9.00 Welcome coffee / registration 9.00 – 9.30 Stefan Szeider…
It’s ballroom dancing season again! The Vienna Ball of Sciences 2024 was held on Saturday, January 27, at Vienna’s city hall (Rathaus). As part of the many attractions of the event, ball guests were again asked to put their logic…
The Trustworthy Cyber-Physical Systems Group at TU Wien is seeking a candidate for a PhD research position (four years, 30hours/week) or a postdoctoral research position (two years, 40hours/week), starting as soon as possible. The successful applicant will carry out his/her…
On 12 January 2024, we invited you to celebrate the international World Logic Day virtually with the Vienna Center for Logic and Algorithms (VCLA) at TU Wien and the Logic community from the city of Kurt Gödel, Ludwig Wittgenstein, and the…
This is a translation of an article that was published in the Austrian newspaper Kurier on November 25, 2023. By now, robots and similar systems are making their own decisions, but which ones are these? “As an AI model,…
Petra Mutzel is professor of Computational Analytics at the University of Bonn, where she is also the scientific director of the High Performance Computing and Analytics Lab at the Digital Science Center. She received her Ph.D. in Computer Science at…
The VCLA invites applications for the Helmut Veith Stipend from motivated and outstanding female master’s students who plan to pursue one of the programs in Computer Science at TU Wien taught in English in one of the following semesters: –…
