CCF | 国际会议信息8条

软件工程

ICFEM 2019

International Conference on Formal Engineering Methods

全文截稿: 2019-05-21

开会时间: 2019-11-05

会议难度: ★★★

CCF分类: C类

会议地点: Shenzhen, China

网址：http://csse.szu.edu.cn/icfem2019/

Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal engineering methods and their practical applications will also be considered.
Abstraction, refinement and evolution
Formal specification and modeling
Program analysis
Formal verification
Model checking
Formal approaches to software testing and inspection
Formal methods for self-adaptive systems
Formal methods for object-oriented systems
Formal methods for component-based systems
Formal methods for concurrent and real-time systems
Formal methods for cloud computing
Formal methods for cyber-physical systems
Formal methods for software safety, security, reliability and dependability
Tool development, integration and experiments involving verified systems
Formal methods used in certifying products under international standards
Formal model-based development and code generation

人工智能

CoNLL 2019

Conference on Natural Language Learning

全文截稿: 2019-05-31

开会时间: 2019-11-03

会议难度: ★★★

CCF分类: C类

会议地点: Hong Kong, China

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

We invite the submission of papers on all aspects of computational approaches to natural language learning, particularly interdisciplinary research combining cognitive aspects of language processing and machine learning, including, but not limited to:

Computational Learning Theory and Analysis of Language Learning
Computational Models of First, Second and Bilingual Language Acquisition
Computational Models of Language evolution and Change
Computational Psycholinguistics
Computational Simulation and Analysis of Psycholinguistic Findings
Data Resources, Techniques and Tools for Computational Modeling of Human Language Acquisition and Processing
Dialogue and Interactive Systems
Discourse and Coreference
Information Extraction
Information Retrieval, Question Answering
Investigations of Learning Methods (e.g. machine learning, biologically-inspired, active learning, hybrid models) from a Cognitive Perspective
Language Models, Segmentation
Lexical and Compositional Semantics
Linguistic Theories and Resources
Machine Learning for NLP
Machine Translation
Models of induction and Analogy in Linguistics
Morphological Analysis, POS Tagging and Sequence Labeling
Multilinguality and Cross-linguality
Multimodal and Grounded Language Processing
Narrative Understanding and Commonsense Reasoning
Natural Language Generation
Other NLP Applications
Sentiment Analysis and Opinion Mining
Spoken Language Processing
Summarization
Syntactic and Semantic Parsing
Text Mining

计算机网络

ICNP 2019

IEEE International Conference on Network Protocols

摘要截稿: 2019-05-24

全文截稿: 2019-05-31

开会时间: 2019-10-07

会议难度: ★★★★

CCF分类: B类

会议地点: Chicago, Illinois, USA

网址：https://icnp19.cs.ucr.edu/cfp.html

ICNP, the IEEE International Conference on Network Protocols, is the premier conference covering all aspects of network protocol research, including design, analysis, specification, verification, implementation, and performance. ICNP 2019 will be held in Chicago, Illinois, from Oct. 7-10, 2019.  

Papers with significant research contributions to the field of network protocols are solicited for submission. Papers cannot be previously published nor under review by another conference or journal. Papers containing plagiarized material will be subject to the IEEE plagiarism policy and will be rejected without review.  

Topics of interest include, but are not limited to:  

All aspects of network protocol research including design, specification, verification, implementation, measurement, testing, and analysis.  
Protocols for wireless networks, cellular networks, software-defined networks, data center networks, social networks, peer-to-peer networks, sensor networks, vehicular networks, and Internet of Things.  
Domain-specific solutions, including protocols for network security, routing, user privacy, and network management.  
Contributions to network architecture, e.g., specific algorithms and protocols for network virtualization or future Internet architectures.  
Papers must address specifically aspects of network protocol research. One of the accepted papers will be selected for a best paper award. Up to two of the best papers from ICNP will be fast tracked in the IEEE/ACM Transactions on Networking, with a streamlined journal review process.

软件工程

ICSOC 2019

International Conference on Service Oriented Computing

摘要截稿: 2019-05-19

全文截稿: 2019-05-31

开会时间: 2019-10-28

会议难度: ★★★★

CCF分类: B类

会议地点: Toulouse, France

网址：http://icsoc.org/

ICSOC, the International Conference on Service-Oriented Computing, is the premier international forum for academics, industry researchers, developers, and practitioners to report and share groundbreaking work in service-oriented computing. ICSOC fosters cross-community scientific excellence by gathering experts from various disciplines, such as business-process management, distributed systems, computer networks, wireless and mobile computing, cloud computing, cyber-physical systems, networking, scientific workflows, services science, data science, management science, and software engineering.

ICSOC 2019, the 17th event in this series, will take place in Toulouse, France and will bring together scientists, engineers, and practitioners from multiple disciplines to focus on service-oriented, cloud-based, innovative enterprises ready for the 21st century. The conference would be featuring research and industry presentations, forward-looking keynote presentations, workshops, demonstrations, tutorials, and a Ph.D. track.

ICSOC 2019 seeks outstanding, original contributions, including theoretical and empirical evaluations, as well as practical and industrial experiences, with emphasis on results that solve open research problems and have significant impact on the field of service-oriented computing. Specific topics of interest include but are not limited to:

1. Service Engineering
Legacy systems migration and modernization
Service design, specification, discovery, customization, composition, and deployment
Service change management
Service innovation
Theoretical foundations of Service Engineering

2. Run-time Service Operations and Management
Service execution middleware
Service monitoring and adaptive management
Quality of service
Workload compliance management
Service governance
Architectures for multi-host container deployments
Microservices deployment and management

3. Services and Data
Services for Big Data
Service for compute-intensive applications
Mining and analytics
Data-provisioning services
Services related linked open data
Automated Knowledge Graph creation

4. Services on the Cloud
Migration to virtual infrastructures
XaaS (everything as a service including IaaS, PaaS, and SaaS)
Service deployment and orchestration in the Cloud
Cloud service management
Cloud workflow management
Cloud brokers and coordination across multiple resource managers
Edge computing vs Cloud computing
Workload transformation

5. Services in the Internet of Things
Embedded and real-time services
RFID, sensor data, and services related to the Internet of Things
Services for IoT platforms and applications
Service oriented protocols for IoT applications
REST APIs and services for IoT platforms and applications

6. Services in Organizations, Business, and Society
Services science
Social networks and services
Cost and pricing of services
Service marketplaces and ecosystems
Service business models
Enterprise architecture and services
Service Chatbots

7. Services at the Edge
Cloud and fog computing
Analytics and knowledge generation services
Edge service orchestration
Lightweight service deployment and management
Services and edge gateway architectures
Quality of Service (QoS) in edge services
Security, privacy, and trust of edge services

8. Services for Softwarized Network Functions and Software Defined Networks
Service Network Function Management and Orchestration
Services for novel and emerging networking protocols
Named data networking
Network and transport mechanisms
Virtualized Network Functions and Services
Virtualized Service Function Chaining

人工智能

ICTAI 2018

IEEE International Conference on Tools with Artificial Intelligence

全文截稿: 2019-06-01

开会时间: 2019-11-05

会议难度: ★★★

CCF分类: C类

会议地点: Volos,Greece

网址：http://ictai2018.org/

[Empty]

人工智能

ILP 2019

International Conference on Inductive Logic Programming

摘要截稿: 2019-05-25

全文截稿: 2019-06-01

开会时间: 2019-09-05

会议难度: ★★★

CCF分类: C类

会议地点: Plovdiv, Bulgaria

网址：https://ilp2019.org/

Welcome to the Web site of the 29th International Conference on Inductive Logic Programming, which will take place in Plovdiv, Bulgaria on 3-5 Sep 2019!

Inductive Logic Programming (ILP) is a subfield of machine learning, which relies on logic programming as a uniform representation language for expressing examples, background knowledge and hypotheses. Due to its strong representation formalism, based on first-order logic, ILP provides an excellent means for multi-relational learning and data mining.

The ILP conference series, started in 1991, is the premier international forum for learning from structured or semi-structured relational data. Originally focusing on the induction of logic programs, over the years it has expanded its research horizon significantly and welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches.

数据库管理与信息检索

ICDM 2019

IEEE International Conference on Data Mining

全文截稿: 2019-06-05

开会时间: 2019-11-08

会议难度: ★★★★

CCF分类: B类

会议地点: Beijing, China

网址：http://icdm2019.bigke.org/

The IEEE International Conference on Data Mining (ICDM) has established itself as the world’s premier research conference in data mining. It provides an international forum for presentation of original research results, as well as exchange and dissemination of innovative and practical development experiences. The conference covers all aspects of data mining, including algorithms, software, systems, and applications. ICDM draws researchers, application developers, and practitioners from a wide range of data mining related areas such as statistics, machine learning, pattern recognition, databases, data warehousing, data visualization, knowledge-based systems, and high-performance computing. By promoting novel, high-quality research findings, and innovative solutions to challenging data mining problems, the conference seeks to advance the state-of-the-art in data mining.  

Topics of Interest  
==============  
Topics of interest include, but are not limited to:  
o Foundations, algorithms, models and theory of data mining, including big data mining.  
o Machine learning and statistical methods for data mining.  
o Mining from heterogeneous data sources, including text, semi-structured, spatio-temporal, streaming, graph, web, and multimedia data.  
o Data mining systems and platforms, and their efficiency, scalability, security and privacy.  
o Data mining for modelling, visualization, personalization, and recommendation.  
o Data mining for cyber-physical systems and complex, time-evolving networks.  
o Applications of data mining in social sciences, physical sciences, engineering, life sciences, web, marketing, finance, precision medicine, health informatics, and other domains.

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

SoCC 2019

ACM Symposium on Cloud Computing

摘要截稿: 2019-06-03

全文截稿: 2019-06-10

开会时间: 2019-11-20

会议难度: ★★★★

CCF分类: B类

会议地点: Chaminade, Santa Cruz, California, USA

网址：https://acmsocc.github.io/2019/

The annual ACM Symposium on Cloud Computing (SoCC’19) brings together researchers, developers, users, and practitioners interested in cloud computing. ACM SoCC’19 is the 10th edition of the premier conference on cloud computing; it is the only conference co-sponsored by the ACM Special Interest Groups on Management of Data (SIGMOD) and on Operating Systems (SIGOPS). SoCC will be held in Chaminade, Santa Cruz, California, to foster connections between the academic and industrial communities operating in the cloud space. We solicit original contributions on all aspects of cloud computing. We particularly encourage submissions on the research, development, practice, and experience of cloud computing systems and data management. Specific topics of interest include but are not limited to the following, when related to the cloud:

Administration and Manageability
Cross Datacenter Data Management
Data Services Architectures
Data Markets
Distributed and Parallel Query Processing
Distributed Systems
Energy Efficiency and Management
Fault Tolerance, High Availability, and Reliability
IoT Infrastructure
Large Scale Cloud Applications
Services and Systems for Machine Learning
Multi-Tenancy
Networking and SDNs
Platform for Services
Privacy of Data and Computation
Programming Models
Provisioning and Metering
Query Optimization
Resource Management
Scientific Data Management
Security of Infrastructure and Services
Service Level Agreements
Storage Systems and New Technologies
Transactional Models
Virtualization, Containers, VMs

广告