Communications Newsroom Contact Subscribe Newsletter News Feed Calendar Feed Social Media Newsroom Talk Any Tag Award Call for Applications Conference Digital Humanism Open Position People Public Lecture Studies Talk Workshop 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 3 results / Reset Filter 2020 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). 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. Talk Incompressible Image Registration 2020-02-19 Lucas Fidon (KCL) talks about stationary velocity fields (SVFs) parameterized by divergence-conforming B-splines in the context of image registration.
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).
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.
Talk Incompressible Image Registration 2020-02-19 Lucas Fidon (KCL) talks about stationary velocity fields (SVFs) parameterized by divergence-conforming B-splines in the context of image registration.
