The Brazilian Symposium on Formal Methods (SBMF 2016)

November 21 - 25, 2016

Natal,RN,Brasil

Call For Papers

SBMF 2016 is the nineteenth of a series of events devoted to the development, dissemination and use of formal methods for the construction of high-quality computational systems. It is now a well-established event, with an international reputation.SBMF 2016 will take place in Natal, the capital of the state Rio Grande do Norte, that is located in the northeast region in Brazil. The SBMF event is devoted to the dissemination of the development and use of formal methods for the construction and verification of computer systems, aiming to promote opportunities for researchers with interests in formal methods to discuss recent advances in the area.

Topics of Interest

Techniques and methodologies
• Method integration;
• Software and hardware co-design;
• Model-driven engineering;
• Formal aspects of popular methodologies;
• Formal design;
• Development methodologies with formal foundations;
• Software evolution based on formal methods;
Specification and modeling languages
• Well-founded specification and design languages;
• Formal aspects of popular languages;
• logics and semantics for programming and specification languages;
• Code generation;
• Formal methods and models for objects,
• Aspects
• Component-based,
• Real-time,
• Hybrid,
• Critical, and service-oriented systems;
Theoretical foundations

• Domain theory;
• Type systems and category theory;
• Computational complexity of methods and models;
• Computational models;
• Term rewriting; models of concurrency,
• Security and mobility;
Verification and validation
• Abstraction,
• Modularization and refinement techniques;
• Program and test synthesis;
• Correctness by construction;
• Model checking;
• Theorem proving;
• Static analysis;
• Formal techniques for software testing;
• Software certification;
• Formal techniques for software inspection;
Education
• Teaching of, for and with formal methods;
Applications,
• Experience reports on the use of formal methods;
• Industrial case studies;
• Tool support.

IMPORTANT DATES

Submission deadline: August 10, 2016

Notification Due: September 16, 2016

User Name : jerish
Posted 28-07-2016 on 11:42:44 AEDT

Related CFPs

IEEE-DSIS 2025   2025 International Conference on Data Science and Intelligent Systems (DSIS 2025)
IJHAS   International Journal of Humanities, Art and Social Studies
TLLL   The 11th International Conference on Languages, Linguistics, Translation and Literature