17th International Conference on Application of Concurrency to System Design (ACSD 2017) CONFERENCE SCOPE The conference aims at cross-fertilizing both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit some kind of concurrent behaviour. In particular, the following topics are of interest:     * Formal models of computation and concurrency for the above systems and

------------------------------------------ DigitalSec2017 - Malaysia ------------------------------------------ You are invited to participate in The Fourth International Conference on Digital Security and Forensics (DigitalSec2017) that will be held in Kuala Lumpur, Malaysia, on July 11-13, 2017. The event will be held over three days, with presentations delivered by researchers from the international community, including presentations from keynote speakers and state-of-the-art lectures.

3rd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS'17) In conjunction with ICSE 2017 | Call for Papers CONTEXT AND GOALS

1st Workshop on Trusted Smart Contracts in association with Financial Cryptography 17 http://fc17.ifca.ai

ECMFA 2017 - 13th European Conference on Modelling Foundations and Applications Marburg (Germany) | 19-20 July 2017v| http://ecmfaconference.wixsite.com/ecmfa2017   Aims and Scope

8th International Conference on Information, Intelligence, Systems and Applications (IISA 2017) The International Conference on Information, Intelligence, Systems and Applications (IISA) series offers a forum for the constructive interaction and prolific exchange of ideas among scientists and practitioners from different research fields such as computers, mathematics, physics, biology, medicine, chemistry, experimental psychology, social sciences, linguistics, and engineering having the goal of developing methodologies and tools for the solution of complex problems in artificial

22nd IEEE International Conference on Emerging Technologies And Factory Automation The ETFA conference series is the prime and largest IEEE-sponsored event dedicated to emerging technologies in industrial automation.

9th OpenModelica Annual Workhop OPENMODELICA is an open-source Modelica-based modeling and simulation environment intended for industrial and academic usage. Its long-term development is supported by a non-profit organization - the Open Source Modelica Consortium (OSMC).

11th MODPROD Workshop on Model-Based Product Development The Center for Model-based Product Development (MODPROD) is an inter-disciplinary research center at Linköpings universitet. The center involves a number of companies as well as researchers from the Department of Computer and Information Science (IDA) and the Department of Management and Engineering (IEI).

The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. The symposium is organised by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG. Invited speakers