计算机类 | 中低难度国际会议信息10条

数据库管理与信息检索

ICDATA 2019

International Conference on Data Science

全文截稿: 2019-03-26

开会时间: 2019-07-29

会议难度: ★★

CCF分类: 无

会议地点: Las Vegas, Nevada, USA

网址：http://www.icdata.org

Topics of interest include (but are not limited to) all aspects of Data Science, Data Mining, Machine Learning, Data Science, Artificial and Computational Intelligence, Big Data, … including: (see topics for details)

Methods & Algorithms
Tasks & Processes
ApplicationsTools & Software
Data Warehousing
Big Data

软件工程

TAP 2019

International Conference on Tests and Proofs

摘要截稿: 2019-03-28

全文截稿: 2019-04-11

开会时间: 2019-10-09

会议难度: ★★★

CCF分类: 无

会议地点: Porto, Portugal

网址：https://tap.sosy-lab.org/2019/index.php

The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

Research in verification has recently seen a steady convergence of heterogeneous techniques and a synergy between the traditionally distinct areas of testing (and dynamic analysis) and of proving (and static analysis). Formal techniques for counter-example generation based on, for example, symbolic execution, SAT/SMT-solving or model checking, furnish evidence for the potential of a combination of test and proof. The combination of predicate abstraction with testing-like techniques based on exhaustive enumeration opens the perspective for novel techniques of proving correctness. On the practical side, testing offers cost-effective debugging techniques of specifications or crucial parts of program proofs (such as invariants). Last but not least, testing is indispensable when it comes to the validation of the underlying assumptions of complex system models involving hardware and/or system environments. Over the years, there is growing acceptance in research communities that testing and proving are complementary rather than mutually exclusive techniques.

The TAP conference aims to promote research in the intersection of testing and proving by bringing together researchers and practitioners from both areas of verification.

计算机综合与前沿

NAS 2019

International Conference on Networking, Architecture, and Storage

全文截稿: 2019-04-23

开会时间: 2019-08-15

会议难度: ★★

CCF分类: 无

会议地点: Enshi, China

网址：http://www.nas-conference.org/NAS-2019/

The 14th International Conference on Networking, Architecture, and Storage (NAS 2019) will be held from August 15 − 17, 2019 at Enshi, China. NAS provides a high-quality international forum to bring together researchers and practitioners from academia and industry to discuss cutting-edge research on networking, high-performance computer architecture, and parallel and distributed data storage technologies. NAS 2019 will expose participants to the most recent developments in the interdisciplinary areas. Authors are invited to submit previously unpublished work for possible presentation at the conference. All accepted papers will be published in IEEE digital library. Selected and extended papers will be recommended to the special issue of Concurrency and Computation: Practice and Experience (SCI indexed).

计算机综合与前沿

ICCCEEE 2019

International Conference on Computer, Control, Electrical, and Electronics Engineering

全文截稿: 2019-04-30

开会时间: 2019-09-21

会议难度: ★

CCF分类: 无

会议地点: Khartoum, Sudan

网址：http://iccceee19.mashreq.edu.sd

ICCCEEE19 is organized by Mashreq University, Khartoum North, Sudan on 21 – 23 September 2019. This conference is co-sponsored by IEEE, and the IEEE Sudan subsection. It offers an open platform for the Engineering and the Science community to collaborate, share ideas on hot issues, and develop endings to guide trends. The conference targets to bring together all scholars, researchers, innovators, students, and industry professions from different regions to promote the Engineering and the Technology sector.
The conference represents a core point that stimulates an environment for early career researchers to acquire the necessary research skills in Engineering/Science areas. All accepted and presented papers will be included in both the conference Proceedings and the IEEE Xplore® Digital Library.

信息安全及密码学

IWSECC 2019

International Workshop on Security Engineering for Cloud Computing

全文截稿: 2019-04-30

开会时间: 2019-08-26

会议难度: ★★

CCF分类: 无

会议地点: Canterbury, UK

网址：https://www.ares-conference.eu/workshops/iwsecc-2019/

THE TECHNICAL TOPICS OF INTEREST FOR THIS WORKSHOP INCLUDE, BUT ARE NOT LIMITED TO:
Privacy Engineering
Security Engineering methodologies
Security Patterns
Secure Architecture Evolution
Forensics in Clouds
Security analysis, challenges, goals and risks
Security Engineering Theory and Practice
Distributed authentication and authentication
Real time analysis of security (log) data for alert generation
Remote collection of evidence (e.g. from cloud servers)
Fog Computing Security & Privacy

软件工程

MPC 2019

International Conference on Mathematics of Program Construction

摘要截稿: 2019-04-26

全文截稿: 2019-05-03

开会时间: 2019-10-07

会议难度: ★★

CCF分类: 无

会议地点: Porto, Portugal

网址：http://www.cs.nott.ac.uk/%7Epszgmh/mpc19.html

MPC seeks original papers on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Typical areas include type systems, program analysis and transformation, programming language semantics, security, and program logics. The notion of a 'program' is interpreted broadly, ranging from algorithms to hardware.

Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. We also encourage the submission of 'programming pearls' that present elegant and instructive examples of the mathematics of program construction.

计算机科学与技术

PPDP 2019

International Symposium on Principles and Practice of Declarative Programming

摘要截稿: 2019-04-26

全文截稿: 2019-05-03

开会时间: 2019-10-07

会议难度: ★★

CCF分类: 无

会议地点: Porto, Portugal

网址：http://ppdp2019.macs.hw.ac.uk

Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to

Language Design: domain-specific languages; interoperability; concurrency, parallelism, and distribution; modules; probabilistic languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming.
Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management.
Foundations: types; logical frameworks; monads and effects; semantics.
Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing.
Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education.

计算机科学与技术

SISAP 2019

International Conference on Similarity Search and Applications

全文截稿: 2019-05-03

开会时间: 2019-10-02

会议难度: ★★

CCF分类: 无

会议地点: Newark NJ, USA

网址：http://sisap.org/2019/

The 12th International Conference on Similarity Search and Applications (SISAP) is an annual forum for researchers and application developers in the area of similarity data management. It aims at the technological problems shared by numerous application domains, such as data mining, information retrieval, computer vision, pattern recognition, computational biology, geography, biometrics, machine learning, and many others that need similarity searching as a necessary supporting service.
The SISAP initiative (www.sisap.org) aims to become a forum to exchange real-world, challenging and innovative examples of applications, new indexing techniques, common test-beds and benchmarks, source code and up-to-date literature through its web page, serving the similarity search community. Traditionally, SISAP puts emphasis on the distance-based searching, but in general the conference concerns both the effectiveness and efficiency aspects of any similarity search problem.

计算机综合与前沿

VECoS 2019

International Conference on Verification and Evaluation of Computer and Communication Systems

摘要截稿: 2019-04-30

全文截稿: 2019-05-08

开会时间: 2019-10-07

会议难度: ★★

CCF分类: 无

会议地点: Porto, Portugal

网址：http://vecos-world.org/2019/

Topics of interest include, but are not limited to:

Abstraction techniques
Certification standards for real-time systems
Compositional verification
Correct-by-construction design
Dependability assessment techniques
Equivalence checking
Model-checking
Parameterized verification
Performance and robustness evaluation
Probabilistic verification
QoS evaluation, planning and deployment
RAMS (Reliability Availability Maintainability Safety) assessment
Rigorous system design
Security protocols verification
Simulation techniques of discrete-event and hybrid systems
Supervisory control
Verification & validation of IoT
Verification & validation of safety-critical systems
Worst-case execution time analysis

计算机科学与技术

FedCSIS 2019

Federated Conference on Computer Science and Information Systems

全文截稿: 2019-05-14

开会时间: 2019-09-01

会议难度: ★★

CCF分类: 无

会议地点: Leipzig, Germany

网址：https://fedcsis.org

The mission of the FedCSIS Conference Series is to provide a highly acclaimed multi-conference forum in computer science and information systems. The forum invites researchers from around the world to contribute their research results and participate in Events focused on their scientific and professional interests in computer science and information systems.

The FedCSIS multi-conference consists of a significant number of recurring Events and it welcomes proposals for new Events (conferences, symposia, workshops, special sessions). Each Event may run over any span of time within the conference dates (from half-day to three days). Since 2012, Proceedings of the FedCSIS conference are indexed in the Web of Science and other indexing services.

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