计算机 | ISSTA 2019等国际会议信息7条

信息安全及密码学

CNS 2019

IEEE Conference on Communications and Network Security

全文截稿: 2018-12-21

开会时间: 2019-06-10

会议难度: ★★★

CCF分类: 无

会议地点: Washington DC, USA

网址：https://cns2019.ieee-cns.org

The IEEE Conference on Communications and Network Security (CNS) is a premier forum for cyber security researchers, practitioners, policy makers, and users to exchange ideas, techniques and tools, raise awareness, and share experiences related to all practical and theoretical aspects of communications and network security. The conference seeks submissions from academia, government, and industry presenting novel research results in communications and network security.

Particular topics of interest include, but are not limited to:

Anonymity and privacy technologies
Censorship countermeasures and privacy
Combating cyber-crime (anti-spam, anti-phishing, anti-fraud techniques, etc.)
Computer and network forensics
Cyber deterrence strategies
Game-theoretic security technologies
Implementation and evaluation of networked security systems
Information-theoretic security
Intrusion detection, prevention, and response
Key management, public key infrastructures, certification, revocation, and authentication
Malware detection and mitigation
Security metrics and models
Physical-layer and cross-layer security technologies
Security and privacy for big data
Security and privacy for data and network outsourcing services
Security and privacy for mobile and wearable devices
Security and privacy in cellular networks
Security and privacy in cloud and edge computing
Internet Security: protocols, standards, measurements
Security and privacy in crowdsourcing
Security and privacy in cyber-physical systems
Security and privacy in emerging wireless technologies and applications (dynamic spectrum sharing, cognitive radio networks, millimeter wave communications, MIMO systems, smart/connected vehicles, UAS, etc.)
Security and privacy in peer-to-peer and overlay networks
Security and privacy in WiFi, ad hoc, mesh, sensor, vehicular, body-area, disruption/delay tolerant, and social networks.
Security and privacy in smart cities, smart and connected health, IoT, and RFID systems
Security for critical infrastructures (smart grids, transportation systems, etc.)
Security for future Internet architectures and designs
Security for software-defined and data center networks
Security in machine learning
Social, economic, and policy issues of trust, security, and privacy
Traffic analysis
Usable security and privacy
Web, e-commerce, m-commerce, and e-mail security

计算机综合与前沿

icist 2019

International Conference on Information Systems and Technologies

全文截稿: 2018-12-30

开会时间: 2019-03-24

会议难度: ★★

CCF分类: 无

会议地点: Cairo, Egypt

网址：http://www.ijist.net/ICIST2019/

ICIST'2019 (Cairo, Egypte) is a forum for researchers, developers and industrials in the information systems field and the continuance of the following event: ICIST'11 (Tebessa, Algeria), ICIST'12 (Sousse, Tunisia), ICIST'13 (Tangier, Morocco), ICIST'14 (Valancia, Spain), ICIST'15 (Istanbul, Turkey), ICIST'16 (Barcelona, Spain), ICIST'2017 (Dubai, UAE) and ICIST'2018 (Istanbul, Turkey). It reports progress and development of methodologies, technologies, planning and implementation, tools and standards in information systems. The conference looks also at socio-economic aspects, impacts and success factors of information systems. ICIST'2019 aims at addressing issues related to the design, development and use of information systems in organizations from a multidisciplinary perspective, and to discuss, the research, teaching and professional practice in the field. ICIST 2019 brings together leading academics and professionals in information systems from around the world. It aims at providing a platform for discussions on issues that take into consideration the social and technological aspects of information systems. The conference program includes paper presentation, keynote talks from prominent academics, Posters and Panels.

计算机体系结构,并行与分布式计算

ARITH 2019

IEEE Symposium on Computer Arithmetic

摘要截稿: 2019-01-14

全文截稿: 2019-01-21

开会时间: 2019-06-10

会议难度: ★★★★

CCF分类: 无

会议地点: Kyoto, Japan

网址：null

Welcome to the website of the 26th edition of the ARITH symposium. The conference will take place from Monday, June 10th, to Wednesday, June 12th, 2019, in Kyoto, Japan.

Since 1969, the ARITH symposia have served as the flagship conference for presenting scientific work on the latest research in computer arithmetic. Computer arithmetic is now driving the most important innovations and product directions in our industry, such as artificial intelligence and security. Since 1981, the ARITH symposia have been a biennial event. They are now an annual event starting from 2015. See the archives page for more information on previous symposia.

Authors are invited to submit papers describing recent advances on all aspects related to computer arithmetic, its applications or implementations. This includes, but is not restricted to, the following topics:

Foundations of number systems and arithmetic
Arithmetic processor design and implementation
Arithmetic and datapath design for artificial intelligence, machine learning, and deep learning
Numerics for artificial intelligence, machine learning, and deep learning
Arithmetic algorithms and their analysis
Floating-point units, algorithms, and numerical analysis
Elementary and special function implementations
Power-efficient or low-energy arithmetic units and processors
Industrial implementation of arithmetic units and processors
Test, validation, and formal verification techniques for arithmetic implementations
Fault/error-tolerance in arithmetic implementations
Arithmetic for FPGAs and reconfigurable logic
Design automation for computer arithmetic implementations
Computer arithmetic for security and cryptography
Arithmetic to enhance accuracy or reliability (multiple-precision, interval arithmetic, ...)
Arithmetic challenges in HPC and exascale computing (accuracy, reproducibility, ...)
Arithmetic for specific application domains (big-data analytics, signal processing, computer graphics, multimedia, computer vision, finance, ...)
Computer arithmetic in emerging technologies
Non-conventional computer arithmetic and applications

软件工程

ISSTA 2019

The International Symposium on Software Testing and Analysis

全文截稿: 2019-01-28

开会时间: 2019-07-15

会议难度: ★★★★

CCF分类: B类

会议地点: Beijing, China

网址：https://conf.researchr.org/home/issta-2019

The ACM SIGSOFT International Symposium on Software Testing and Analysis is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.  
ISSTA 2019 will be held in Beijing, China, on July 15-19, 2019.  

ISSTA 2019 will be co-located with SPIN 2019, Testing Competition and Diversity@ISSTA - Ada workshop.


ISSTA 2019 will be held in Crowne Plaza Beijing Zhongguancun. Zhongguancun is known as China’s Silicon Valley and China’s center of innovation and technology entrepreneurship. China’s two most prestigious universities, Peking University and Tsinghua University, along with the Chinese Academy of Sciences, are located in Zhongguancun. There are also numerous IT companies and Internet firms in that area.

软件工程

RoSE 2019

International Workshop on Robotics Software Engineering

全文截稿: 2019-02-01

开会时间: 2019-05-27

会议难度: ★★★

CCF分类: 无

会议地点: Montreal, Canada

网址：https://rose-workshops.github.io/rose2019/

Robotics is one of the most challenging domains for software engineering. Deploying even simple applications requires integrating solutions from experts of various domains, including navigation, path planning, manipulation, localization, human-robot interaction, etc. Integration of modules contributed by respective domain experts is one of the key challenges in engineering software-centric systems, yet only one of the cross-cutting software concerns crucial to robotics. As robots often operate in dynamic, partially observable environments additional challenges include adaptability, robustness, safety, and security.

The goal of RoSE 2019 is to bring together researchers from participating domains with practitioners to identify new frontiers in robotics software engineering, discuss challenges raised by real-world applications, and transfer latest insights from research to industry. RoSE 2019 will solicit contributions from both academic and industrial participants, thus fostering active synergy between the two communities.

软件工程

SERP4IoT 2019

International Workshop on  Software Engineering Research & Practices  for the Internet of Things

全文截稿: 2019-02-01

开会时间: 2019-05-27

会议难度: ★★★

CCF分类: 无

会议地点: Montréal, Canada.

网址：https://moar82.github.io/SERP4IoT/

IoT systems are composed of software systems that enable solutions for device connectivity, device management, data management, application development, and advanced analytics for/from connected IoT systems. Software engineering is vital for IoT to design systems that are secure, interoperable, modifiable, and scalable. However, there is no a consensus of crucial questions like what are the best practices for developing projects for IoT, how to select the best architecture, which communications protocols are the most suitable, and what are the best practices in terms of security.

SERP4IoT 2019 aims to provide a highly interactive forum for researchers and practitioners to address the challenges of, find solutions for, and share experiences with the development, release, and testing of robust software for IoT devices. The workshop will consist of rocking keynote presentations (delivered by Enrique Alba from University of Malaga, Spain;  Hausi A. Müller from University of Victoria, Canada , and Jerome Bedard from Kinova Robotics), long- and short-paper presentations, talks, poster sessions, working groups after each lighting session, and a fishbowl panel for semi-structured group discussions at the end of the workshop.  

软件工程

WETSEB 2019

International Workshop on Emerging Trends in Software Engineering for Blockchain

全文截稿: 2019-02-01

开会时间: 2019-05-27

会议难度: ★★

CCF分类: 无

会议地点: Montréal, Canada.

网址：http://www.agilegroup.eu/wetseb2019/

This workshop aims at bringing the interest of researchers, practitioners, and people from industry to the current issues and new directions and challenges for blockchain-oriented software engineering and at investigating the need for novel specialized software engineering practices for the Blockchain software sector.

The topics of interest in the discussion include:

Blockchain-Oriented Software Engineering.
Blockchain software analysis and re-engineering
Formal specification of Blockchain behavior
Agile and Lean processes for Blockchain software development
Tools for Blockchain software distributed development and community management
Smart Contracts re-engineering
Security and reliability in Blockchain and Smart Contracts
Smart Contract Testing (SCT)
Blockchain Transaction Testing (BTT) to ensure status integrity
Blockchain Software architecture, design notation and metamodels
Applications in Economy and Finance
Internet of Things
Notarization Supply chain management Web 3.0 e-commerce, e-health, e-democracy social networks.

下载Call4Papers App，获取更多详细内容！