Nov 2020

• Jobs: PreDoc and PostDoc Positions in Parallel Computing
  Nov 26, 2020 Open Position, Research, Doctoral School We are looking for candidates for a predoc and a postdoc position in Parallel Computing.
• Ten Challenges for Deontic Logic in AI
  Nov 3, 2020 Public Lecture, Talk, Event, AI, Doctoral School The Vienna PhD School of Informatics invites to a talk by Leon van der Torre (University of Luxembourg).

Sep 2020

• Guest Professors in the Winter Term 2020
  Sep 30, 2020 Doctoral, 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.

Jul 2020

• Doctoral College for Secure and Intelligent Human-Centric Digital Technologies
  Jul 13, 2020 Research, News, Excellence, Doctoral School With a new interdisciplinary doctoral college, we establish synergies across three different faculties and three research fields.

Mar 2020

• The Power of Satisfiability Checking
  Mar 4, 2020 Talk, 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.