A Doctoral Symposium will be held on the 7th October in conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods which will take place in Porto, Portugal, from 7 to 11 October 2019.
Doctoral Symposium Chairs
Goals and Scope
This symposium aims to provide a helpful environment in which selected PhD 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.
There will be a best presentation award. Scholarships for attendance will also be available.
Research Abstracts should be no more than 4 pages in LNCS format. Your Research Abstract should:
- 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.
- Contain a very brief literature survey indicating the most important references related to:
- the problem being addressed and/or
- existing solutions as appropriate.
- Indicate your progress to date and the current stage of research.
The Research 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.
- Submission deadline: June 10, 2019
- Notification: July 5th, 2019
How to Submit
Please upload a PDF version of your Research Abstract, including your name, affiliation, and email address to:
- Ana Cavalcanti – University of York
- André Platzer – Carnegie Mellon University
- Alessandro Fantechi – Universita’ degli Studi di Firenze
- Carlo A. Furia – Università della Svizzera Italiana
- Dalal Alrajeh – Imperial College
- Einar Broch Johnson – University of Oslo
- Elvira Albert – Universidad Complutense de Madrid
- Jaco van de Pol – University of Twente
- Matteo Rossi – Politecnico di Milano
- Stefania Gnesi – ISTI-CNR
- Stephan Merz – INRIA Nancy