Full papers will be published in conference proceedings. Only papers formatted according to the guidelines can be accepted for publication.

Registration for Abstracts opening - July 9,  2017
Deadline for Abstracts delivery - October 1, 2017
Selected texts list - November 1, 2017
Deadline for full text delivery - February 10, 2018
Final paper submission - March 1, 2018

Abstracts must be prepared in English only, and sent until the 1 October 2017 in DOC, DOCX or editable PDF. to the following e-mail: arch.formalmethods@gmail.com

Papers must be prepared in English only, and sent until the 1 February 2018 in DOC, DOCX or editable PDF. to the following e-mail: arch.formalmethods@gmail.com