Accepted papers are published as a volume of Springer's Lecture Notes in Computer Science (LNCS) series.
The proceedings are available online for PaCT-2017 participants (LNCS vol. 10421).
We also plan to publish selected papers in a special issue of an indexed
international journal as usual for PaCT conference series.