[ecoop-info] Final CfP: Doctoral Symposium of FM 2015

[Announcements of FME events]

************************************************************
Doctoral Symposium of Formal Methods 2015

22 June 2015, Oslo, Norway

Final Call for Papers

http://fm2015.ifi.uio.no/fm-2015-doctoral-symposium/
************************************************************

----------------------
Important Dates
----------------------
Submission: 20 March 2015
Notification: 3 April 2015
Doctoral Symposium: 22 June 2015

----------------------
Invited Talk:
----------------------
Invited talk by Stijn de Gouw (CWI) on proving that Android’s, Java’s and Python’s 
sorting algorithm is broken (and showing how to fix it):
http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/

----------------------
Goals and Scope
----------------------
A Doctoral Symposium will be held on 22 June in conjunction with the 20th
International Symposium on Formal Methods, which will take place in Oslo,
Norway, from 22 to 26 June 2015. This 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.

----------------------
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.

----------------------
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=dsfm2015

(Note that this is not the main FM2015 EasyChair page.)

Further information about the FM2015 Symposium is available at:
http://fm2015.ifi.uio.no

Enquiries about the Doctoral Symposium should be addressed to
Bernhard Aichernig via:
mailto:aichernig at ist.tugraz.at

----------------------
Organisation
----------------------
Chairs:
Bernhard K. Aichernig, TU Graz, Austria
Alessandro Rossini, SINTEF, Oslo, Norway

Program Committee:
Bernhard K. Aichernig, Graz University of Technology, Austria (co-chair)
Ana	Cavalcanti, University of York, UK	
Juan De Lara, Universidad Autonoma de Madrid, Spain	
Zinovy Diskin, McMaster University & University of Waterloo, Canada	
Reiner Hähnle, Technical University of Darmstadt, Germany	
Peter Gorm Larsen, Aarhus University, Denmark	
Yang Liu, Nanyang Technological University, Singapore	
Shaoying Liu, Hosei University, Japan	
Cesar Munoz, NASA, USA	
Alessandro Rossini, SINTEF, Norway (co-chair)
Augusto	Sampaio, Federal University of Pernambuco, Brazil	
Cristina Seceleanu, Mälardalen University, Sweden	
Emil Sekerinski, McMaster University, Canada	
Graeme Smith, University of Queensland, Australia	
Meng Sun, Peking University, China	
Elena Troubitsyna, Aabo Akademi, Finland	
Margus Veanes, Microsoft Research, USA
Uwe Wolter, University of Bergen, Norway
Huibiao Zhu, East China Normal University, China


Dr. Bernhard K. Aichernig, Associate Professor (ao. Univ.-Prof.), IST, TU Graz
http://aichernig.blogspot.com

Don't miss ICST 2015 in Graz: http://icst2015.ist.tugraz.at 







_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events