TU Wien Informatics


Nov 2020

  • Nov 3, 2020 Public Lecture, Talk, Event, PhD School The Vienna PhD School of Informatics invites to a talk by Leon van der Torre (University of Luxembourg).

Mar 2020

  • Mar 4, 2020 Talk, PhD School Erika Ábrahám (RWTH) gives a historical overview of this development, describes her own solver SMT-RAT, and discusses some applications and potentials.

Feb 2020