中国计算机学会推荐国际学术会议和期刊目录自2010年8月首次发布以来,已历经五版,得到了计算机领域科研工作者的广泛关注。
目录共包含十个领域,分为ABC三类:A类是国际上极少数顶会与顶刊;B类代表领域内高水平的会议与期刊;C类指国际上重要的、为学术界所认可的优秀会议和期刊。
►►►HiPC 2024
HiPC 2024 is the 31st edition of the IEEE International Conference on High Performance Computing, Data, and Analytics. HiPC serves as a forum to present current work by researchers from around the world as well as highlight activities in Asia in the areas of high performance computing and data science. The meeting focuses on all aspects of high performance computing systems, and data science and analytics, and their scientific, engineering, and commercial applications. HiPC 2024 will also explore programs that expand and enrich the conference offerings, including workshops, tutorials, Birds-of-a-Feather meetings, Student Research Symposium, and industrial sessions, which provide increased professional opportunities to conference attendees.
所属领域:计算机体系结构/并行与分布计算/存储系统
CCF分级:C类
时间地点:2024年12月18日-班加罗尔(印度)
截稿时间:2024年6月23日
大会征文
1. High Performance Computing
Algorithms
Architecture
Applications
Systems Software
2. Scalable Data Science
Scalable Algorithms and Analytics
Scalable Systems and Software
►►►ICFEM 2024
Since it was started in Hiroshima, Japan in 1997, ICFEM has provided a forum for both researchers and practitioners to discuss and exchange their experience and results in research on theories, methods, languages, and supporting tools for integrating formal methods into conventional software engineering technologies to provide more effective and efficient approaches to large-scale software engineering. The goal of this conference is to bring together industrial, academic, and government experts in both formal methods and software engineering to help advance the state of the art.
所属领域:软件工程/系统软件/程序设计语言
CCF分级:C类
时间地点:2024年12月2日-广岛(日本)
截稿时间:2024年6月24日
大会征文
Formal specification and modeling
Formal approaches to fault prevention and detection
Abstraction, refinement, and evolution
Formal verification and validation
Integration of formal methods and testing
Integration of formal methods and review
SAT/SMT solvers for software analysis and testing
Practical formal methods
Applications of formal methods
Formal approaches to software maintenance
Formal approaches to safety-critical system development
Supporting tools for formal methods
Formal methods for agile development
Formal methods for human-machine pair programming
Formal methods for AI Systems
Formal methods for Cyber-physical systems and IoT
Formal certification of products
Industrial case studies