【今日新增】CCF推荐国际会议4条

摘要截稿：2017-05-16

全文截稿：2017-05-23

名称：Conference on Information and Knowledge Management

领域：信息检索

CCF分类：B

难度：★ ★ ★ ★

地点：Singapore

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

The Conference on Information and Knowledge Management (CIKM) provides a unique venue for industry and academia to present and discuss state-of-the-art research on search and discovery, data mining and database systems, all at a single conference. CIKM’17 comes to Singapore on Nov 6-10, 2017, with the theme of Smart Cities, Smart Nations. Lying at the intersection of databases, information retrieval and knowledge management, CIKM is uniquely placed to highlight technologies and insights that materialize the “Smart Cities, Smart Nations” vision shared by many urban areas and their countries.

全文截稿：2017-05-24

名称：Theory of Cryptography Conference-B

领域：信息与通信安全

CCF分类：B

难度：★ ★★★

地点： Baltimore, USA

网址：https://www.iacr.org/workshops/tcc2017/

The Theory of Cryptography Conference deals with the paradigms, approaches, and techniques used to conceptualize natural cryptographic problems and provide algorithmic solutions to them. More specifically, the scope of the conference includes, but is not limited to the:

-Study of known paradigms, approaches, and techniques, directed towards their better understanding and utilization.

-Discovery of new paradigms, approaches and techniques that overcome limitations of the existing ones.

-Formulation and treatment of new cryptographic problems.

-Study of notions of security and relations among them.

-Modeling and analysis of cryptographic algorithms.

-Study of the complexity assumptions used in cryptography.

The Theory of Cryptography Conference is dedicated to providing a premier venue for the dissemination of results within its scope. The conference aims to provide a meeting place for researchers and to be instrumental in shaping the identity of the theoretical cryptography community.

摘要截稿：2017-06-06

全文截稿：2017-06-13

名称：International Symposium on Logic-based Program Synthesis and Transformation

领域：程序设计

CCF分类：C

难度：★ ★ ★

地点： Namur, Belgium

网址： https://www.sci.unich.it/lopstr17/

LOPSTR 2017 will be co-located with PPDP 2017 (the ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to:

-synthesis

-transformation

-specialization

-composition

-optimization

-inversion

-specification

-analysis and verification

-testing and certification

-program and model manipulation

-transformational techniques in SE

-applications and tools

Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome.