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

Program

We are pleased to announce the invited speakers at DL 2022 and the full program.

Full program

See the DL 2022 section of the FLoC'22 program at EasyChair.

Invited talks

Thomas Eiter's photo

Thomas Eiter

TU Wien, Austria

Hybrid Answer Set Programming: Opportunities and Challenges

Joint DL+NMR invited talk

Aug 7 at 14:00

Abstract…

Aarti Gupta's photo

Aarti Gupta

Princeton University, NJ, US

SMT-based Verification of Distributed Network Control Planes

FLoC Plenary

Aug 9 at 16:30

Abstract…

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

Aug 7 at 11:00

Abstract…

Pierre Marquis's photo

Pierre Marquis

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

Rectifying Classifiers

EurAI joint DL+NMR invited talk

Aug 8 at 09:00

Abstract…

Sebastian Rudolph's photo

Sebastian Rudolph

Technische Universität Dresden, Germany

Charting the Borderland – Decidability in Description Logics and Beyond

Aug 9 at 11:00

Abstract…

Renate A. Schmidt's photo

Renate A. Schmidt

University of Manchester, UK

Knowledge Extraction Based on Forgetting and Subontology Generation

Aug 10 at 09:00

Abstract…

© DL Organizers 2022