posted by user: zhehou || 2506 views || tracked by 4 users: [display]

Doctorial Symposium - ICFEM 2018 : Doctorial Symposium of International Conference on Formal Engineering Methods

FacebookTwitterLinkedInGoogle

Link: http://www.formal-analysis.com/icfem/2018/
 
When Jul 8, 2018 - Nov 16, 2018
Where Gold Coast, Australia
Submission Deadline Jul 8, 2018
Notification Due Jul 15, 2018
Final Version Due Jul 29, 2018
Categories    formal methods   verification   software engineering   program analysis
 

Call For Papers

http://www.formal-analysis.com/icfem/2018/

The ICFEM PhD Symposium (15 November) 2018 is an international forum for PhD students working in all areas related to formal methods, including but not limited to the following:

Abstraction, refinement and evolution
Formal specification and modelling
Formal verification and analysis
Model checking
Formal approaches to software testing and inspection
Formal methods for self-adaptive systems
Formal methods for object-oriented systems
Formal methods for component-based systems
Formal methods for concurrent and real-time systems
Formal methods for cloud computing
Formal methods for cyber-physical systems
Formal methods for software safety and security
Formal methods for software reliability and dependability
Development, integration and experiments involving verified systems
Formal certification of products under international standards
Formal model-based development and code generation

The goals of the symposium are:

- To bring together PhD students and established researchers in the formal methods community.
- To enable PhD students to interact with other PhD students and to stimulate exchange of ideas, suggestions, and experiences among participants.
- 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’2018 Doctoral Symposium.

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

Submission Details:

LNCS format
2-4 pages
Deadline: 8 July 2018
Notification: 15 July 2018
Camera-ready: 29 July 2018
Thru EasyChair link on the conference website

Related Resources

Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
ACM--ICMLT--Ei and Scopus 2022   ACM--2022 7th International Conference on Machine Learning Technologies (ICMLT 2022)--Ei Compendex, Scopus
CoSim-CPS 2021   5th Workshop on Formal Co-Simulation of Cyber-Physical Systems
ACM--ICMLSC--EI Compendex, Scopus 2022   ACM--2022 The 6th International Conference on Machine Learning and Soft Computing (ICMLSC 2022)--Ei compendex, scopus
6FMA 2022   6th International Symposium Formal Methods in Architecture
WAISE 2021   4th International Workshop on Artificial Intelligence Safety Engineering
AISTATS 2022   25th International Conference on Artificial Intelligence and Statistics
ECOOP 2022   European Conference on Object-Oriented Programming
FM 2021   Formal Methods 2021
SDM 2022   SIAM International Conference on Data Mining