CFP: Formal Methods 2016 - Doctoral Symposium - Deadline extended to Aug. 1
CALL FOR PAPERS - Deadline Extended to Aug. 1
Formal Methods 2016 - Doctoral Symposium
In conjunction with the 21st Symposium on Formal Methods
Limassol, Cyprus | November 8th, 2016 | http://fm2016.cs.ucy.ac.cy/cfpdoctoralsymposium.html
GOALS AND SCOPE
A Doctoral Symposium will be held on 8 November in conjunction with the 21st International Symposium on Formal Methods which will take place in Limassol, Cyprus, from 7 to 11 November 2016. 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 and we plan to publish a proceedings containing the research abstracts in CEUR-WS.
RESEARCH ABSTRACTS
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:|
(a) the problem being addressed and/or
(b) 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. A proceedings with the research abstracts will be published in CEUR-WS.
INVITED SPEAKER
John Fitzgerald, Newcastle University
IMPORTANT DATES
- Submission deadline (EXTENDED): August 1st, 2016 (AoE)
- Notification: September 9th, 2016
- Doctoral Symposium: November 8th, 2016
HOW TO SUBMIT
Please upload a PDF version of your Research Abstract, including your name, affiliation, and email address to:
https://easychair.org/conferences/?conf=fm2016
(select "FM 2016 Doctoral Symposium" when adding a new submission)
DOCTORAL SYMPOSIUM WEBSITE
http://fm2016.cs.ucy.ac.cy/cfpdoctoralsymposium.html
ORGANISATION
CHAIRS:
- Andrew Butterfield, Trinity College Dublin
- Matteo Rossi, Politecnico di Milano
PROGRAM COMMITTEE
- Bernhard Aichernig, TU Graz
- Nikolaj Bjorner, Microsoft Research
- Andrew Butterfield, Trinity College Dublin (co-chair)
- Ana Cavalcanti, University of York
- Chryssis Georgiou, University of Cyprus
- Jan Friso Groote, TU Eindhoven
- Cliff Jones, Newcastle University
- Peter Gorm Larsen, Aarhus University
- Elizabeth Leonard, Naval Research Laboratory
- Zhiming Liu, Southwest University, Chongqing
- Dominique Mery, Universite de Lorraine
- Cesar Munoz, NASA
- Matteo Rossi, Politecnico di Milano (co-chair)
- Maurice Ter Beek, ISTI-CNR
- Stefano Tonetta, Fondazione Bruno Kessler
- Elena Troubitsyna, Aabo Akademi
- Jaco van de Pol, University of Tewnte
- Martin Steffen, University of Olso