Email Gateway (Aug 22 2022 at 15:37): Email Gateway (Aug 22 2022 at 15:37):From: Jeremy Avigad <avigad@cmu.edu>
Friends,
In 2018, Interactive Theorem Proving (ITP) will be held on July 9-12 in
Oxford, UK as part of the the Federated Logic Conference (FLOC):
http://www.floc2018.org/
http://www.floc2018.org/wp-content/uploads/2017/01/FLoC-2018-poster.pdf
The reason for this early announcement is that the deadline for workshop
proposals is next Monday, July 19:
http://www.floc2018.org/workshops/
Applications are made to the FLOC organizing committee, but you have to
list an affiliated conference. We would welcome any ITP affiliated
workshops; so if you are interested in organizing one, please let us know.
Best wishes,
Jeremy Avigad and Assia Mahboubi
Program Committtee Chairs, ITP 2018
Last updated: Nov 21 2024 at 12:39 UTC