IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
FSEN 2021 : 9th IPM International Conference on Fundamentals of Software Engineering
FSEN 2021 : 9th IPM International Conference on Fundamentals of Software Engineering

FSEN 2021 : 9th IPM International Conference on Fundamentals of Software Engineering

Tehran, Iran
Event Date: May 19, 2021 - May 21, 2021
Abstract Submission Deadline: October 18, 2020
Submission Deadline: November 01, 2020
Notification of Acceptance: December 18, 2020
Camera Ready Version Due: January 21, 2021




About

FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in the area of formal methods for software engineering. This conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Tehran, Iran, May 19-21, 2021.


Call for Papers

The topics of this conference include, but are not restricted to, the following:

  • Models of programs and software systems
  • Software specification, validation, and verification
  • Software testing
  • Software architectures and their description languages
  • Object and multi-agent systems
  • Coordination and feature interaction
  • Integration of formal and informal methods
  • Integration of different formal methods
  • Component-based and Service-oriented software systems
  • Collective, self-adaptive and cyber-physical software systems
  • Model checking and theorem proving
  • Software and hardware verification
  • CASE tools and tool integration
  • Industrial Applications


Summary

FSEN 2021 : 9th IPM International Conference on Fundamentals of Software Engineering will take place in Tehran, Iran. It’s a 3 days event starting on May 19, 2021 (Wednesday) and will be winded up on May 21, 2021 (Friday).

FSEN 2021 falls under the following areas: SOFTWARE ENGINEERING, FORMAL METHODS, SOFTWARE TESTING, COMPUTER SCIENCE, etc. Submissions for this Conference can be made by Nov 01, 2020. Authors can expect the result of submission by Dec 18, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Jan 21, 2021 to the official website of the Conference.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the FSEN 2021

  • Short Name: FSEN 2021
  • Full Name: 9th IPM International Conference on Fundamentals of Software Engineering
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of FSEN 2021
  • Event Type: Conference
  • Website Link: http://fsen.ir/2021/
  • Location/Address: Tehran, Iran


Credits and Sources

[1] FSEN 2021 : 9th IPM International Conference on Fundamentals of Software Engineering


Check other Conferences, Workshops, Seminars, and Events


OTHER SOFTWARE ENGINEERING EVENTS

ChapelCon 2025: The Chapel Event of the Year
Virtual
Oct 7, 2025
ICMIP--EI 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
ICSIE 2026: 2026 14th International Conference on Software and Information Engineering (ICSIE 2026)
Himeji, Japan
Jan 16, 2026
ICNT--EI 2026: 2026 8th International Conference on Network Technology (ICNT 2026)
Himeji, Japan
Jan 16, 2026
ICoSSE 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
SHOW ALL

OTHER FORMAL METHODS EVENTS

MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS) Deadline Extended (Final)
Taipei, Taiwan
Oct 2, 2025
SBMF 2025: 28th Brazilian Symposium on Formal Methods
Recife, Brazil
Dec 3, 2025
MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS)
Taipei, Taiwan
Oct 2, 2025
FMAS 2025: 7th International Workshop on Formal Methods for Autonomous Systems
Paris
Nov 17, 2025
iFM 2025: 20th International Conference on Integrated Formal Methods
Paris, France
Nov 19, 2025
SHOW ALL

OTHER SOFTWARE TESTING EVENTS

TestEd 2024: 3rd Software Testing Education workshop
Toronto, Canada
May 28, 2024
ICST 2024: International Conference on Software Testing, Verification, and Validation
Toronto, Canada
May 27, 2024
InSTA 2024: 11th International Workshop on Software Test Architecture
Tronto, canada
May 28, 2024
SOENG 2024: 10th International Conference on Software Engineering
Sydney, Australia
Jun 22, 2024
DMSE 2024: 5th International Conference on Data Mining and Software Engineering
London, United Kingdom
Jul 27, 2024
SHOW ALL

OTHER COMPUTER SCIENCE EVENTS

SPTM 2025: 13th International Conference of Security, Privacy and Trust Management
London, United Kingdom
Jul 26, 2025
ICoSSE 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
CMLA 2025: 7th International Conference on Machine Learning & Applications
Toronto, Canada
Jul 19, 2025
CIoT 2025: 7th International Conference on Internet of Things
Toronto, Canada
Jul 19, 2025
MODELSWARD 2026: 14th International Conference on Model-Based Software and Systems Engineering
Marbella, Spain
Mar 7, 2026
SHOW ALL