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 35th edition will be held at the Technion campus in Haifa, Israel from August 7th to August 10th, 2022. It will be co-located with a number of events as part of FLoC 2022 (including KR & NMR 2022). For more information see:
Harnessing the Power of Formal Verification for the $Trillion Chip Design Industry