2017

15th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2017)

Co-located with ICLP'17, CP'17, and SAT'17.

10th International Workshop on Network on Chip Architectures

To be held in conjunction with IEEE/ACM MICRO-50

G E N E R A L I N F O R M A T I O N

The 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017)

October 23-25, 2017 | Changsha, China | http://lcs.ios.ac.cn/setta2017/

Invited Speakers

• Cliff Jones (Newcastle University)
• Rupak Majumdar (Max Planck Institute for Software Systems)
• Sanjit Seshia (University of California, Berkeley)

Program Chairs:

16th International Conference on Generative Programming: Concepts & Experiences (GPCE 2017)

co-located with SPLASH 2017

GPCE is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technicalcontributions to its topics of interest, which include but are not limited to:

On August 3-4, 2017, there will be a one and a half day workshop for researchers who aspire to participate in NSF's Cyber-Physical Systems (CPS) program. Participation is by invitation only, and is open to people with research interests in cyber-physical systems who have not previously been funded by NSF as part of the CPS Program.