计算机类 | 国际会议截稿信息4条

软件工程

SEFM 2018

International Conference on Software Engineering and Formal Methods

摘要截稿: 2018-02-23

全文截稿: 2018-03-02

开会时间: 2018-06-27

会议难度: ★★

CCF分类: 无

会议地点: Toulouse, France

网址：https://www.isf.cs.tu-bs.de/cms/events/sefm2018/

The 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, will be held on 27-29 June 2018 collocated with STAF 2018 in Toulouse, France.

The conference aims to bring together leading researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

The topics of interest for submission include, but are not limited to, the following aspects of software engineering and formal methods:
-Software development methods: requirement analysis, modeling, specification and design; light-weight and scalable formal methods; software evolution, maintenance, re-engineering and reuse.
-Design principles: programming languages; domain specific languages; type theory; abstraction and refinement, correctness-by-construction
-Software verification and testing: model checking, theorem proving and decision procedures; verification and validation; probabilistic verification and synthesis; testing.
-Functional and non-functional system properties, such as safety-critical, fault-tolerant and secure systems; software certification; performance analysis and management, resource-constrained computing, energy-aware computing.
-Design principles and analysis techniques for different system paradigms, such as self-adaptive, service-oriented and cloud computing systems; component-based, object-oriented and multi-agent systems; real-time, hybrid and embedded systems; reconfigurable and variant-rich systems, intelligent systems, e.g., based on machine learning algorithms
-Application and technology transfer: case studies, best practices and experience reports; tool integration; education; HCI, interactive systems and human error analysis.

计算机科学与技术

SMC 2018

Sound & Music Computing Conference

全文截稿: 2018-03-22

开会时间: 2018-07-04

会议难度: ★★

CCF分类: 无

会议地点: Limassol, Cyprus

网址：http://cyprusconferences.org/smc2018/index.html

We are now inviting papers for oral and poster/demo presentations. We are accepting submissions examining all the core topics of the Sound and Music Computing field, and in particular matching this year's topic of Sonic Crossings. All submissions will be peer-reviewed. We are also welcoming music submissions.

Core Topics:
-Acoustics and psychoacoustics
-AI and music performance
-Analysis/synthesis of the singing voice
-Applications in audio and music
-Architectural acoustics modeling and auralization
-Assistive technologies
-Audio and music for AR/VR
-Audio and music for games
-Audio Interactions
-Audio recognition and birdsinging
-Audio/Music Information Retrieval
-Auditory display
-Automatic music generation /accompaniment systems
-Bioacoustic modeling
-Biomusic and sound installations
-Computational archeomusicology
-Computational Byzantine musicology
-Computational ethnomusicology
-Computational musicology and mathematical music theory
-Computational ornithomusicology
-Computer music software and programming languages
-Data sonification
-Digital systems of tuning
-Ethics of sound and new technologies
-Gesture, motion and music
-...

All accepted papers, independently of the presentation format, will be included in the conference Proceedings. The Proceedings will have a ISBN and will be distributed both as a printed and an electronic publication. The electronic version will be available on the SMC website (smcnetwork.org) Please note that at least one of the paper authors has to register to the conference in order for the paper to be accepted, presented, and included in the Proceedings.

计算机科学理论

PMAA 2018

International Workshop on Parallel Matrix Algorithms and Applications

全文截稿: 2018-03-30

开会时间: 2018-06-27

会议难度: ★★★

CCF分类: 无

会议地点: Zurich, Switzerland

网址：https://pmaa18.inf.ethz.ch/

The workshop aims at being a forum for an exchange of ideas, insights and experiences in different areas of parallel computing (Multicores, Manycores and GPUs) and applications in which matrix algorithms are employed.

The PMAA18 workshop will bring together experts and researchers from diverse disciplines with a common interest in matrix computation. The purpose of the workshop is to discuss recent developments in various aspects of parallel matrix algorithms and to bring together mathematicians, computational scientists and engineers. The workshop will focus on
-Parallel methods for solving large sparse or dense linear systems of equations.
-Parallel eigenvalue and singular value computations.
-Automatic tuning and performance modeling.
-Novel architectural paradigms (e.g. GPUs or multicores) and their use in matrix computations and applications.
-Large scale scientific applications from diverse fields which have an emphasis on parallel matrix computation.

We invite you to submit scientific contributions in all fields of numerical analysis, scientific and industrial applications, software development, and high performance computing. From the submissions received, the Organizing Committee will select papers to be presented as oral contributions. We hope that this opportunity to present and discuss science will interest you, and we look forward to seeing you in Zurich!

计算机科学理论

CONCUR 2018

International Conference on Concurrency Theory

摘要截稿: 2018-04-17

全文截稿: 2018-04-23

开会时间: 2018-09-04

会议难度: ★★★★

CCF分类: B类

会议地点: Beijing, China

网址：http://lcs.ios.ac.cn/concur2018/

Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to):
-Basic models of concurrency such as abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, biology-inspired systems, and synchronous systems;
-Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics;
-Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis;
-Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols.
-Theoretical foundations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, communication networks, multiprocessor and multi-core architectures, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented.

会

议

推

广

会议链接