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

SEC 2023: 9th International Conference on Software Engineering
Zurich, Switzerland
May 20, 2023
SOEN 2023: 8th International Conference on Software Engineering
Toronto, Canada
Jul 22, 2023
ACM ESCC 2023: ACM--2023 European Symposium on Computer and Communications (ESCC 2023)
Manchester, United Kingdom
Apr 13, 2023
ICDIP 2023: SPIE--2023 The 15th International Conference on Digital Image Processing (ICDIP 2023)
Nanjing, China
May 19, 2023
ENASE 2023: 18th International Conference on Evaluation of Novel Approaches to Software Engineering
Lisbon, Portugal
Apr 24, 2023
SHOW ALL

OTHER FORMAL METHODS EVENTS

RTNS 2023: International conference on Real-Time Networks and Systems
Dortmund, Germany
Jun 7, 2023
ESOP 2023: 32st European Symposium on Programming
Paris, France
Apr 22, 2023
IJSEA 2023: International Journal of Software Engineering & Applications - ERA Indexed, H Index 30
N/A
OVERLAY 2022: 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Udine (Italy)
Nov 28, 2022
F-IDE 2022: 7th Workshop on Formal Integrated Development Environment
Berlin, Germany
Sep 26, 2022
SHOW ALL

OTHER SOFTWARE TESTING EVENTS

A-TEST 2022: 13th Workshop on Automating Test Case Design, Selection and Evaluation
Singapore
Nov 17, 2022
SOEN 2022: 7th International Conference on Software Engineering
London, United Kingdom
Jul 30, 2022
SBMF 2022: 25th Brazilian Symposium on Formal Methods
Aracaju, Brazil
Dec 5, 2022
AITest 2022: The IEEE Fourth International Conference On Artificial Intelligence Testing
San Francisco, USA
Aug 15, 2022
IEEE AITEST 2022: THE 4TH IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE TESTING
San Francisco Bay Area
Aug 15, 2022
SHOW ALL

OTHER COMPUTER SCIENCE EVENTS

SEC 2023: 9th International Conference on Software Engineering
Zurich, Switzerland
May 20, 2023
STACS 2023: Symposium on Theoretical Aspects of Computer Science
Hamburg, Germany
Mar 7, 2023
AESM 2022: Algorithms towards Ethical and Privacy challenges in Social Media recommendation systems - ICDMW
Orlando, Florida, USA
Aug 20, 2022
SI2022-09 H-Social Big Data Privacy 2022: Call for papers: Human-centric Social Big Data Privacy, Security and Frontier computing (HCIS Q1)
China
Aug 15, 2020
ArIT 2023: 4th International Conference on Advances in Artificial Intelligence Techniques
Sydney, Australia
Jun 17, 2023
SHOW ALL