Paper Submission (June 19)
Completion requirements
Opened: Wednesday, 7 November 2018, 12:00 AM
Due: Wednesday, 19 June 2019, 11:59 PM
- The paper is submitted as a single PDF file.
- It is written in English.
- It is typeset in the Springer LNCS LaTeX style.
- It has 6-8 pages; additionally it may contain an appendix with the complete formal model in an appropriate format.
- It has an abstract, introduction, conclusions, and references.
- Its core describes the formal model you have elaborated.