CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Papers CFP: 4PAD special track @ PDP 2017 CALL FOR PAPERS 4th PDP special session on FORmal approaches to PArallel and Distributed systems (4PAD 2017) St. Petersburg, Russia | 6-8 March 2017 | http://www.pdp2017.org/4pad.html Important dates Paper submission: 25th Aug 2016 Acceptance notification: 25th Oct 2016 Camera ready due: 20th...more Jul 25 2016 - 2:43pm 2 days 6 hours ago
Calls for Papers CfP: F-IDE2016, 3rd Workshop on Formal Integrated Development Environment CALL FOR PAPERS 3rd Workshop on Formal Integrated Development Environment (F-IDE2016) A satellite workshop of FM2016, November 8, 2016, Limassol, Cyprus Submission due: August 14, 2016 Website: https://sites.google.com/site/fideworkshop2016/ Formal Integrated Development Environment (F-IDE) is...more Jul 25 2016 - 2:24pm 2 days 6 hours ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress ESmart Energy for a Smart Grid Consortium UCLA Henry Samueli School of Engineering and Applied Science Kick Off Meeting - September 20, 2016 http://smartgrid.ucla.edu/esmart/events/2016-09/ On September 20, 2016, UCLA is hosting its kickoff meeting to present the UCLA Consortium on Energy for a Smart Grid (ESmart). ESmart objectives include developing advanced technology, prototypes, demonstrations...more Jul 25 2016 - 2:18pm 2 days 6 hours ago
Calls for Papers 2017 Hybrid Systems: Computation and Control (HSCC) -- First Call for Papers 20th International Conference on Hybrid Systems: Computation and Control (HSCC) April 18-21, 2017, Pittsburgh, Pennsylvania, USA URL: http://hscc2017.ece.illinois.edu/ Important dates Paper Submission deadline: October 13, 2016 (firm, 11:59 pm UTC-12) Rebuttal phase: TBA Notifications: De...more Jul 19 2016 - 9:58pm 1 week 22 hours ago
Calls for Papers Call for Workshop papers: AICCSA 2016, Nov 29th to Dec 2nd, 2016 - Agadir, Morocco CALL FOR WORKSHOP PAPERS 13th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2016) Nov 29th to Dec 2nd, 2016 | Agadir, Morocco | http://www.aiccsa.net/AICCSA2016/ 3rd International Symposium on Internet of Things: Systems, Management and Security (IOTSMS 2016)http...more Jul 15 2016 - 4:04pm 1 week 5 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: Deep Learning Comes to ESTIMedia 2016 Special Session CALL FOR PARTICIPATION IEEE ESTIMedia 2016 is going to have a Special Session on Deep Learning and its applications to Multimedia Special Session Title: Implementation of Deep Neural Networks and Its Applications Organizer: Yiran Chen, University of PittsburghPresentation 1Title: Efficient Neural...more Jul 15 2016 - 3:59pm 1 week 5 days ago
Calls for Papers Extended Submission deadline: Embedded Operating System Workshop (EWiLi'16) CALL FOR PAPERS - Extended Submission deadline: 25 July 2016 EWiLi'16, the 6th Embedded Operating System Workshop held in conjunction with ESWEEK 2-7 October 2016 | PITTSBURGH, PA, USA | http://syst.univ-brest.fr/ewili2016 Aim and Scopes EWiLi, the embedded operating system workshop, aims at pr...more May 9 2016 - 3:36pm 1 week 5 days ago
Calls for Papers SAC SVT 2017 - First Call for Papers - Deadline September 15 CALL FOR PAPERS 32nd Annual ACM Symposium on Applied Computing Software Verification and Testing Track April 3 - 7, 2017, Marrakech, Morocco More information:http://http://antares.sip.ucm.es/svt2017/ and http://www.sigapp.org/sac/sac2017/Important dates September 15, 2016: Papers and SRC submis...more Jul 15 2016 - 3:43pm 1 week 5 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Tutorial on Cyber-Physical Systems Engineering: Next GenerationFoundations, Methods and Tools Formal Methods 2016 - Tutorial on Cyber-Physical Systems Engineering: Next Generation Foundations, Methods and Tools In conjunction with the 21st Symposium on Formal Methods Limassol, Cyprus | November 8th, 2016 | http://fm2016.cs.ucy.ac.cy/tutorials.html Based on the work we are carrying out in...more Jul 15 2016 - 3:12pm 1 week 5 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: ICES conference on Requirements and Verification CALL FOR PARTICIPATION ICES conference on Requirements and Verification The increasing complexity of software systems in the era of Cyber-Physical Systems and Internet of Things makes verification a challenge as well as making sure that we have handled all the requirements. The conference feature...more Jul 15 2016 - 3:07pm 1 week 5 days ago
Calls for Papers CfP: 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016) CALL FOR PAPERS 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016) October 21--23, 2016 | Telc, Czech Republic | http://www.memics.cz Since 2005, the aim of MEMICS is to provide a scientific forum for doctoral and master students interested in applica...more Jul 15 2016 - 2:52pm 1 week 5 days ago
Calls for Papers USE'16 Call for Paper (co-located with FM 2016): 2nd Workshop on Usages of constraint Solving and symbolic Execution CALL FOR PAPERS 2nd Workshop on Usages of constraint Solving and symbolic Execution (USE '16) 7-11 November 2016 co-located with the 21th Int. Symposium on Formal Method FM'16 http://perso.ecp.fr/~gallp/Workshop_USE16.html...more Jul 15 2016 - 2:32pm 1 week 5 days ago
Calls for Papers 21st International Symposium on Formal Methods (FM 2016): Call for Industry Track Papers CALL FOR INDUSTRIAL PAPERS FM 2016 Industry Track part of the 21st International Symposium on Formal Methodshttp://fm2016.cs.ucy.ac.cy/cfpindustrytrack.html Limassol, Cyprus, November 7-11, 2016IMPORTANT DATES Industry Track Submission: July 31, 2016 (AoE) Industry Track Notification: August 22...more Jul 15 2016 - 2:22pm 1 week 5 days ago
Position Announcements Open position at ONERA (France) Permanent research position on NoC and Embedded networks ONERA (Office National d'Etudes et Recherches Aerospatiales) is the French national aerospace research center. It is a public research establishment, with eight major facilities in France and about 2,000 employees, including 1,500 scientists,...more Jul 6 2016 - 3:41pm 3 weeks 5 hours ago
Calls for Papers CFP - Special Issue on Adaptive and Reconfigurable Distributed Systems (Elsevier CAEE, Impact Factor: 1.084) CALL FOR PAPERS: Elsevier Computers and Electrical Engineering (CAEE) Impact Factor: 1.084 (5-Year Impact Factor: 1.103) Special Issue on Adaptive and Reconfigurable Distributed Systems http://www.journals.elsevier.com/computers-and-electrical-engineering/call-for-papers/special-issue-on-adapti...more Jul 6 2016 - 3:37pm 3 weeks 5 hours ago
Position Announcements Postdoc position in dependable and secure computing - University of Florence The University of Florence http://www.unifi.it/, Florence, Italy, opens one Post Doctoral position in Dependable and Secure Cyber-Physical Systems and Systems of Systems at the Resilient Computing Lab (RCL, http://rcl.dsi.unifi.it), Department of Mathematic and Informatics. We are recruiting a post...more Jul 6 2016 - 3:34pm 3 weeks 5 hours ago
Position Announcements Postdoctoral position at Virginia Tech Postdoctoral Research Associate Systems Software Research Group - Virginia Tech A postdoctoral position is available in the Systems Software Research Group (http://www.ssrg.ece.vt.edu/) at Virginia Tech (http://www.vt.edu/) on a dependable systems project that aims to develop fault-resilient softwa...more Jul 6 2016 - 3:32pm 3 weeks 5 hours ago
Calls for Papers CfP: The Third International Workshop on Privacy and Security in HealthCare 2016 ( PSCare16 ) CALL FOR PAPERS - Final Manuscript due July 20, 2016 The Third International Workshop on Privacy and Security in HealthCare 2016 (PSCare16) Sep 19, 2016 - Sep 22, 2016 | London, United Kingdom | https://sites.google.com/site/pscare16/ Important Dates Workshop Proposals Due March 10th, 2016 Pap...more Jul 6 2016 - 3:30pm 3 weeks 5 hours ago
Calls for Papers CfP Deadline Extended: Workshop on Model-Based Development and Contract-Based Programming (HILT 2016) CALL FOR PAPERS - Extended Deadline July 15, 2016 ACM SIGAda's High Integrity Language Technology International Workshop on Model-Based Development and Contract-Based Programming part of Embedded Systems Week (ESWEEK) October 6-7, 2016 | Pittsburgh, Pennsylvania (USA) | http://sigada.org/conf/hi...more May 27 2016 - 1:25pm 3 weeks 5 hours ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: STAF 2016 - Software Technologies: Applications and Foundations, July 4-8, Vienna, Austria CALL FOR PARTICIPATION STAF 2016 - Software Technologies: Applications and Foundations July 4-8, 2016 | TU Wien, Vienna, Austria | http://staf2016.conf.tuwien.ac.at STAF is the umbrella event of ECMFA - 12th European Conference on Modelling Foundations and Applications, ICGT - 9th Internatio...more Jul 6 2016 - 3:06pm 3 weeks 5 hours ago
General Announcements New Data Sets from the Next Generation Simulation (NGSIM) Program are Now Available in the Research Data Exchange The Research Data Exchange (RDE) is a web-based data resource provided by the USDOT Intelligent Transportation Systems (ITS) Program. It collects, manages, and provides access to archived and real-time multi-source and multi-modal data to support the development and testing of ITS applications. The...more Jul 6 2016 - 2:58pm 3 weeks 5 hours ago
Calls for Papers CFP - SCCTSA2016 - Smart City Clouds: Technologies, Systems and Applications CALL FOR PAPERS The 3rd International Workshop on Smart City Clouds: Technologies, Systems and Applications (SCCTSA2016) http://www1.uwe.ac.uk/et/research/cccs/events/scctsa2016.aspx co-located with the 9th IEEE/ACM International Conference on Utility and Cloud Computing (UCC2016) December 6-9...more Jul 6 2016 - 2:57pm 3 weeks 5 hours ago
Calls for Papers CfP: Special Issue on Architectures, Languages and Verification techniques for Internet-based Society (ALVIS) CALL FOR PAPERS Special Issue on Architectures, Languages and Verification techniques for Internet-based Society (ALVIS) http://www.hindawi.com/journals/sp/si/936582/cfp/Highlights This SI aims at bringing together contributions by scientists and practitioners to shed light on the development of...more Jul 6 2016 - 2:48pm 3 weeks 6 hours ago
Calls for Papers CFP International Workshop on Cloud Computing and IoT Applications and Security (CIAS2016) CALL FOR PAPERS International Workshop on Cloud Computing and IoT Applications and Security (CIAS2016) http://computing.derby.ac.uk/cias2016 In conjunction with The 9th IEEE/ACM International Conference on Utility and Cloud Computing (UCC2016) December 6-9, 2016, Shanghai, China Cloud computing...more Jul 6 2016 - 2:39pm 3 weeks 6 hours ago
Calls for Papers Call for Book Chapters-Guide to Security in SDN and NFV - Challenges, Opportunities, and Applications Call for Book Chapters Guide to Security in SDN and NFV - Challenges, Opportunities, and Applications Book Title Guide to Security in SDN and NFV - Challenges, Opportunities, and Applications Editors Dr. Shao Ying Zhu, University of Derby, UK Dr. Sandra Scott-Hayward, Queen's University Bel...more Jul 6 2016 - 2:23pm 3 weeks 6 hours ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: SIGAI Career Network Conference (CNC) CALL FOR PARTICIPATION SIGAI Career Network Conference (CNC) October 19-20, 2016 | Boston, MA, USA | http://sigai.acm.org/cnc Flyer: http://sigai.acm.org/static/cnc_flyer.pdf ------------------------------------------------------------------------------ * Abstract Submission: July 22th, 2016 *...more Jul 6 2016 - 2:14pm 3 weeks 6 hours ago
Calls for Papers CFP: Formal Methods 2016 - Doctoral Symposium CALL FOR PAPERS Formal Methods 2016 - Doctoral Symposium In conjunction with the 21st Symposium on Formal Methods Limassol, Cyprus | November 8th, 2016 | http://fm2016.cs.ucy.ac.cy/cfpdoctoralsymposium.htmlGOALS AND SCOPE A Doctoral Symposium will be held on 8 November in conjunction with the 21...more Jul 6 2016 - 1:48pm 3 weeks 7 hours ago
Calls for Papers 1st CfP: ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering FIRST CALL FOR PAPERS 8th ACM/SPEC International Conference on Performance Engineering (ICPE 2017) Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy | April 22-26, 2017 | https://icpe2017.spec.org/IMPORTANT DATES Research and Industrial / Experience Abstracts: Sep 23, 2016 Res...more Jul 6 2016 - 1:37pm 3 weeks 7 hours ago
Calls for Papers Call for Workshop papers: AICCSA 2016, Nov 29th to Dec 2nd, 2016 - Agadir, Morocco CALL FOR WORKSHOP PAPERS 13th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2016) Nov 29th to Dec 2nd, 2016 | Agadir, Morocco | http://www.aiccsa.net/AICCSA2016/ 3rd International Symposium on Internet of Things: Systems, Management and Security (IOTSMS 2016)ht...more Jul 6 2016 - 1:23pm 3 weeks 7 hours ago
Calls for Papers CfP: Brazilian Symposium on Formal Methods (SBMF2016) CALL FOR PAPERS Brazilian Symposium on Formal Methods (SBMF2016) Promoted by the Brazilian Computer Society (SBC) 21st to 25th of November, 2016 | Natal, Rio Grande do Norte, Brazil | http://sbmf2016.imd.ufrn.br/ IMPORTANT DATES Abstract Submission Deadline: July 15, 2016 Paper Submission Dead...more Jul 6 2016 - 1:16pm 3 weeks 7 hours ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: ECRTS CALL FOR PARTICIPATION 28th EUROMICRO conference on Real-time Systems (ECRTS16) Toulouse, France | 5-8th July 2016 | ecrts16.ecrts.org Organized by the Euromicro Technical Committee on Real-Time SystemsConference Highlights 5 Satellite Workhops 2 Keynote Speakers from Industry Industrial Challe...more Jul 6 2016 - 1:03pm 3 weeks 7 hours ago
Calls for Papers CFP - WDES 2016: Workshop on Dependability in Evolving Systems CALL FOR PAPERS - Submissions in July Workshop on Dependability in Evolving Systems (WDES 2016) Cali, Colombia | 19-21 October 2016 http://rcl.dsi.unifi.it/wdes2016/http://www.unicauca.edu.co/ladc2016/node/55Co-located with LADC 2016: Latin-American Symposium on Dependable Computing Topics and O...more Jul 6 2016 - 12:22pm 3 weeks 8 hours ago
Calls for Papers First CfP for JTRES 2016 CALL FOR PAPERS - The paper submission deadline has been extended to July 3, 2016 The 14th Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2016) Part of the Managed Languages & Runtimes Week 201629 August - 2 September 2016 | Lugano, Switzerland | http://jtres2016.compu...more Feb 11 2016 - 4:58pm 3 weeks 8 hours ago
Calls for Papers CFP: Special Session on Innovative group/collaborative decision making approaches/methods and technologies CALL FOR PAPERS Special Session: Innovative group/collaborative decision making approaches/methods and technologies In Conjunction with the 20th International Conference on Circuits, Systems, Communications and Computers (CSCC 2016) http://cscc.co/Sessions-Workshops-Minisymposia.htm We cordially...more Jun 28 2016 - 12:08pm 3 weeks 8 hours ago
Calls for Papers IEEE EMBEDDED SYSTEMS LETTERS: CALL FOR PERSPECTIVE PAPERS CALL FOR PAPERS IEEE EMBEDDED SYSTEMS LETTERS: CALL FOR PERSPECTIVE PAPERS IEEE Embedded Systems Letters (ESL) is inviting perspective papers in the broad domain of embedded systems and software, cyber-physical systems, and Internet of Things. A perspective paper could present a grand challenge pr...more Jul 6 2016 - 12:00pm 3 weeks 8 hours ago
Calls for Papers CfP: ARM@Middleware 2016 CALL FOR PAPERS 15th Workshop on Adaptive and Reflective Middleware (ARM 2016) held in conjunction with ACM/IFIP/USENIX ACM International Middleware Conference Trento, Italy | 12-16 December, 2016 | http://arm2016.unine.ch/IMPORTANT DATES (GMT/UTC-12) August 19, 2016 - Abstract submission Augus...more Jul 6 2016 - 11:51am 3 weeks 8 hours ago
Position Announcements PostDoc position: Application Specific Computing Systems and Hardware Architectures, RWTH Aachen University Postdoc position at the Institute for Communication Technologies and Embedded Systems, RWTH Aachen University RWTH Aachen University is Germany's top-ranked technical university with more than 40,000 students and is a member of the IDEA league. The Institute for Communication Technologies and Embed...more Jul 6 2016 - 11:41am 3 weeks 9 hours ago
General Announcements New Connected Vehicle Data Environments from the Following Projects of the Dynamic Mobility Application (DMA) Program are Now Av The Research Data Exchange (RDE) is a web-based data resource provided by the USDOT Intelligent Transportation Systems (ITS) Program. It collects, manages, and provides access to archived and real-time multi-source and multi-modal data to support the development and testing of ITS applications. The...more Jul 6 2016 - 11:25am 3 weeks 9 hours ago
Calls for Papers CfP: 10th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2016) CALL FOR PAPERS 10th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2016) in conjunction with the 24th International Conference on Real-Time and Network Systems (RTNS 2016) Brest, France | October 19-21, 2016 | http://rtns16.univ-brest.fr/ The purpose of the 10th Junior Researcher Wor...more Jul 6 2016 - 11:22am 3 weeks 9 hours ago
Calls for Papers CfP: Twelfth Haifa Verification Conference 2016 (HVC2016) CALL FOR PAPERS Twelfth Haifa Verification Conference 2016 (HVC 2016) November 14 - 17, 2016 | Haifa, Israel | https://www.research.ibm.com/haifa/conferences/hvc2016 Tutorials: November 14, 2016 Organized by IBM Research - Haifa HVC Facebook page HVC 2016 is an annual conference dedicated to a...more Jul 6 2016 - 10:59am 3 weeks 9 hours ago
Calls for Papers First Call for Papers: FSEN 2017 CALL FOR PAPERS Seventh International Conference on Fundamentals of Software Engineering 2017 - Theory and Practice (FSEN '17) About FSEN FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to pre...more Jul 6 2016 - 10:48am 3 weeks 10 hours ago
Calls for Papers CfP: Deadline extended: 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016) CALL FOR PAPERS: EXTENDED DEADLINES Updated abstract submission: 11th July 2016 Updated paper submission: 16th July 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016) November 6-8, Dubai, United Arab Emirates | http://www.aston.ac.uk/eas/about-eas/academ...more Jul 6 2016 - 10:35am 3 weeks 10 hours ago
Calls for Papers CfP: IEEE Fourth International Workshop on e-Health Pervasive Wireless Applications and Services (eHPWAS'16) CALL FOR PAPERS IEEE Fourth International Workshop on e-Health Pervasive Wireless Applications and Services (eHPWAS'16) October 17, 2016 | New York, USA | www.ehpwas.org in conjunction with the 12th IEEE WiMob 2016Important dates Paper submission: July 15, 2016 Acceptance notification: August 1...more Jul 5 2016 - 3:49pm 3 weeks 1 day ago
Position Announcements PhD and PostDoc Openings - ERC Adv Grant POWVER POWVER PhD and PostDoc openings at Saarland University, Saarbrucken http://www.powver.org/open-positions/ As part of the ERC Advanced Investigators Grant awarded to Prof. Holger Hermanns, the five-year project POWVER seeks excellent applicants for PhD student positions, Postdoc positions, and expe...more Jul 5 2016 - 3:17pm 3 weeks 1 day ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Mark your calendar - GCTC Expo June 13-14 in Austin, TX Hello all, We had a great GCTC Tech Jam and IoT-Enabled Smart City Framework Workshop last week. More than 300 stakeholders attended the event in person and 60+ additional attendees joined via webcast and conference call. Thank you to all who joined us for the exciting event. Plenary speakers at t...more May 9 2016 - 11:21am 3 weeks 1 day ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Summer School on Verification Technology, Systems & Applications Summer School on Verification Technology, Systems & Applications The 9th edition of the Summer School on Verification Technology, Systems and Applications (VTSA) will be organized by the University of Liege, in cooperation with Inria Nancy - Grand Est, Max-Planck-Institut fur Informatik Saarbru...more Jul 5 2016 - 3:06pm 3 weeks 1 day ago
General Announcements GCTC Expo News and Highlights Hello all, With profound pleasure, I am delighted to report that the GCTC Expo was a great success! Many thanks to all of the 2000 attendees and exhibitors who joined us live in Austin, TX. I enjoyed meeting you all and I look forward to the next phase of the Global City Teams Challenge. Please s...more Jun 27 2016 - 10:43am 4 weeks 2 days ago
Calls for Papers CfP (EXTENDED DEADLINE): Future Technologies Conference 2016 - FTC 2016 CALL FOR PAPERS - Deadline extended to July 1. Future Technologies Conference 2016 - FTC 2016 6-7 December 2016 | San Francisco, United States | www.SAIConference.com/FTC2016 Sponsored by HPCC Systems FTC attracts researchers, scientists and technologists from some of the top companies, universi...more Apr 4 2016 - 10:25am 4 weeks 2 days ago
General Announcements MAJOR UVA ENGINEERING INITIATIVE TO FOCUS ON INTERSECTION OF CYBER, PHYSICAL SYSTEMS October 01, 2015 Elizabeth Thiel Mather, emather@virginia.edu The University of Virginia School of Engineering and Applied Science will launch a multi-million dollar initiative to drive innovation in cyber-physical systems, an area of research that explores both the promise and risks of the world...more Nov 7 2015 - 10:42pm 5 weeks 3 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress USDOT ITS JPO & ITS America Webinar - Automation Activities in Europe The U.S. Department of Transportation (U.S. DOT) and ITS America will be sponsoring a webinar which will present an update on Automation Activities in Europe. This webinar will take place on Monday, June 27th, 2016 from 11:00am - 12:30pm ET, and is open to the public free of charge. Please find atta...more Jun 17 2016 - 2:40pm 5 weeks 5 days ago