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

AREA 2024: 4th Workshop on Agents and Robots for reliable Engineered Autonomy
Santiago de Compostela
Oct 19, 2024
ADIP 2024: 2024 6th Asia Digital Image Processing Conference (ADIP 2024)
Tokyo, Japan
Dec 14, 2024
ICSESS 2024: 2024 15th International Conference on Software Engineering and Service Science
China
Aug 24, 2024
IT-Tage 2024: IT-Tage - IT-Konferenz für Software-Entwicklung, -Architektur, KI, Datenbanken, DevOps, Agile und Management
Frankfurt am Main
Dec 9, 2024
ICVIP--EI 2024: 2024 The 8th International Conference on Video and Image Processing (ICVIP 2024)
Kuala Lumpur, Malaysia
Dec 13, 2024
SHOW ALL

OTHER FORMAL METHODS EVENTS

ICFEM 2024: International Conference on Formal Engineering Methods
Hiroshima , Japan
Dec 2, 2024
AFMAS 2024: Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
N/A
SIMULTECH 2024: 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
Dijon, France
Jul 10, 2024
FMICS 2024: 29th International Conference on Formal Methods for Industrial Critical Systems
Milano
Sep 9, 2024
SEC 2024: 10th International Conference on Software Engineering
Melbourne, Australia
Apr 20, 2024
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

CYBI 2024: 11thInternational Conference on Cybernetics & Informatics
Melbourne, Australia
Apr 20, 2024
ITCC 2024: ACM--2024 6th International Conference on Information Technology and Computer Communications (ITCC 2024)
Singapore
Oct 25, 2024
Informed ML for Complex Data@ESANN 2024: Informed Machine Learning for Complex Data special session at ESANN 2024
Bruges, Belgium
Oct 9, 2024
Web3D 2024 2024: 3D Technologies for the World Wide Web
Guimarães, Portugal
Sep 25, 2024
HUMAD 2024: [Scopus] [ACM] International Workshop on Human-Centered Modeling and Adaptation for Digital Transformation
Cagliari, Italy; also online
Jul 1, 2024
SHOW ALL