6th International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2027)

The 6th International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2027) explores advancements in software engineering practices, formal methods, and intelligent systems across various domains.

Key Topics

• Lean and Agile software development and practices
• Performance evaluation, application and tools
• IoT software engineering
• Program semantics
• Open source software
• Hybrid processes for software and systems
• Automata theory
• DevOps models, practices, challenges
• Empirical study
• Agile and Lean software development
• Formal languages
• CI/CD, Agile and DevOps
• AI for supporting software and systems processes
• Legacy systems
• Open source software development
• Intelligent software systems
• Artifacts, software validation and diagnosis
• Developments in health care, education and business

Who should Attend

• Researchers in automata theory
• Professionals in software validation and diagnosis
• Experts in intelligent software systems
• Practitioners in DevOps and CI/CD
• Software engineers in open source development
• Formal methods specialists
• Developers working with legacy systems
• IoT system architects
• Data scientists using AI in system processes
• Agile and Lean methodology advocates
• Academics conducting empirical software studies
• Professionals applying software in health care, education and business
• Performance analysts and tool developers
• Engineers using hybrid software processes
• Researchers in program semantics