计算机 | CCF推荐 | 5月份截稿 | 国际会议截稿信息7条
计算机科学理论 |
---|
ICTAC 2021 |
International Colloquium on Theoretical Aspects of Computing |
全文截稿: 2021-05-07 |
开会时间: 2021-09-06 |
会议难度: ★★★ |
CCF分类: C类 |
会议地点: Nur-Sultan, Kazakhstan |
网址: https://ictac2021.github.io/ |
The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. The conference concerns all aspect of theoretical computer science, including, but not limited to: Languages and automata Semantics of programming languages Logic in computer science Lambda calculus, type theory and category theory Domain-specific languages Theories of concurrency and mobility Theories of distributed computing Models of objects and components Coordination models Timed, hybrid, embedded and cyber-physical systems Security and privacy Static analysis Probabilistic and statistical verification Software verification Software testing Runtime verification Program generation and transformation Model checking and theorem proving Applications and case studies |
计算机科学理论 |
---|
FMCAD 2021 |
Formal Methods in Computer-Aided Design |
摘要截稿: 2021-05-07 |
全文截稿: 2021-05-14 |
开会时间: 2021-10-19 |
会议难度: ★★★ |
CCF分类: C类 |
会议地点: Yale University, Connecticut, USA |
网址: https://fmcad.org/FMCAD21/ |
FMCAD 2021 is the twenty-first in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. FMCAD employs a rigorous peer-review process. Accepted papers are published by TU Wien Academic Press under a Creative Commons license (the authors retain the copyright) and distributed through the IEEE XPlore digital library. There are no publication fees. At least one of the authors is required to register for the conference and present the accepted paper. A small number of outstanding FMCAD submissions will be considered for inclusion in a Special Issue of the journal on Formal Methods in System Design (FMSD). |
计算机体系结构,并行与分布式计算 |
---|
HotI 2021 |
International Symposium on High Performance Interconnects |
摘要截稿: 2021-05-07 |
全文截稿: 2021-05-14 |
开会时间: 2021-08-18 |
会议难度: ★★★ |
CCF分类: C类 |
会议地点: online conference |
网址: https://hoti.org/ |
Welcome to the 28th iteration of the IEEE Hot Interconnects symposium. HotI28 will be held August 18-20, 2021. IEEE Hot Interconnects is the premier international forum for researchers and developers of state of the art hardware and software architectures and implementations for interconnection networks of all scales, ranging from multi-core on-chip interconnects to those within systems, clusters, and data centers. Leaders in industry and academia attend the conference to interact with individuals at the forefront of this field. Our objective is to address the data center networking and the supercomputing communities. We hope you can join us and benefit not only by the content but also by the prime networking opportunities this event always offers. |
计算机体系结构,并行与分布式计算 |
---|
Performance 2021 |
International Symposium on Computer Performance, Modeling, Measurements and Evaluation |
摘要截稿: 2021-05-10 |
开会时间: 2021-11-08 |
会议难度: ★★★★ |
CCF分类: B类 |
会议地点: Milan, Italy |
网址: https://www.performance2021.deib.polimi.it/ |
The 39th International Symposium on Computer Performance, Modeling, Measurements and Evaluation will be held in Milan, Italy from 8th to 12th November 2021. The IFIP WG 7.3 Performance conference aims to bring together researchers interested in understanding and improving the performance of computing and communication systems by means of state-of-the-art quantitative models and solution techniques. The Performance conference has a long-standing tradition and has followed an 18-month cycle for many years. Recently, the interval has been changed to one year. |
计算机体系结构,并行与分布式计算 |
---|
NOCS 2021 |
International Symposium on Networks-on-Chip |
摘要截稿: 2021-05-14 |
全文截稿: 2021-05-21 |
开会时间: 2021-10-10 |
会议难度: ★★★ |
CCF分类: C类 |
会议地点: Virtual Conference |
网址: https://esweek.org/nocs/ |
The International Symposium on Networks-on-Chip (NOCS) is the premier event dedicated to interdisciplinary research on on-chip, package-scale, chip-to-chip, and datacenter rack-scale communication technology, architecture, design methods, applications and systems. NOCS brings together scientists and engineers working on NoC innovations and applications from inter-related research communities, including discrete optimization and algorithms, computer architecture, networking, circuits and systems, packaging, embedded systems, and design automation. |
计算机体系结构,并行与分布式计算 |
---|
ATS 2021 |
IEEE Asian Test Symposium |
全文截稿: 2021-05-23 |
开会时间: 2021-11-22 |
会议难度: ★★★ |
CCF分类: C类 |
会议地点: Ehime, Japan |
网址: http://www.ieee-ats.org/ |
The Asian Test Symposium (ATS) provides an open forum for researchers and industrial practitioners from all countries of the world to exchange innovative ideas on system, board, and device testing with design, manufacturing, and field consideration in mind. |
计算机体系结构,并行与分布式计算 |
---|
SoCC 2021 |
ACM Symposium on Cloud Computing |
全文截稿: 2021-05-28 |
开会时间: 2021-11-01 |
会议难度: ★★★★ |
CCF分类: B类 |
会议地点: hybrid event |
网址: http://acmsocc.org/2021/ |
The ACM Symposium on Cloud Computing 2021 (SoCC 2021) is the twelfth in an established series of symposia that bring together researchers, developers, practitioners, and users interested in cloud computing. SoCC is co-sponsored by the ACM Special Interest Groups on Management of Data (SIGMOD) and on Operating Systems (SIGOPS). |
更多国际会议征稿信息,SCI期刊专刊截稿信息,请关注同名公众号:Call4Papers
Call4Papers致力于帮助所有科研人员发表学术论文,免费提供全学科领域知名会议的deadline以及期刊的约稿信息。
发布于 2021-04-22 11:39