Conference Information
FSEN 2019: IPM International Conference on Fundamentals of Software Engineering
http://fsen.ir/2019/
Submission Date:
2018-11-11 Extended
Notification Date:
2018-12-18
Conference Date:
2019-05-01
Location:
Tehran, Iran
Years:
8
Viewed: 5432   Tracked: 2   Attend: 1

Call For Papers
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 1-3, 2019.

Topics of Interest

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 
Last updated by Dou Sun in 2018-11-04
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ba2FASEFundamental Approaches to Software Engineering2021-10-142021-12-232022-04-02
aa*a1FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2021-02-252021-05-212021-08-23
CCRAIEEE Colombian Conference on Robotics and Automation2018-08-312018-09-242018-11-01
ICCICTInternational Conference on Communication, Information & Computing Technology2012-04-012012-07-022012-10-19
b5LASCASLatin American Symposium on Circuits and Systems2015-10-242015-12-052016-02-28
cAIAInternational Conference on Artificial Intelligence and Applications2012-10-262012-11-152013-02-11
cb1AICCSAInternational Conference on Computer Systems and Applications2021-08-012021-09-072021-11-30
NIMEInternational Workshop on Networking Issues in Multimedia Entertainment 2012-04-252012-07-30
MBAIInternational Conference on Medicine, Bioengineering and Artificial Intelligence2020-10-26 2020-12-20
SCC'International ITG Conference on Systems, Communications and Coding2018-10-122018-11-302019-02-11
Recommendation