Partners
Cooperating partners
ResearchGate
Cooperating conferences
ICICR 2024
The conference invites the submission of high-quality, original research papers that explore both theoretical and practical aspects of Intelligent Control and Robotics. Additionally, proposals addressing frontier research, innovative ideas, and emerging paradigms in networking and information technologies are also welcomed.
The 1st International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV 2024)
Software fault prevention, verification, and validation are essential and important approaches to ensuring software productivity, reliability, and qualities. Fault prevention focuses on the issues of how to prevent the introduction and occurrence of faults in software systems. Verification is a means to rigorously check whether software systems satisfy their specification or properties. Validation refers to the technologies and activities for confirming whether the behavior and performance of software systems satisfy the user requirements. Various techniques and supporting tools have been developed to fulfill the tasks of software fault prevention, verification, and validation, but many difficulties and open problems remain unaddressed.
This symposium aims to invite researchers and practitioners working on software quality assurance to exchange ideas and to discuss how formal approaches, testing-based approaches, AI approaches, and their combinations can be studied, established, and supported to fulfill the goals of fault prevention, verification, and validation. All people who are interested in the topics mentioned above are welcome to submit papers and to participate in the symposium.
ICMIC 2024
2023 International Conference on Intelligent Mechatronics Systems (2023 ICIMS)
The 2023 ICIMS provides a forum for researchers in academia and industry worldwide to share research findings, facilitate knowledge transfer and industrial collaboration, and train the next generation of researchers within the context of mechatronics systems.