[DL] DL2022 Call for Participation

Júlia Pukancová pukancova at fmph.uniba.sk
Mon Jul 18 22:06:15 CEST 2022


CALL FOR PARTICIPATION

35th International Workshop on Description Logics, DL 2022

August 07-10, 2022 - Haifa, Israel

http://dl.kr.org/dl2022

Part of the Federated Logic Conference (FLoC, https://www.floc2022.org/)

REGISTRATION NOW OPEN

  To register visit https://www.floc2022.org/registration and choose the
2nd week of FLoC

DL 2022 will feature exiting INVITED TALKS

* Hybrid Answer Set Programming: Opportunities and Challenges – Thomas
Eiter, TU Vienna, Austria (joint with NMR’22)

* Rectifying Classifiers – Pierre Marquis, Université de Artois, France
(joint with NMR’22)

* Chartering the Borderland: Decidability in Description Logics – Sebastian
Rudolph, TU Dresden, Germany

* Knowledge Extraction Based on Forgetting and Subontology Generation –
Renate A. Schmidt, University of Manchester, UK

* Harnessing the Power of Formal Verification in the $Trillion Chip Design
Industry – Ziyad Hanna, Cadence Design Systems and Oxford University, UK
(FLoC Keynote)

* SMT-Based Verification of Distributed Network Control Planes – Aarti
Gupta, Princeton University, USA (FLoC Plenary)


PROGRAM

  DL 2022 will run from 07 August 9:00 in the morning until 10 August in the

  afternoon. A preliminary schedule is now available on

      https://easychair.org/smart-program/FLoC2022/DL-index.html

  DL attendees will have the opportunity to visit several other conferences
on different aspects of logic: CAV, CSF, IJCAR, NMR, and ITP, see
https://www.floc2022.org/program.

ATTENDING

  For more information about attending DL 2022 visit http://dl.kr.org/dl2022

INFORMATION REGARDING INVITATION LETTERS AND VISAS

  Can be found here: https://www.floc2022.org/visa-info

COVID INFORMATION

Given the very favorable situation regarding Covid-19, FLoC has decided to
run purely in person. Still, we advise everyone to consider the Covid-19
information regarding local regulations and conditions provided under
https://www.floc2022.org/covid-19.


The DL 2022 Organizing Committee is Looking Forward to Meeting You in Haifa!

Martin Homola, Marie-Laure Mugnier (PC co-chairs)

Ofer Arieli (Local Chair)

Jean Christoph Jung (General Chair)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20220718/0ac7ce34/attachment.htm>


More information about the dl mailing list