计算机科学的顶会 lics,计算机类 | LICS 2019等国际会议信息7条

原标题：计算机类 | LICS 2019等国际会议信息7条

图形学与多媒体 ANIVAE 2019 IEEE Workshop on Animation in Virtual and Augmented Environments

全文截稿: 2019-01-07 开会时间: 2019-03-24 会议地点: Osaka, Japan 网址：https://anivae.fhstp.ac.at

Topics of interest include (but are not limited to):

Animated reality vs. mixed reality content

Animation techniques in AVR environments

Hardware/Software support for animation in AVR

Interdisciplinary and intermedia approaches (e.g. games, film, theatre, fine arts etc.)

Motion and/or performance capture

Tools/methods/use cases for Interactive dissemination of animated AVR content

Use Cases and Applications of animated content in AVR environments

User Acceptance of animated AVR contents

计算机科学理论 LICS 2019 Annual ACM/IEEE Symposium on Logic in Computer Science

开会时间: 2019-06-24 会议难度: ★★★★★ CCF分类: A类 会议地点: Vancouver, Canada 网址：https://lics.siglog.org/lics19/

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include:

automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, deion logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

图形学与多媒体 MMPrag 2019 International Workshop in Multimedia Pragmatics

全文截稿: 2019-01-25 开会时间: 2019-03-28 会议难度: ★★★ 会议地点: San Jose, California 网址：http://mipr.sigappfr.org/19/topicsanddates/

We welcome all papers relevant to topics in the intersection of content-based retrieval and natural language processing concerned with pragmatics. Authors are invited to submit regular papers (6 pages), short papers (4 pages), and demo papers (2 pages).

Possible topics are:

Affective computing

Annotation techniques for images/videos/other signal-based modalities

Computational semiotics

Cross-cultural multi-modal recognition techniques

Digital humanities

Distributional semantics

Event modeling, recognition, and understanding

Gesture recognition

Human-machine multimodal interaction

Integration of multimodal features

Machine learning for multimodal interaction

Multimodal analysis of human behavior

Multimodal data modeling, datasets development, sensor fusion

Multimodal deception detection

Ontologies

Sentiment analysis

Structured semantic embeddings

Word and feature embeddings – generation, semantic property discovery, corpus

dependencies, sensitivity analysis, retrieval aids

计算机综合与前沿 CSC 2019 International Conference on Connected Smart Cities

开会时间: 2019-07-17 网址：http://www.smartcities-conf.org

The International Conference on Connected Smart Cities (CSC 2019) aims to provide a cutting-edge and premier annual forum on smart cities. It aims to bring in leading scholars from multiple disciplines (including information systems, computer science, telecommunication engineering, urban studies, and business and economics) to share their ideas, knowledge and latest research findings related to the main issues concerning the whole ecosystem (e.g. M2M infrastructure, cloud platforms, big data analytics, mobile applications, citizen needs, user engagement, and new business/economic models) of future smart cities.

The conference also aims at discussing the social, behavioral, technical, economic, and environmental impacts of the introduction of smart city applications and services. All forms of relevant research are welcome, including conceptual, theoretical, quantitative, qualitative, and mixed-method studies. Papers with an interdisciplinary nature are particularly encouraging.

计算机科学与技术 EH 2019 International Conference e-Health

开会时间: 2019-07-17 网址：http://www.ehealth-conf.org/

The use of ICTs (Information and Communication Technologies) in Healthcare Services is the main mechanism to improve efficiency and effectiveness. This conference aims to draw together information systems, practitioners and management experts from all quadrants involved in developing computer technology to improve healthcare quality.

计算机科学与技术 EL 2019 International Conference e-Learning

开会时间: 2019-07-17 网址：http://www.elearning-conf.org

The e-Learning 2019 conference aims to address the main issues of concern within e-Learning. This conference covers both technical as well as the non-technical aspects of e-Learning. The conference accepts submissions in the following seven main areas: Organisational Strategy and Management Issues; Technological Issues; e-Learning Curriculum Development Issues; Instructional Design Issues; e-Learning Delivery Issues; e-Learning Research Methods and Approaches; e-Skills and Information Literacy for Learning.

计算机综合与前沿 ICESIP 2019 IEEE International Conference on Energy, Systems and Information Processing

全文截稿: 2019-01-31 开会时间: 2019-07-04 会议地点: Chennai, India 网址：http://www.iiitdm.ac.in/icesip/index.php

The 1st International Conference on Energy, Systems and Information Processing (ICESIP 2019) will be held in Indian Institute of Information Technology, Design & Manufacturing (IIITD&M ) Kancheepuram, Chennai , India during July 04-06, 2019. This conference provides an international forum for researchers, academicians, and professionals from various engineering fields and with cross-disciplinary interests in electrical power, energy, electronics, control system, computer engineering and communications to interact and disseminate information on the latest developments. The conference will include technical sessions, tutorials, and keynote and plenary talk etc.

TRACK-1

Power & Energy

TRACK-2

Electronic Systems

TRACK-3

Communication Systems

TRACK-4

Control & Information Processing 返回搜狐，查看更多

责任编辑：