Theoretical aspects of cyber-physical systems.
Announcement
Extended Deadline: Integrated Formal Methods iFM 2016, Reykjavik,Iceland: 3rd Call for Workshops
12th International Conference on integrated Formal Methods (FM 2016)
http://ifm2016.ru.is | June 1-5, 2016 - Reykjavik, Iceland
CALL FOR AFFILIATED WORKSHOPS
Prospective workshop organizers are invited to submit proposals for workshops to be affiliated to iFM 2016, on topics related to the conferences main subjects.
Important Dates
Submitted by Anonymous on August 25th, 2015
Event
PDP 2016
24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016)
Parallel, Distributed, and Network-Based Processing has undergone impressive changes over recent years. New architectures and applications have rapidly become the central focus of the discipline. These changes are often a result of cross-fertilization of parallel and distributed technologies with other rapidly evolving technologies.
Submitted by Anonymous on August 10th, 2015
Event
(MC)3
Multi-Core and Many-Core systems for EMbedded Computing (MC)3
Special session in 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016)
http://www.pdp2016.org/SS9.html
17-19 Feb. 2016, Crete, Greece
Submitted by Anonymous on August 10th, 2015
Announcement
CPS Security & Privacy 2016 : Call for Book Chapter Proposals: Foundations and Applications (Wiley)
Call For Papers
CPS Security & Privacy 2016 : Call for Book Chapter Proposals for Security and Privacy in Cyber-Physical Systems: Foundations and Applications (Wiley)
Submission Deadline Aug 31, 2015
Notification Due Sep 15, 2015
Final Version Due Nov 30, 2015
Submitted by Anonymous on August 2nd, 2015
Event
DPRTCPS 2015
DPRTCPS: The First IEEE Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems
at the Real-Time Systems Symposium, San Antonio, Texas, USA
Submitted by Anonymous on July 29th, 2015
Event
DoCEIS 2016
7th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS 2016)
The 7th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS’16) will reflect on the growing interests in research, development and application of Cyber-Physical Systems.
Submitted by Anonymous on July 20th, 2015
Event
ReConFig 2015
2015 International Conference on ReConFigurable Computing and FPGA's (ReConFig 2015)
December 7-9, 2015, Mayan Riviera, Mexico | www.reconfig.org
3 Keynote Speeches
Technical Sessions (General Sessions + 8 Special Tracks)
PhD Forum
Demo Night
Social Events
IEEE CASS Technical Cosponsorship.
Submitted by Anonymous on June 29th, 2015
Announcement
iFM 2016: First Call for Workshop Proposals
12th International Conference on integrated Formal Methods, iFM 2016
http://ifm2016.ru.is | June 1-5, 2016 - Reykjavík, Iceland
Submitted by Anonymous on June 29th, 2015
Event
GTTSE 2015
The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE)
Registration is open for participants!
http://gttse.wikidot.com/2015:registration
There is a students' workshop to which one may submit.
http://gttse.wikidot.com/2015:students-workshop
List of speakers
Submitted by Anonymous on June 23rd, 2015
Event
REES 2015
1st International ESWEEK Workshop on Resiliency in Embedded Electronic Systems (REES 2015)
With the sheer complexity of hardware and software systems, resiliency became a major challenge in embedded systems design, manufacturing, and operation. For industrial applications several standards such as ISO26262, IEC61508 or DO-254 prescribe a well-defined level of reliability, robustness, and fault-tolerance.
Submitted by Anonymous on June 19th, 2015