[Hol-info] ITP 2022: Call for Participation

[Leonardo de M. <leo...@mi...>]

Call for Participation

The International Conference on Interactive Theorem Proving (ITP 2022) will take place on August 7-10, 2022 in Haifa, Israel. It will be part of FLoC 2022 https://floc2022.org/<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Ffloc2022.org%2F&data=04%7C01%7Cleonardo%40microsoft.com%7Cb4cc4f25d37244c4c79e08d98c3ffbdf%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637695028744141024%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=hQhaJPnq%2BbrB22IYryS5UoMiVP54QXI5N6qHD9Ebeds%3D&reserved=0>.

FLoC2022 will be a physical conference. The FLoC organizing committee will make every possible effort to ensure everyone is able to attend in person. They are, however, very much aware that there might be members of the community who cannot travel to Israel.

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. This will be the 13th conference in the ITP series, while predecessor conferences from which it has evolved have been going since 1988.


Registration


You can register for ITP 2022 using the FLoC 2022 registration page.


https://www.floc2022.org/registration

Invited Speakers
Amy Felty<https://www.site.uottawa.ca/~afelty/>, School of Electrical Engineering and Computer Science (EECS), University of Ottawa
Bohua Zhan<https://lcs.ios.ac.cn/~bzhan/>, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Conference Website

https://itpconference.github.io/ITP22/<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fitpconference.github.io%2FITP22%2F&data=04%7C01%7Cleonardo%40microsoft.com%7Cb4cc4f25d37244c4c79e08d98c3ffbdf%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637695028744150977%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=Yt1AEvO6endAnovamaQbAmYcO4CILppILkGBcLuYfew%3D&reserved=0>