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.
Invited talks
Aarti Gupta
Princeton University, NJ, US
FLoC Plenary
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
Important dates
| Paper registration & abstract | |
| 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 |
| 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á
