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