Conférences  >  Informatique  >  Génie logiciel  >  Japon

Keio University

The Organizing Committee is pleased to announce that the 2026 The 9th International Conference on Software Engineering and Information Management (ICSIM 2026) will be held in Yokohama, Japan, on January 21-23, 2026. ICSIM 2026 will be proudly sponsored by Keio University, one of Japan's most prestigious institutions, renowned for its excellence in research and education in the fields of technology and management.

Email.: emmaawang2019@sina.com

???? Track 1: Advanced Software Engineering and Development: Software Architecture and Design Patterns; Agile Development and DevOps Practices; Software Testing, Verification and Validation; Requirements Engineering and Management; Component-Based and Service-Oriented Software Engineering; Object-Oriented and Model-Driven Development; Software Reuse, Maintenance and Evolution; Software Metrics and Quality Assurance; Secure and Reliable Software Systems. ???? Track 2: Intelligent Systems: AI-Assisted Software Engineering; Machine Learning in Software Development; Natural Language Processing Applications; Intelligent Agents and Multi-Agent Systems; Knowledge Representation and Reasoning; Blockchain for Software and Data Management; Quantum Computing and Software Systems; Digital Twin and Smart Applications; Autonomous and Self-Adaptive Systems. ???? Track 3: Information Systems and Data Engineering: Data Mining and Knowledge Discovery; Big Data Analytics and Infrastructure; Information Retrieval and Search Technologies; Cloud Computing and Edge Intelligence; Semantic Web and Linked Data; Distributed and Parallel Information Systems; Database Systems and Applications; Data Governance and Information Lifecycle Management. ???? Track 4: Communication and Cyber-Physical Systems: Wireless and Mobile Communication Systems; Next-Generation Network Architecture (5G/6G); IoT and Embedded Systems; Cyber-Physical Systems and Industrial IoT; Distributed and High-Performance Computing; Network Security and Intrusion Detection; Smart Sensor Networks and Real-Time Systems; Middleware and Interoperability Solutions.

The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods.

FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software and systems development. The FM symposia have been successful in bringing together researchers and industrial users around a program of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral research. FM 2026 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experiences.