DL 2022 DL 2022
  • Home
  • Dates
  • Papers
    • Call for papers
    • Submissions
  • Program
    • Invited talks
  • Attend
    • Visa & Invitations
    • Local information
    • Accommodation
    • FLoC 2022
    • Covid-19 information
  • Students
  • Organization

Program

We are pleased to announce the invited speakers at DL 2022. More details on program will be available after submitted papers are reviewed.

Invited talks

Aarti Gupta's photo

Aarti Gupta

Princeton University, NJ, US

FLoC Plenary

Ziyad Hanna's photo

Ziyad Hanna

Cadence Design Systems, CA, US & The University of Oxford, UK

Harnessing the Power of Formal Verification for the $Trillion Chip Design Industry

FLoC Keynote

Pierre Marquis's photo

Pierre Marquis

CRIL-CNRS/Université d’Artois, Lens, France

Rectifying Classifiers

EurAI invited talk for DL+NMR

Abstract…

Sebastian Rudolph's photo

Sebastian Rudolph

Technische Universität Dresden, Germany

Charting the Borderland – Decidability in Description Logics and Beyond

Abstract…

Renate A. Schmidt's photo

Renate A. Schmidt

University of Manchester, UK

Knowledge Extraction Based on Forgetting and Subontology Generation

Abstract…

© DL Organizers 2022