We are pleased to announce the invited speakers at DL 2022. More details on program will be available after submitted papers are reviewed.
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