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
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
