Author Guidelines

AbstractsFull paperPresentation
Papers400/500 words4000/5000 words*20 minutes
Final year students / posters1500 words15 minutes

*does not include the abstract, references or aknowledgements.

Submitting your Paper

  1. Login to your EASYCHAIR account.
  2. Find you 6FMA submissions by clicking on the “My Submissions” tab at the top of the page.
  3. Add a new file by clicking on the “Add file” option on the top right corner of the page. Please read the Author Instruction Manual below and download the macros document.
Instruction Manual
Macros

Additionally, you should fill in the following agreements and send it to the symposium’s email: formalmethods2022@gmail.com

Rights Agreement
Springer Agreement

Registering for the Symposium

  1. Visit the UDC WEBSITE.
  2. Fill the PRE-REGISTRATION form and follow the available guidelines.

Contacts

If you have any questions, please do not hesitate to contact us at formalmethods2022@gmail.com.