9th Interaction and Concurrency Experience (ICE 2016) June 8-9, 2016 |  Heraklion, Greece | http://2016.discotec.org/ice2016 Satellite workshop of DisCoTec 2016 (http://2016.discotec.org) Highlights Distinctive selection procedure…

5th Mediterranean Conference on Embedded Computing  (MECO’2016) Bar, Montenegro  | June 12-16, 2016 | http://embeddedcomputing.me MECO’2016 - the 5th Mediterranean Conference on Embedded Computing (MECO 2016) is the next of a…

4th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS’2016) ECYPS’2016 - the 4th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems will be held in the scope of MECO’2016 - the 5th Mediterranean Conference on…

2016 ACM Conference on Programming Language Design and Implementation (PLDI) PLDI 2016 is the 37th annual ACM SIGPLAN conference on Programming Language Design and Implementation. PLDI is a premier forum for all areas of programming language research,…

EAI "eHealth 360" SUMMER SCHOOL Description The EAI eHealth Summer School has a special focus on Information and Communication Technologies (ICT) in the scope of their application to health domain. A high number of ICT has progressed…

The 43rd International Symposium on Computer Architecture (ISCA) is the premier forum for new ideas and research results in computer architecture.  CONFERENCE ORGANIZATION Co-General Chairs Sang Lyul Min – Seoul National University Gabriel…

Fourth ACM International Workshop on Many-core Embedded Systems (MES) in conjunction with the 43rd International symposium on Computer Architecture (ISCA-2016) General Scope Many-core embedded systems (MES) are moving towards the integration of…

Abstraction & Refinement: Conformance Monitors

Conformance AD

The eleventh Symposium on Usable Privacy and Security (SOUPS) was held on June 22-24, 2016 at the Denver Marriott City Center in Dever, CO. This symposium brought together an interdisciplinary group of researchers and practitioners in human computer…

The 14th ACM International Conference on Mobile Systems, Applications, and Services ACM MobiSys 2016 seeks to present innovative and significant research on the design, implementation, usage, and evaluation of mobile computing and wireless systems…

11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016) Over the past decade ReCoSoC has established itself as a international reference event for research in the areas of reconfigurable and communication…

Sixth Workshop on Management of Cloud and Smart City Systems (MoCS 2016) Organized in association with The Twenty-First IEEE Symposium on Computers and Communications (ISCC 2016) Sponsored by IEEE Computer Society and IEEE Communications…

The Third International Workshop on Graphical Models for Security Co-located with CSF 2016 (GraMSec'16) Graphical security models provide an intuitive but systematic approach to analyze security weaknesses of systems and to evaluate potential protection…

The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security.…

The IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting advanced and innovative research results, problem solutions, practices, insights on new challenges in the field of…