19th International Symposium on Formal Methods


A Doctoral Symposium will be held on 12-13th May in conjunction with the FME Symposium FM2014 which will take place in National University of Singapore. This aims to provide a helpful environment in which selected doctoral students can present and discuss their ongoing work, meet other students working on similar topics and receive helpful advice and feedback from a panel of researchers and academics.

If you are a PhD student researching any topic that falls within the area of formal methods, you are warmly invited to submit a Research Abstract for consideration to be selected as a participant. Research Abstracts should be no more than 5 pages including references in LNCS format, though any recognised format is acceptable for the initial submission.

Your Research Abstract should:

  1. Outline the problem being addressed, its relevance, the solution you are working on, your research approach (such as your research method) and your expected contribution.
  2. Contain a very brief literature survey indicating the most important references related to (a)the problem being addressed and/or (b)existing solutions as appropriate.
  3. Indicate your progress to date and the current stage of research.

The Abstract should be written by yourself as sole author, but should include references to any papers you have already published, including joint publications with your supervisor.

How to Submit

Please upload a pdf version of your Research Abstract, including your name, affiliation and email address to easychair.

Important Dates

  • Submission by Monday 26th February 2011
  • Notification on Wednesday 22th March 2014
  • Doctoral Symposium on 12-14 May, 2014

Further enquiries can be addressed to the Doctoral Symposium chairs at anabel at ics.mq.edu.au.