resurchify Conferences Journals Workshops Seminars
      
SYMPOSIUMS MEETINGS CONFERENCE RANKING JOURNAL RANKING IMPACT FACTOR BLOGS



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

Tehran, Iran
Event Date: May 19, 2021 - May 21, 2021
Abstract Submission Deadline: Oct 18, 2020
Submission Deadline: Nov 01, 2020
Notification of Acceptance: Dec 18, 2020
Camera Ready Version Due : Jan 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 Paper

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

Hotel Deals

Booking.com

Check Other Conferences, Workshops, and Seminars

OTHER SOFTWARE ENGINEERING EVENTS

QuaInT 2021 : Workshop on the Quantum Information Technologies
Kryvyi Rih, Ukraine
Mar 19, 2021
CS&SE@SW 2020 : 3rd Computer Science & Software Engineering Student Workshop
Kryvyi Rih, Ukraine
Nov 27, 2020
A-Mobile 2020 : The 3rd International Workshop on Advances in Mobile App Analysis
Melbourne, Australia
Sep 21, 2020
SUSTAINSE 2020 : 1st International Workshop on Sustainable Software Engineering
Virtual
Sep 25, 2020
APEQS 2020 : 1st International Workshop on Architectures and Paradigms for Engineering Quantum Software
Sacramento
Nov 13, 2020

OTHER FORMAL METHODS EVENTS

ICAASE 2020 : The 4th International Conference on Advanced Aspects of Software Engineering
Constantine, Algeria
Nov 28, 2020
SBMF 2020 : 23rd Brazilian Symposium on Formal Methods
Ouro Preto / Brazil
Nov 25, 2020
ICTAC 2020 : 17th International Colloquium on Theoretical Aspects of Computing
Macao
Dec 02, 2020
iFM 2020 : 16th International Conference on integrated Formal Methods
Lugano, Switzerland
Nov 16, 2020
PSSV 2020 : XI Workshop Program Semantics, Specification and Verification
Moscow, Russia
Nov 03, 2020

OTHER SOFTWARE TESTING EVENTS

UYMS 2020 : 14. Turkish National Software Engineering Symposium
Istanbul, Turkey
Oct 07, 2020
SBMF 2020 : 23rd Brazilian Symposium on Formal Methods
Ouro Preto / Brazil
Nov 25, 2020
ICTAC 2020 : 17th International Colloquium on Theoretical Aspects of Computing
Macao
Dec 02, 2020
SEA 2020 : 9th International Conference on Software Engineering and Applications
London, United Kingdom
Jul 25, 2020
SOFT 2020 : 6th International Conference on Software Engineering
Toronto, Canada
Jul 11, 2020

OTHER COMPUTER SCIENCE EVENTS

ICEIS 2021 : 23rd International Conference on Enterprise Information Systems
Prague, Czech Republic
Apr 26, 2021
IFAC INCOM 2021 : SYSTEM IDENTIFICATION for MANUFACTURING CONTROL APPLICATIONS
Budapest, Hungary
Jun 07, 2021
ICFEC 2021 : 5th IEEE International Conference on Fog and Edge Computing
Melbourne, Australia
May 10, 2021
CS&SE@SW 2020 : 3rd Computer Science & Software Engineering Student Workshop
Kryvyi Rih, Ukraine
Nov 27, 2020
ICCSP 2021 : 5th International Conference on Cryptography, Security and Privacy
Zhuhai, China
Jan 08, 2021