【软件工程类】会议/专刊截稿信息6条

软件工程

LATA 2018

International Conference on  Language and Automata Theory and Applications

全文截稿: 2017-11-17

开会时间: 2018-04-08

会议难度: ★★

CCF分类: 无

会议地点: Ramat Gan, Israel

网址：http://grammars.grlmc.com/LATA2018/

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2018 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

Topics of either theoretical or applied interest include, but are not limited to:
-algebraic language theory
-algorithms for semi-structured data mining
-algorithms on automata and words
-automata and logic
-automata for system analysis and programme verification
-automata networks
-automatic structures
-codes
-combinatorics on words
-computational complexity
-concurrency and Petri nets
-data and image compression
-descriptional complexity
-foundations of finite state technology
-foundations of XML
-grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)
-grammatical inference and algorithmic learning
-graphs and graph transformation
-language varieties and semigroups
-language-based cryptography
-mathematical and logical foundations of programming methodologies
-parallel and regulated rewriting
-parsing
-patterns
-power series
-string processing algorithms
-symbolic dynamics
-term rewriting
-transducers
-trees, tree languages and tree automata
-weighted automata

软件工程

Journal of Logical and Algebraic Methods in Programming

Special Issue on Computational modelling and data-driven techniques for systems analysis

全文截稿: 2017-11-30

影响因子: 0.692

CCF分类: C类

中科院JCR分区:

  • 大类 : 工程技术 - 4区

  • 小类 : 计算机：理论方法 - 4区

  • 小类 : 逻辑学 - 2区

网址: http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming

This Special Issue aims at bringing together contributions from academia, industry and research institutions interested in the combined application of computational modelling methods with data-driven techniques from the areas of knowledge management, data mining and machine learning. Modelling methodologies of interest include automata, agents, Petri nets, process algebras and rewriting systems. Application domains include social systems, ecology, biology, medicine, smart cities, governance, education, software engineering, and any other field that deals with complex systems and large amounts of data.

More specifically, research results in any of the themes of interest of the DataMod 2017 symposium and its previous editions (http://pages.di.unipi.it/datamod/edition-2017/) are welcome. Moreover, we encourage the submission of synergistic approaches: modelling methods and notations in a knowledge management/discovery context and/or the development and use of common modelling and knowledge management/discovery frameworks to explore and understand complex systems from the application domains of interest.

Papers that at the time have appeared in archived conference proceedings (e.g. in DataMod 2017) will be considered for publication only if there is at least 30% of new material (i.e. important additional empirical results, extensions of the methods and so on) compared to the conference version of the paper. Authors of such submissions are required to enclose a letter discussing in detail the differences between the already published version and the submission. The Editors reserve the decision as to whether the 30% difference requirement is met. Papers may address topics including, but not limited to, the following.

TOPICS

1. Modelling and analysis methodologies include:

- Agent-based Methodologies

- Automata-based Notations

- Big Data Analytics

- Cellular Automata

- Classification

- Clustering, Segmentation and Profiling

- Conformance Analysis

- Constraint Programming

- Data Mining

- Differential Equations

- Empirical Modelling

- Game Theory

- Machine Learning

- Membrane Systems

- Network Theory and Analysis

- Ontologies

- Optimisation Modelling

- Petri Nets

- Process Calculi

- Process Mining

- Rewriting Systems

- Spatio-temporal Data Analysis/Mining

- Statistical Model Checking

- System Dynamics

- Text Mining

- Topological Data Analysis

2. Application domains include:

- Biology

- Brain Data and Simulation

- Business Process Management

- Climate Change

- Cybersecurity

- Ecology

- Education

- Environmental Risk Assessment and Management

- Enterprise Architectures

- Epidemiology

- Genetics

- Governance

- Open Source Software Development and Communities

- Pharmacology

- Resilience Engineering

- Safety and Security Risk Assessment

- Social Good

- Social Software Engineering

- Social Systems

- Sustainable Development

- Threat modelling and analysis

- Urban Ecology and Smart Cities

软件工程

CSE 2018

Workshop on Continuous Software Engineering

摘要截稿: 2017-12-07

全文截稿: 2017-12-14

开会时间: 2018-03-06

会议难度: ★★

CCF分类: 无

会议地点: ULM

网址：http://cse2018.swc-rwth.de

In order to develop and deliver high-quality products to their customers, software companies have to adopt state-of-the-art software development processes. To face this challenge, companies are applying innovative methods, approaches and techniques like agile methods, DevOps, Continuous Delivery, test automation, infrastructure as code or container-based virtualization.

These new approaches have a high impact on the specification, design, development, maintenance, operation and the evolution of software systems. Therefore, common software engineering activities, organizational forms and processes have to be questioned, adapted and extended to ensure continuous and unobstructed soft-ware development (Continuous Software Engineering). So far, there is a lack of systematic approaches to face these challenges.

The goal of this workshop is to present and discuss innovative solutions, ideas and experiences in the area of Continuous Software Engineering (CSE).

The topics of interest include, but are not restricted to the following:
-Processes & Workflows
-Technologies & Tools
-Architecture
-Quality & Testing
-Microservices & DevOps
-Culture & Business

软件工程

ISPS 2018

International Symposium on Programming and Systems

全文截稿: 2017-12-15

开会时间: 2018-04-24

会议难度: ★★

CCF分类: 无

会议地点: Algiers, Algeria

网址：http://www.isps.usthb.dz/

The International Symposium on Programming and Systems (ISPS) is a biennial event that aims to bring together leading practitioners, academic scientists, researchers and research scholars in computer science to exchange and share their experiences and research results in various areas of the field. To catch up with the development pace of Information and Communication Technologies (ICT) and their use to improve the lives of people, the 13th edition of ISPS will focus on opportunities, challenges, case studies and future trends of e-governance in the era of digital smart cities and next generation computing ecosystem. By “digital city” we are referring to a connected community that combines a communication infrastructure, virtual environments and innovative services to meet the needs of good governance and sustainable national development. We solicit high-quality original papers covering the latest research and innovation in using cutting-edge ICT in e-governance. Papers from all viewpoints, including theory, practice, and experimentation, are welcome. ISPS 2018 conference invites paper submissions presenting original work within a range of topics, including but not limited to:
-e-Government: big data, cloud computing, cloud services, e-Administration, e-Assistance, e-Services, e-Defense for security and protection, geographical information systems, mobile government, policy issues security, privacy and ethics, smart government, IoT, m-Government, …
-e-Democracy: electronic identity, identity management, electronic signature, e-Voting, public key infrastructure, security, social network participation, citizen democracy,
-e-Society: collaborative learning, data and opinion mining, e-Education, smart cities, Web-based Learning Communities, citizen learning, smart territory, social e-Innovation, …
-e-Health: e-Health services, e-Medicine, e-Health policy and practice, e-Healthcare strategies and provision, home care, mobile emergency, medical research ethics, patient privacy and confidentiality, tele-monitoring, wireless telemedicine, universal health-id, health-app, …
-e-Governance: business process reengineering, decision support systems, IT governance, knowledge management, participatory governance, performance management, public sector innovation, public sector innovation management, public sector innovation transfer, transparency and accountability, open governance, city OS, …

软件工程

OSS 2018

International Conference on Open Source Systems

摘要截稿: 2018-01-12

全文截稿: 2018-01-19

开会时间: 2018-06-08

会议难度: ★★★

CCF分类: 无

会议地点: Athens, Greece

网址：https://www.oss2018.org

The goal of 14th International Conference on Open Source Systems, OSS 2018 is to provide an international forum where a diverse community of professionals from academia, industry, and the public sector, and diverse FLOSS initiatives can come together to share research findings and practical experiences. The conference is also a forum to provide information and education to practitioners, identify directions for further research, and to be an ongoing platform for technology transfer, no matter which form of FLOSS is being pursued.

软件工程

FM 2018

International Symposium on Formal Methods

摘要截稿: 2018-01-08

全文截稿: 2018-01-22

开会时间: 2018-07-15

会议难度: ★★★★

CCF分类: B类

会议地点: Oxford, UK

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

FM 2018 is the latest in a series of symposia organized by Formal Methods Europe, an independent association that encourages the use of, and research on, formal methods for the engineering of computer-based systems and software. The symposia have been notably successful in bringing together researchers and industrial users around a programme of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral work. FM 2018 will take place in Oxford UK from Sunday July 15 to Tuesday July 17, 2018 as part of FLoC 2018, the Federated Logic Conferences. The programme of FM 2018 also comprises a Doctoral Symposium and an Industry Day, as well as a number of FLoC 2018 workshops associated with FM 2018.

专

刊

推

广

专刊链接