[FM-India] ICFEM 2019: doctoral symposium

Étienne André Andre.Etienne at lipn13.fr
Tue May 7 22:16:27 IST 2019

 ICFEM 2019
 *Doctoral symposium*
 Shenzhen, China
 November 5th-9th, 2019

The ICFEM 2019 Doctoral Symposium is an international forum for PhD
students working in all areas related to formal methods. The technical
scope of the symposium is that of ICFEM.

The goals of the symposium are:

- To facilitate networking within the scientific community by bring
together PhD students and established researchers in the formal methods
- To enable PhD students to interact with other fellow PhD students and
to stimulate exchange of ideas, suggestions, and experiences among
- To provide PhD students an opportunity to present, share, and discuss
their research in a constructive and critical atmosphere.
- To provide PhD students with fruitful feedback and advice on their
research approach.

We seek PhD students who have either determined the direction of their
thesis research (probably with some preliminary results already
published), but who still have substantial work to complete, or PhD
student participants who are in the early stages of their dissertations.
It is not required to have a paper accepted for the main conference in
order to participate to the ICFEM 2019 Doctoral Symposium.

The Doctoral Symposium papers will be published in Springer in the LNCS
volume as part of the main ICFEM 2019 proceedings.

# Submission Details:

Papers should be written in English and not exceed 4 pages in LNCS
format (see http://www.springer.de/comp/lncs/authors.html for details).
Preferably, submissions should include: Title of the paper and the
author name; Problem statement, motivations, and progress; Current
development and related work; Proposed solutions, approach and
methodology, and their significance; Current results and assessment;
Future work. The paper should be submitted in PDF format via easychair
(https://easychair.org/my/conference?conf=icfem2019) selecting the
“ICFEM 2019 Doctoral Symposium” track.

# Important Dates:

Deadline for submission: July 12th, 2019
Notification: July 20th, 2019
Camera-ready: July 26th, 2019

** An event referenced on https://www.conferences-computer.science/ **

More information about the FMIndia mailing list