Meetings/Workshops on Scientific Computing and Data Science in Israel

Select a location
1
ITP — 13th International Conference on Interactive Theorem Proving
31 Jul 2022 - 12 Aug 2022 • Haifa, Israel
Organizer:
FLoC 2022
Abstract:
The ITP conference series is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics. ITP 2022 is the thirteenth conference on Interactive Theorem Proving. It will be part of the Federated Logic Conference (FLoC). It will take place in Haifa, Israel, July 31 – August 12, 2022.
Event listing ID:
1448932


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 14 October 2021