Communications Newsroom Contact Subscribe Newsletter News Feed Calendar Feed Social Media Newsroom Doctoral School Any Tag Award Call for Applications Conference Digital Humanism Epilog Grant Open Position People Public Lecture Report Studies Sustainability Talk Vienna Gödel Lecture Workshop Doctoral School Any Kind Any Kind News Only Events Only 2020 Any Year 2024 2023 2022 2021 2020 Show as Cards Show as List Show as Cards 5 results / Reset Filter 2020 Open Position Jobs: PreDoc and PostDoc in Parallel Computing 2020-11-26 Research Doctoral School We are looking for candidates for a predoc and a postdoc position in Parallel Computing. Public Lecture Ten Challenges for Deontic Logic in AI 2020-11-03 Talk Event AI Doctoral School The Vienna PhD School of Informatics invites to a talk by Leon van der Torre (University of Luxembourg). Doctoral Guest Professors, Winter 2020 2020-09-30 Guest Professor Doctoral School Three renowned experts in their fields, professors Tedre, van der Torre, and Stork, will teach as visiting professors in the coming winter term. News Secure and Intelligent Human-Centric Digital Technologies 2020-07-13 Research Excellence Doctoral School With a new interdisciplinary doctoral college, we establish synergies across three different faculties and three research fields. Talk The Power of Satisfiability Checking 2020-03-04 Doctoral School Erika Ábrahám (RWTH) gives a historical overview of this development, describes her own solver SMT-RAT, and discusses some applications and potentials.
Open Position Jobs: PreDoc and PostDoc in Parallel Computing 2020-11-26 Research Doctoral School We are looking for candidates for a predoc and a postdoc position in Parallel Computing.
Public Lecture Ten Challenges for Deontic Logic in AI 2020-11-03 Talk Event AI Doctoral School The Vienna PhD School of Informatics invites to a talk by Leon van der Torre (University of Luxembourg).
Doctoral Guest Professors, Winter 2020 2020-09-30 Guest Professor Doctoral School Three renowned experts in their fields, professors Tedre, van der Torre, and Stork, will teach as visiting professors in the coming winter term.
News Secure and Intelligent Human-Centric Digital Technologies 2020-07-13 Research Excellence Doctoral School With a new interdisciplinary doctoral college, we establish synergies across three different faculties and three research fields.
Talk The Power of Satisfiability Checking 2020-03-04 Doctoral School Erika Ábrahám (RWTH) gives a historical overview of this development, describes her own solver SMT-RAT, and discusses some applications and potentials.