CCF推荐 | 国际会议信息4条

软件工程

COMPSAC 2020

IEEE Computer Society International Conference on Computers, Software & Applications

全文截稿: 2020-01-20

开会时间: 2020-07-13

会议难度: ★★★

CCF分类: C类

会议地点: Madrid, Spain

网址：https://ieeecompsac.computer.org

COMPSAC is the IEEE Computer Society Signature Conference on Computers, Software and Applications. It is a major international forum for academia, industry, and government to discuss research results and advancements, emerging challenges, and future trends in computer and software technologies and applications. The theme of COMPSAC 2020 is “Driving Intelligent Transformation of the Digital World”.

Staying relevant in a constantly evolving digital landscape is a challenge faced by researchers, developers, and producers in virtually every industry and area of study. Once limited to software-enabled devices, the ubiquity of digitally-enabled systems makes this challenge a universal issue. Furthermore, as relevance fuels change, many influencers will offer solutions that benefit their own priorities. Fortunately, history has shown that the building blocks of digital change are forged by those conducting foundational research and development of digital systems and human interactions. Artificial Intelligence is not new, but is much more utilized in everyday computing now that data and processing resources are more economically viable, hence widely available. The opportunity to drive the use of this powerful tool in transforming the digital world is yours. Will your results help define the path ahead, or will you relegate those decisions to those with different priorities for utilizing intelligence in digital systems? COMPSAC has been and continues to be a highly respected venue for the dissemination of key research on computer and software systems and applications, and has influenced fundamental developments in these fields for over 40 years. COMPSAC 2020 is your opportunity to add your mark to this ongoing journey, and we highly encourage your submission!

COMPSAC 2020, organized as a tightly integrated union of symposia, will focus on technical aspects of issues relevant to intelligent transformation of the digital world. The technical program will include keynote addresses, research papers, industrial case studies, fast abstracts, a doctoral symposium, poster sessions, and workshops and tutorials on emerging and important topics related to the conference theme. Highlights of the conference will include plenary and specialized panels that will address the technical challenges facing researchers and practitioners who are driving fundamental changes in intelligent systems and applications. Panels will also address cultural and societal challenges for a society whose members must continue to learn to live, work, and play in the environments the technologies produce.

Authors are invited to submit original, unpublished research work, as well as industrial practice reports. Simultaneous submission to other publication venues is not permitted except as highlighted in the COMPSAC 2020 J1C2 & C1J2 program. All submissions must adhere to IEEE Publishing Policies, and will be vetted through the IEEE CrossCheck portal.

图形学与多媒体

SIGGRAPH 2020

ACM SIGGRAPH Annual Conference

全文截稿: 2020-01-22

开会时间: 2020-07-19

会议难度: ★★★★★

CCF分类: A类

会议地点: Washington, D.C., USA

网址：https://s2020.siggraph.org/submissions/

As SIGGRAPH 2020 heads to Washington, D.C. for the first time, we have a unique opportunity to think beyond traditional ideas and inspire connections across new and existing industries. We will recognize and celebrate our community’s ingenuity and creativity, and the amazing work that advances our industry beyond the familiar.

SIGGRAPH is a week of experiencing and learning about the most transformative, inspirational advancements in computer graphics and interactive techniques — all brought to life by your innovative contributions. Come and share your achievements and developments in computer graphics, digital art, animation, visual effects, machine learning, artificial intelligence, immersive and mixed realities, scientific visualization, adaptive technology, and so much more.

Look forward to an inclusive, inspiring future. Think beyond industry boundaries, collaborate with your peers, and help inspire new and seasoned SIGGRAPH attendees with your remarkable work.

计算机科学理论

CAV 2020

International Conference on Computer Aided Verification

全文截稿: 2020-01-23

开会时间: 2020-07-19

会议难度: ★★★★★

CCF分类: A类

会议地点: Los Angeles, USA

网址：http://i-cav.org/2020/

CAV 2020 is the 32nd in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as machine learning, autonomous systems, and computer security. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers is expected to be invited to a special issue of Formal Methods in System Design and the Journal of the ACM.

CAV 2020 will take place in Los Angeles, California, USA.

Topics of interest include but are not limited to:

Algorithms and tools for verifying models and implementations
Algorithms and tools for system synthesis
Algorithms and tools that combine verification and learning
Mathematical and logical foundations of verification and synthesis
Specifications and correctness criteria for programs and systems
Deductive verification using proof assistants
Hardware verification techniques
Program analysis and software verification
Software synthesis
Hybrid systems and embedded systems verification
Formal methods for cyber-physical systems
Compositional and abstraction-based techniques for verification
Probabilistic and statistical approaches to verification
Verification methods for parallel and concurrent systems
Testing and run-time analysis based on verification technology
Decision procedures and solvers for verification and synthesis
Applications and case studies in verification and synthesis
Verification in industrial practice
New application areas for algorithmic verification and synthesis
Formal models and methods for security
Formal models and methods for biological systems

软件工程

ICWE 2020

International Conference on Web Engineering

摘要截稿: 2020-01-19

全文截稿: 2020-01-26

开会时间: 2020-06-09

会议难度: ★★★

CCF分类: C类

会议地点: Helsinki, FINLAND

网址：https://icwe2020.webengineering.org/

The International Conference on Web Engineering (ICWE), is the prime yearly international conference on the different aspects of designing, building, maintaining and using Web applications.

ICWE 2020 will be held on June 9-12, 2020 in Helsinki, Finland. The theme for year 2020 -- the 20th edition of the event -- is Enhancing the Web with Advanced Engineering. The conference will cover the different aspects of Web Engineering, including the design, creation, maintenance and usage of Web applications. ICWE 2020 is endorsed by the International Society for the Web Engineering (ISWE) and belongs to the ICWE conference series owned by ISWE.

ICWE aims to bring together researchers and practitioners from various disciplines in academia and industry to tackle the emerging challenges in the engineering of Web applications and in the problems of its associated technologies, as well as the impact of those technologies on society, media and culture.

The conference will be held at the University of Helsinki in Finland.

The 20th edition of ICWE will accept contributions related to different dimensions of Web Engineering:

Web application development, modeling and engineering
Web infrastructures and architectures
Execution models, such as serverless computing
Human computation and crowdsourcing applications
Web application composition and mashups
Social and Semantic Web applications
Web of Things applications
Big Data and data analytics
Security, privacy, and identity on the Web
Web standards

广告