The tutorial has been held in Nanjing, China, from the 27th of August 2015 to the 29th of August 2015, as a companion workshop of the ITP'15 conference.

The tutorial webpage has been archived on the Coq website. The archive contains the tutorial program, along with the slides & exercises that has been used during the lectures.