27th International Conference on Computer Aided Verification

Graphs as Models is a satellite workshop of ETAPS 2015 - held at Queen Mary University of London in the Mile End campus. Graphs are used as models in all areas of computer science: examples are state space graphs, control flow graphs, syntax graphs, UML-type models of all kinds, network layouts, social networks, dependency graphs, and so forth. Used to model a particular phenomenon or process, graphs are then typically analyzed to find out properties of the modelled subject, or transformed to construct other types of models.

The eighteenth edition, ETAPS 2015, will take place in London, UK. The venue will be Queen Mary University of London in the Mile End campus. The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of six main annual conferences (CC, ESOP, FASE, FoSSaCS, POST and TACAS) accompanied by satellite workshops and other events.

The International Symposium on Low Power Electronics and Design (ISLPED) will be held July 22-24, 2015 at the Sapienza University of Rome, Faculty of Engineering at the Cloister of San Pietro in Vincoli (Saint Peter in Chains), Via Eudossiana 18, Rome, Italy. Google map link . It is the premier forum for presentation of recent advances in all aspects of low power design and technologies, ranging from process and circuit technologies, to simulation and synthesis tools, to system level design and optimization.

The IEEE Council on Design Automation (CEDA) invites nominations for the position of Editor-in-Chief (EiC) for the IEEE Embedded Systems Letters (ESL). Self-nominations are permitted. ESL is a quarterly published forum for rapid dissemination (4 to 6 weeks) of short papers in the area of embedded systems and software.

Big Data Analytics for Human-Centric Systems

The 13th ACM Conference on Embedded Networked  Sensor Systems Sensors have become an essential part of computing systems and applications. Computing  today is increasingly characterized  by ubiquitous, information-rich sensors that produce massive quantities of data about the physical world.   This new era of computing is driving important new systems issues, and requires new system-level approaches and design principles.

ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems Models 2015 is the premier conference on systems and software modeling. It will be held in Ottawa, Canada September 27 to October 2, 2015. The main conference will run from Wednesday Sept 30 to Friday Oct 2, with satellite events such as workshops and tutorials being held the previous three days. Preliminary Call for Contributions

45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting research results in the field of dependable and secure computing.