Nov 2020

• 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).

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.

Feb 2020

• Incompressible Image Registration using Divergence-conforming B-Splines
  Feb 19, 2020 Talk Lucas Fidon (KCL) talks about stationary velocity fields (SVFs) parameterized by divergence-conforming B-splines in the context of image registration.