Designing and managing complex engineering projects over their life cycles.
Event
AISTECS 2017
2nd International Workshop on Advanced Interconnect Solutions and Technologies for Emerging Computing Systems (AISTECS)
Associated with the 12th HiPEAC Conference on High Performance Embedded Architectures and Compilers.
https://www.hipeac.net/2017/stockholm/
Submitted by Anonymous on October 12th, 2016
Event
VMCAI 2017
18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017)
VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Scope
Submitted by Anonymous on October 5th, 2016
Dear colleagues,
First of all, it is a distinct pleasure to introduce a stable version of the shiny new KeYmaera X theorem prover for hybrid systems.
http://keymaeraX.org/
If you're around beautiful Cyprus in November, please also come to the KeYmaera X tutorial at FM 2016
http://keymaerax.org/tutorial/FM-2016.html
We will be demonstrating how to conduct hybrid systems verification with KeYmaera X as well as a reasonable subset of its new features.
Submitted by Anonymous on October 5th, 2016
Event
SPIE 2017
CALL FOR PAPERS
SPIE 2017 conference on Cyber Physical Systems
May 8-10, 2017 | Barcelona, Spain | http://spie.org/EMT/conferencedetails/cyber-physical-systems
Submitted by Anonymous on September 19th, 2016
Event
CAIRES 2016
1st workshop on "Collaboration of Academia and Industry for Real World Embedded Systems" (CAIRES)
at Embedded Systems Week (ESWeek)
The objective of the workshop is to bring together researchers and engineers in order to find ways to solve some of the most pressing, and yet underestimated problems in the design of complex embedded systems:
(a). How to transfer appropriately abstracted, yet-not-trivialized problem statements from industry to research;
Submitted by Anonymous on September 19th, 2016
Event
ANT-17
The 8th International Conference on Ambient Systems, Networks and Technologies (ANT-17)
The goal of the ANT-2017 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in the ambient systems paradigm, infrastructures, models, and technologies that have significant contributions to the advancement of amb
Submitted by Anonymous on September 15th, 2016
Event
REACTION 2016
4th IEEE Workshop on Real-Time Computing and Distributed Systems in Emerging Applications (REACTION 2016)
Co-located with IEEE RTSS
Context and aims
Submitted by Anonymous on September 15th, 2016
Event
DATE 2017
Design, Automation and Test in Europe (DATE 2017)
DATE 2017, will take place from 27 to 31 March, 2017, at the SwissTech Convention Centre in Lausanne, Switzerland.
Submitted by Anonymous on August 30th, 2016
Event
PDP 2017
25th Euromicro International Conference on Parallel, Distributed and Network-based Processing
The PDP 2017 conference organized by Laboratory of Computer Security Problems of SPIIRAS will be held in St. Petersburg, Russia.
Parallel, Distributed, and Network-Based Processing
Submitted by Anonymous on July 25th, 2016
Event
ICPE 2017
8th ACM/SPEC International Conference on Performance Engineering (ICPE 2017)
Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG
Submitted by Anonymous on July 6th, 2016