CPS Community Announcements

Title Posted Updatedsort icon Content Forum Promoted to VO Archived
Save the Date - An Important Event Related to the Next Round of the Global City Teams Challenge: Nov. 12-13, 2015 Sep 1 2015 - 12:45pm 3 hours 29 min ago Municipal leaders and innovators will gather at the NIST Campus in Gaithersburg, Maryland on November 12-13 for an important event related to the next round of Global City Team Challenge (GCTC). An ag...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
CALL for PARTICIPATION: 2nd Autumn School on Automatic Verification and Analysis of Complex Systems Sep 1 2015 - 12:41pm 3 hours 32 min ago CALL for PARTICIPATION 2nd Autumn School on Automatic Verification and Analysis of Complex Systems Oldenburg, Germany, | September 30 to October 2, 2015 | http://www.avacs.org/autumn2015 BACKGROUN...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
GCM 2015 online proceedings Sep 1 2015 - 12:36pm 3 hours 38 min ago This is to advertise the online proceedings of the International Workshop on Graph Computation Models (GCM 2015) which have appeared as Volume 1403 of the CEUR series: http://ceur-ws.org/Vol-1403/ In...more General Announcements
Post-Doc Position at the Hybrid Systems Group at VERIMAG, Grenoble, France Sep 1 2015 - 12:34pm 3 hours 40 min ago The timed and hybrid systems group at Verimag (http://www-verimag.imag.fr/Tempo,32.html) is one of the leading teams worldwide in verification, simulation and monitoring of continuous and hybrid cyber...more Position Announcements
Open Postdoc Position in formal methods applied to timed systems Sep 1 2015 - 12:32pm 3 hours 42 min ago The Institute of Computer Engineering at Vienna (http://ti.tuwien.ac.at/) University of Technology is seeking a candidate for a postdoctoral research position (one year with the posibility to renew fo...more Position Announcements
Full Professor Position (W3) in Embedded Systems / Real-time Systems @ Ulm University Sep 1 2015 - 12:28pm 3 hours 45 min ago The Faculty of Engineering, Computer Sciences and Psychology at Ulm University in Germany invites applications for a tenured Full Professor Position (W3) in Embedded Syste...more Position Announcements
CPS Week 2016: CALL FOR WORKSHOP AND TUTORIAL PROPOSALS Sep 1 2015 - 12:26pm 3 hours 47 min ago CALL FOR WORKSHOP AND TUTORIAL PROPOSALS Cyber-Physical Systems Week (CPS Week) April 11-14, 2016, Vienna, Austria | http://www.cpsweek.org/2016/ CPS Week is the premier event on Cyber-Physical...more Calls for Workshops & Tutorials
Registration is now open for ESWeek 2015! Sep 1 2015 - 12:11pm 3 hours 55 min ago We are pleased to announce that registration is now open for ESWeek 2015! ESWeek will be taking place in Amsterdam, The Netherlands on October 4 - 9, 2015. ESWeek allows its attendees to benefit fr...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Invitation to AVACS Final Colloquium on September 29, 2015 in Oldenburg/Germany Sep 1 2015 - 12:17pm 3 hours 56 min ago We would like to invite you to the 12 years celebration of the Transregional Collaborative Research Center AVACS - Automatic Verification and Analysis of Complex Systems, see www.avacs.org with a fin...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Special Issue on Sustainable High Performance Computing Aug 31 2015 - 12:05am 1 day 16 hours ago ******************************** Open Journal of Cloud Computing (http://www.ronpub.com/journals/ojcc) ******************************** =========================== Call for Papers =================...more Calls for Papers
CFP: 22nd IEEE Real-Time Embedded Technology & Applications Symposium (RTAS) Aug 28 2015 - 10:45am 4 days 4 hours ago 22nd IEEE Real-Time Embedded Technology & Applications Symposium (RTAS) part of the 2016 Cyber-Physical Systems Week (CPSWeek) | April 11-14, 2016 | Vienna, Austria RTAS'16 invites papers descri...more Calls for Papers
CfP: 19th International Conference on Hybrid Systems: Computation and Control (HSCC 2016) Aug 28 2015 - 9:59am 4 days 6 hours ago 19th International Conference on Hybrid Systems: Computation and Control (HSCC 2016) April 12-14, 2016, Vienna, Austria HSCC 2016 will be held as part of the eighth Cyber Physical Systems Week (CPS...more Calls for Papers
CfP: 3rd International workshop on Mixed Criticality Systems (WMC) @RTSS2015 Aug 25 2015 - 3:39pm 1 week 34 min ago CALL FOR PAPERS 3rd International workshop on Mixed Criticality Systems (WMC) at the IEEE Real-Time Systems Symposium San Antonio, Texas, USA | 1st December, 2015 | http://www-users.cs.york.ac.uk/~...more Calls for Papers
CfP: DATE 2016 Aug 25 2015 - 3:20pm 1 week 53 min ago CALL FOR PAPERS Design, Automation and Test in Europe (DATE 2016) in Dresden: Highlighting Automotive and Secure Systems www.date-conference.com | March 14-18, 2016 | Dresden, Germany DATE is the m...more Calls for Papers
CfP: 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015) @ RTSS'15 Aug 25 2015 - 3:08pm 1 week 1 hour ago CALL FOR PAPERS 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015) Collocated with RTSS 2015. San Antonio TX. USA Large safety-critical rea...more Calls for Papers
ACM SIGBED ESWEEK 2015 Travel Grants Aug 25 2015 - 2:58pm 1 week 1 hour ago ACM SIGBED is happy to announce the availability of travel grants for students to attend ESWEEK. Full text of the announcement and the application form are available on SIGBED web site: http://sigbed...more General Announcements
CfP: 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016) Aug 25 2015 - 2:51pm 1 week 1 hour ago CALL FOR PAPERS 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016) May 23-25, 2016 | Schloss Rheinfels, St. Goar, Germany | http://www.scopesconf.org A next ed...more Calls for Papers
Call for Papers: 10th HiPEAC Workshop on Reconfigurable Computing (WRC'2016) Aug 25 2015 - 2:29pm 1 week 1 hour ago CALL FOR PAPERS 10th HiPEAC Workshop on Reconfigurable Computing (WRD 2016) January 19, 2016, Prague, Czech Republic | http://www.fe.up.pt/wrc2016 The HiPEAC Workshop on Reconfigurable Computing (W...more Calls for Papers
ESWeek 2015 - Call for Participation Aug 25 2015 - 2:21pm 1 week 1 hour ago E M B E D D E D     S Y S T E M S     W E E K Amsterdam, The Netherlands, October 4 - 9, 2015 | www.esweek.org =======================================================...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
CfP: ARC2016: 12th International Symposium on Applied Reconfigurable Computing Aug 25 2015 - 2:05pm 1 week 2 hours ago FIRST CALL FOR PAPERS ARC2016: 12th International Symposium on Applied Reconfigurable Computing 21-24 March 2016 | Mangaratiba, Rio de Janeiro, Brazil | http://lcr.icmc.usp.br/arc2016/ IMPORTA...more Calls for Papers
FASE 2016 Call for Papers Aug 25 2015 - 1:43pm 1 week 2 hours ago 19th International Conference on Fundamental Approaches to Software Engineering (FASE) http://www.etaps.org/index.php/2016/fase FASE is concerned with the foundations on which software engineering i...more Calls for Papers
IPSN 2016 - Call for Papers Aug 25 2015 - 1:31pm 1 week 2 hours ago The 15th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN '16) April 11-14, 2016 | Vienna, Austria | http://ipsn.acm.org/2016/ The International Conference on Inf...more Calls for Papers
RTSS@Work 2015 - Call for Contributions Aug 25 2015 - 1:21pm 1 week 2 hours ago Open Demo Session of Real-Time Systems RTSS 2015 - San Antonio, TX. USA, December 1, 2015 Call For DemosRTSS@Work is the open demo session organized as a part of the IEEE Real-Time Systems Symposium...more Calls for Papers
CfP: Special Issue on Energy Efficient Multi-Core and Many-Core Systems (The Elsevier Journal of Parallel and Distributed Comput Aug 25 2015 - 1:17pm 1 week 2 hours ago CALL FOR PAPERS The Journal of Parallel and Distributed Computing (Elsevier) Special issue on Energy Efficient Multi-Core and Many-Core Systems (E2MC2) Recent trends in the microprocessor ind...more Calls for Papers
First CFP: Int. Conference on Architecture of Computing Systems (ARCS 2016) Aug 25 2015 - 1:05pm 1 week 2 hours ago 29th GI/ITG International Conference on *Architecture of Computing Systems* (ARCS 2016) Nuremberg, Germany, April 4-7, 2016 | http://www3.cs.fau.de/arcs2016/Paper Submission Deadline: October 26, 201...more Calls for Papers
CfP: RTSS 2015 - Work in Progress Session Aug 17 2015 - 11:43am 2 weeks 1 day ago IEEE Real-Time Systems Symposium (RTSS) December 1st-4th, 2015 | San Antonio, Texas Works In Progress Session - Call for Papers Submissions of extended abstracts describing exciting new, in-progres...more Calls for Papers
CfP: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016) Aug 10 2015 - 12:42pm 3 weeks 1 day ago 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016) Parallel, Distributed, and Network-Based Processing has undergone impressive changes over rec...more Calls for Papers
CfP: SPECIAL SESSION on Multi-Core and Many-Core systems for EMbedded Computing (MC)3 in 24th Euromicro PDP Conference Aug 10 2015 - 12:24pm 3 weeks 1 day ago 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....more Calls for Papers
CFP RAPIDO'16 - 8th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools Aug 10 2015 - 12:14pm 3 weeks 1 day ago 8th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO'16) 20 Jan 2016, Prague, Czech Republicwww.rapido.deib.polimi.itIn conjunction with International Conference on...more Calls for Papers
CfP: TII-SACPS 2015 - Special Section on Smart Agents and Cyber-Physical Systems for Future Industrial Systems Aug 7 2015 - 11:05am 3 weeks 4 days ago Agent technology is a promising approach to address the challenge of developing systems that exhibit better re-configurability, robustness and responsiveness, by introducing an alternative way to desi...more Calls for Papers
CfP: The 7th ACM/IEEE International Conference on Cyber-Physical Systems Aug 7 2015 - 10:54am 3 weeks 4 days ago The 7th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) April 11-14, 2016 in Vienna, Austria as part of CPSWeek 2016http://iccps.acm.org/2016/ As digital computing and communi...more Calls for Papers
Call For Papers: Advanced Technologies for Mobile IoT and Cyber-Physical Systems Jul 29 2015 - 1:36pm 4 weeks 6 days ago Advanced Technologies for Mobile IoT and Cyber-Physical Systems - Call for Papers As computing and communication capabilities become both faster and cheaper, we can expect to find them embedded in di...more Calls for Papers
CfP: DPRTCPS: The First IEEE Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (December 1, 2015) Jul 29 2015 - 1:27pm 4 weeks 6 days ago DPRTCPS: The First IEEE Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems December 1, 2015 at the Real-Time Systems Symposium, San Antonio, Texas, USA Declarative progra...more Calls for Papers
ENSsys 2015 Call for papers - Workshop on Energy Harvesting & Energy-Neutral Sensing Systems Jul 29 2015 - 1:16pm 4 weeks 6 days ago ENSsys 2015 - 3rd Int. Workshop on Energy Harvesting & Energy-Neutral Sensing Systems in conjunction with ACM SenSys 2015 November 1, 2015 | Seoul, South Korea | http://www.enssys.org/2015/ Com...more Calls for Papers
CfP: ACM SAC 2016 - RST Track Jul 29 2015 - 1:12pm 4 weeks 6 days ago 31st ACM/SIGAPP SAC Symposium on Applied Computing April 4-8, 2016 | Pisa, Italy | T r a c k R S T RELIABLE SOFTWARE TECHNOLOGIES AND COMMUNICATION MIDDLEWARE http://rstsac.uc3m.es In recent y...more Calls for Papers
Transportation Research Data Exchange Jul 21 2015 - 12:22pm 6 weeks 3 hours ago The Federal Highway Adminstration Research Data Exchange (RDE) provides a transportation data sharing system that promotes sharing of both archived and real-time data from multiple sources (including...more General Announcements
Call for Papers: 2016 IEEE International Conference on Industrial Technology (IEEE ICIT 2016) Jul 20 2015 - 11:58am 6 weeks 1 day ago 2016 IEEE International Conference on Industrial Technology (IEEE ICIT 2016) March 14-17, 2016 http://www.icit2016.org/ 2016 IEEE International Conference on Industrial Technology (IEEE ICIT2016) wi...more Calls for Papers
Release 2.2 of the Research Data Exchange and New Connected Vehicle Data Sets Are Now Available Jul 20 2015 - 11:49am 6 weeks 1 day ago Release 2.2 of the Research Data Exchange and New Connected Vehicle Data Sets Are Now Available The Research Data Exchange (RDE) is a web-based data resource provided by the USDOT Intelligent Transpo...more General Announcements
CfP: 2nd Autumn School on Automatic Analysis and Verification of Complex Systems Jul 20 2015 - 11:25am 6 weeks 1 day ago CALL for PARTICIPATION 2nd Autumn School on Automatic Verification and Analysis of Complex Systems Oldenburg, Germany, September 30 to October 2, 2015 | http://www.avacs.org/autumn2015BACKGROUND AND...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Call for Papers - ACM BuildSys 2015 - Submission deadline July 24, 2015 Jul 20 2015 - 11:13am 6 weeks 1 day ago ACM International Conference on Embedded Systems For Energy-Efficient Built Environments Call for Papers - Submission deadline July 24, 2015 (http://buildsys.us11.list-manage1.com/track/click?u=ca71...more Calls for Papers
Call for Papers - Session AE102/ Automotive E/E System Design Optimization Techniques at SAE'16 World Congress Jul 20 2015 - 10:54am 6 weeks 1 day ago SAE 2016 WORLD CONGRESS Call for Papers - Session AE102/ Design Optimization Techniques April 12-14, 2016 * Detroit, Michigan USA Please consider submitting a paper or presentation to Session AE102...more Calls for Papers
CfP: Technological Innovation for Cyber-Physical Systems: @ DoCEIS, April 11-13, 2016, Caparica (Lisbon), Portugal Jul 20 2015 - 10:41am 6 weeks 1 day ago 7th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS 2016) April 11-13, 2016 | Caparica (Lisbon), Portugal | http://sites.uninova.pt/doceis CALL FOR PAPERS The...more Calls for Papers
MMA 2015 Jul 8 2015 - 6:09pm 6 weeks 5 days ago Just one week left to submit your original work in the 2nd International workshop on Mobile Medical Applications held in conjunction with Sensys 2015 in Seoul South Korea. Submission deadline: July 1...more Calls for Papers
VMCAI 2016: Call for Papers, Deadlines: Sep 4 (abstract), Sep 11 (paper) Jul 8 2015 - 5:46pm 7 weeks 5 days ago 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016) January 17-19, 2016, St. Petersburg, Florida, United States http://conf.researchr.org/home/VM...more Calls for Papers
CfP: 5th IEEE Intl. Workshop on Software Certification (WoSoCer 2015) Jul 8 2015 - 5:38pm 7 weeks 5 days ago CALL FOR PAPERS The 5th International IEEE Workshop on Software Certification (WoSoCer 2015) November 2-5, 2015, Washington DC, USA HIGHLIGHTS Co-located with a top conference: the 26th IEEE Symp....more Calls for Papers
Software Verification and Testing Track, ACM SAC 2016 (Pisa,Italy) - First CFP Jul 8 2015 - 5:21pm 7 weeks 5 days ago 31st Annual ACM Symposium on Applied Computing Software Verification and Testing Track April 3 - 8, 2016, Pisa, Italy More information:http://antares.sip.ucm.es/svt16/ andhttp://www.acm.org/conferenc...more Calls for Papers
2nd CfP: WESE 2015 Jul 8 2015 - 4:58pm 7 weeks 5 days ago Call for papers for WESE 2015 - Workshop on Embedded and Cyber-Physical Systems Education Paper submission deadline: August 1st (midnight, Central European Time) WESE web page: http://www.emsig.n...more Calls for Papers
CFP : HVC 2015 Jul 8 2015 - 5:07pm 7 weeks 5 days ago Eleventh Haifa Verification Conference 2015 http://www.research.ibm.com/haifa/conferences/hvc2015/index.shtml November 17-19, 2015 Tutorials: November 16, 2015 Haifa, IsraelOrganized by IBM Resear...more Calls for Papers
Resilience Week 2015: Early Registration Ends July 12 Jul 8 2015 - 5:01pm 7 weeks 5 days ago Resilience Week 2015 in Philadelphia, PA, August 18 - 20 Resilience Week includes symposia dedicated to promising research in resilient systems that will protect cyber-physical infrastructures from u...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Postdoctoral Associate: Stochastic reachability for cyber-physical systems Jul 3 2015 - 4:57pm 8 weeks 3 days ago The Department of Electrical and Computer Engineering at the University of New Mexico (UNM) invites applications for a Postdoctoral Associate in control theory with an anticipated start date of Fall 2...more Position Announcements