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

ICICA 2021 : 10th International Conference on Intelligent Computing and Applications
Melbourne, Australia
Jun 25, 2021
ICCMS 2021 : The 13th International Conference on Computer Modeling and Simulation
Melbourne, Australia
Jun 25, 2021
ITCSE 2021 : 10th International Conference on Information Technology Convergence and Services
Sydney, Australia
Jun 26, 2021
MODELS 2021 : ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
Fukuoka, Japan
Oct 10, 2021
SOSE 2021 : The 15th IEEE International Conference On Service-Oriented System Engineering
Online
Aug 23, 2021

OTHER FORMAL METHODS EVENTS

TASE 2021 : The 15th International Symposium on Theoretical Aspects of Software Engineering
Shanghai
Aug 25, 2021
VWLD 2021 : Vienna World Logic Day Lecture
Online
Jan 14, 2021
FormaliSE 2021 : International Conference on Formal Methods in Software Engineering
Madrid, Spain
May 23, 2021
F-IDE 2021 : 6th Workshop on Formal Integrated Development Environment
Online
May 24, 2021
ABZ 2021 : 8th International Conference on Rigorous State Based Methods
Ulm
Jun 07, 2021

OTHER SOFTWARE TESTING EVENTS

ICSEA 2021 : The Sixteenth International Conference on Software Engineering Advances
Barcelona, Spain
Oct 03, 2021
SEAS 2021 : 10th International Conference on Software Engineering and Applications
Dubai, UAE
Feb 20, 2021
TASE 2021 : The 15th International Symposium on Theoretical Aspects of Software Engineering
Shanghai
Aug 25, 2021
JSS SI on Test Automation 2021 : Special Issue on - Test Automation

ASOFT 2020 : International Conference on Advances in Software Engineering
Sydney, Australia
Oct 24, 2020

OTHER COMPUTER SCIENCE EVENTS

ICNLP 2021 : 3rd International Conference on Natural Language Processing
Beijing, China
Mar 26, 2021
FGIP 2021 : International Workshop on Frontiers of Graphics and Image Processing
Xi'an, China
May 21, 2021
ICICA 2021 : 10th International Conference on Intelligent Computing and Applications
Melbourne, Australia
Jun 25, 2021
ICCMS 2021 : The 13th International Conference on Computer Modeling and Simulation
Melbourne, Australia
Jun 25, 2021
ICITIES 2021 : SECOND INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGIES IN EDUCATION AND SCIENCE
Melitopol, Ukraine
Jun 10, 2021