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:
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.
Please upload a pdf version of your Research Abstract, including your name, affiliation and email address to easychair.
Further enquiries can be addressed to the Doctoral Symposium chairs at anabel at ics.mq.edu.au.