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:<br>Abstraction, refinement and evolution<br>Formal specification and modelling<br>Formal verification and analysis<br>Model checking<br>Formal approaches to software testing and inspection<br>Formal methods for self–adaptive systems<br>Formal methods for object–oriented systems<br>Formal methods for component–based systems<br>Formal methods for concurrent and real–time systems<br>Formal methods for cloud computing<br>Formal methods for cyber–physical systems<br>Formal methods for software safety and security<br>Formal methods for software reliability and dependability<br>Development, integration and experiments involving verified systems<br>Formal certification of products under international standards<br>Formal model–based development and code generation<br>The goals of the symposium are:<br>– To bring together PhD students and established researchers in the formal methods community.<br>– To enable PhD students to interact with other PhD students and to stimulate exchange of ideas, suggestions, and experiences among participants.<br>– To provide PhD students an opportunity to present, share, and discuss their research in a constructive and critical atmosphere.<br><div>– To provide PhD students with fruitful feedback and advice on their research approach.<br></div><div><br></div>
Abbrevation
Doctorial Symposium - ICFEM
City
Gold Coast
Country
Australia
Deadline Paper
Start Date
End Date
Abstract