35th International Workshop on Description Logics

The DL workshop is the major annual event of the description logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

The 35^th edition will be held at the Technion campus in Haifa, Israel from August 7^th to August 10^th, 2022. It will be co-located with a number of events as part of FLoC 2022 (including KR & NMR 2022). For more information see:

FLoC 2022 – Federated Logic Conference
KR 2022 – 19th International Conference on Principles of Knowledge Representation and Reasoning
NMR 2022 – 20th International Workshop on Non-Monotonic Reasoning

Invited talks

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

Princeton University, NJ, US

SMT-based Verification of Distributed Network Control Planes

FLoC Plenary

Aug 9 at 16:30

Abstract…

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

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

Rectifying Classifiers

EurAI joint DL+NMR invited talk

Aug 8 at 09:00

Abstract…

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

University of Manchester, UK

Knowledge Extraction Based on Forgetting and Subontology Generation

Aug 10 at 09:00

Abstract…

Important dates

~~Apr 23~~ Apr 30	Paper registration & abstract
~~Apr 30~~ May 7	Paper submission
May 14	Fast-track notification of acceptance
May 27	FLoC student volunteer program application deadline
June 3	FLoC student volunteers notification
Jun 8	Notification of acceptance
Jun 12	DL student grant application deadline
Jun 19	DL student grant notification
Jun 20	Camera-ready version due
Jun 20	Early registration via FLoC'22 registration
Jul 20	Regular registration via FLoC'22 registration
Aug 7–10	DL workshop

Learn more

Organization

General Chair: Jean Christoph Jung

PC Co-Chairs: Martin Homola and Marie-Laure Mugnier

Local Chair: Ofer Arieli

Publicity Co-Chairs: Ján Kľuka and Júlia Pukancová

Organizers and PC details…

Partners

Journal of Artificial Intelligence

European Association for Artificial Intelligence