DL 2022 will be held in Haifa, Israel as a part of FLoC 2022 which brings together several leading international conferences related to mathematical logic and computer science.

Detailed information for attendees is published at the FLoC 2022 website and linked below.

Registration

Register to DL via FLoC'22 registration. Early registration ends on June 20th, regular registration ends on July 20th. Walk-in registration is also available.

Read more…

Visa & invitations

Israeli entry/visa requirements and detail on invitation letter requests.

Read more…

Local information

Entry/visa requirements, airport, transport, weather, and more about Haifa and Israel.

Read more…

Accommodation

Recommended hotels and guest houses.

Read more…

Covid-19 information

Covid-19-related regulations and conditions in Israel.

Read more…

FLoC 2022

All about the The Federated Logic Conference 2022, which DL is a part of this year.

Read more…