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.

The term of duty of the new EiC begins on January 1, 2016 and ends December 31, 2017. The start of the period may be antedated if applicable. A period of approximately three months prior to the beginning of the term will be spent on enabling a smooth transition from the current EiC to the new EiC.

An EiC Selection Committee will evaluate all nominations and make recommendations to the CEDA Executive Committee for appointment based upon the CEDA bylaws. After the EiC is chosen, the Selection Committee will identify the Deputy EiC, in agreement with the newly appointed EiC. The EiC will then constitute an own Editorial Board of Associate Editors.

Nominations should be sent electronically to Lynn Bannister (admin@ieee-ceda.com) and should be received by March 15, 2015 to ensure full consideration. The nomination package should include:

• Name, postal address, email address and telephone numbers of the nominee and the publication (IEEE Embedded Systems Letters) for which the candidate is nominated.
• Written confirmation that the candidate intends to accept a nomination for the EiC position and has the necessary resources to fulfill the position.
• Curriculum vitae of the nominee, including the track record with IEEE service and publications details, with particular reference to ESL.
• Position statement of the nominee indicating the view of the candidate on the future of IEEE ESL, the ESL-specific opportunities and challenges, and any plans that the candidate wants to pursue.

The nominee must be a member in good standing of the IEEE. Desirable qualities of the candidates include: An established track record of technical accomplishments, leadership, integrity and ethical standards, demonstrable organizational and management skills, and an energetic eagerness to continue moving the journal forward toward visibly higher levels of accomplishment and contributions to the relevant technical community.

General Announcement

Not in Slideshow

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.