[Hol-info] ITP / FLOC 2018 workshop application deadline

[Jeremy A. <av...@cm...>]

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