TU Wien Informatics

2020

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

2019

Dec 2019

Sep 2019

Jul 2019

Jun 2019

May 2019

Apr 2019

Mar 2019

Feb 2019

Jan 2019