22nd International Symposium on Formal Methods(FM 2018)

July 15-17, 2018, Oxford, United Kingdom

Scope & Topics

FM 2018 encourages submissions on formal methods for developing and evaluating systems that interact with physical processes, and systems that use artificial intelligence technology. Examples include autonomous systems, robots, and cyber-physical systems in general. Applying formal methods to these systems of growing interest and importance is challenging because they exhibit much greater non-determinism than traditional systems, making them challenging to assure.

Topics of Interest :

• Formal methods in practice
  
• Industrial applications of formal methods
  
• Experience with formal methods in industry
  
• Tool usage reports
  
• Experiments with challenge problems
  
• Tools for formal methods
  
• Advances in automated verification
  
• Model-checkingand testing with formal methods
  
• Environments for formal methods
  
• Experimental validation of tools
  
• Theoretical foundations
  
• All aspects of theory related to specification
  
• Verification
  
• Refinement
  
• Static and dynamic analysis

Important Dates

Submission Deadline	:	January 22, 2018
Authors Notification	:	April 09, 2018
Final Manuscript Due	:	May 09, 2018

 

User Name : krish
Posted 08-01-2018 on 17:56:43 AEDT

Related CFPs

NeTCoM 2026   18th International Conference on Networks & Communications
NLCAI 2026   7th International Conference on Natural Language Computing and AI (NLCAI 2026)
CAMSE 2026   3rd International Conference on Advances in Materials Science and Engineering
CiVEJ   Civil Engineering and Urban Planning: An International Journal