CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Position Announcements VANDERBILT UNIVERSITY TENURE TRACK FACULTY POSITION(S) VANDERBILT UNIVERSITY TENURE TRACK FACULTY POSITION(S) CIVIL AND ENVIRONMENTAL ENGINEERING - CYBER-PHYSICAL SYSTEMS FOR INTELLIGENT INFRASTRUCTURE AND SMART CITIES Vanderbilt University, Department of Civil and Environmental Engineering, is seeking candidates to fill one, or possibly two, tenure-...more Aug 30 2016 - 11:44am 2 hours 59 min ago
Calls for Papers CfP: Building IoT 2017 CALL FOR PAPERS Building IoT 2017 Mar 27 - 29, 2017 | London, England | http://www.buildingiot.london Building IoT will be held from March 27 to 29, 2017, and will embrace the full spectrum of topics connected to the Internet of Things and Industry 4.0, focusing on software development and tech...more Aug 24 2016 - 2:51pm 5 days 23 hours ago
Calls for Papers SAC SVT 2017 - Second Call for Papers - Deadline September 15 2ND 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 su...more Jul 15 2016 - 3:43pm 6 days 22 min 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 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 6 days 26 min ago
Calls for Papers CFP: 4PAD special track @ PDP 2017 - 2nd Call 2nd 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 Please notice the following updates: - program committee - double-blind policy - links to LaTeX and MS W...more Jul 25 2016 - 2:43pm 1 week 4 days ago
Calls for Papers CfP: JNCA Special Issue on Emerging Services for Internet of Things (IF = 2.331) JNCA Special Issue on Emerging Services for Internet of Things (IF = 2.331) Important dates Paper submission: September 15, 2016 Acceptance notification: December 15, 2016 Final papers: 1st Quarter, 2017 Internet of Things (IoT) can provide a state-of-the-art for modern services. The rapid adopt...more Aug 19 2016 - 12:50pm 1 week 4 days ago
Calls for Papers CfP: CRTS 2016 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2016) November 29, 2016 | Porto, Portugal | collocated with RTSS 2016 Webpage: http://www.mrtc.mdh.se/CRTS2016/Submission deadline: 16th September 2016 (23:59 GMT-12.00) Accepted papers will app...more Aug 19 2016 - 12:37pm 1 week 4 days ago
Position Announcements 11 Grants + 2 PhD positions 2016 - Computer Science - Pisa We would like to announce that the call for 11 grants plus 2 positions without bursary, at the PhD in Computer Science of the University of Pisa, will be available at: http://dottorato.unipi.it/index.php/en/application-process-for-the-academic-year-2016-2017.html The deadline for application...more Aug 19 2016 - 12:16pm 1 week 4 days ago
Calls for Papers CFP: Formal Methods 2016 - Doctoral Symposium - Deadline extended to Aug. 1 CALL FOR PAPERS - Deadline Extended to Aug. 1 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 Novem...more Jul 6 2016 - 1:48pm 1 week 4 days ago
Position Announcements Vacancy: Postdoc/Head of Junior Research Group Our profile: RWTH Aachen is Germany's top ranked technical university with approx. 45.000 students and close to 6000 researchers (http://www.rwth-aachen.de). The Chair Informatik 11 - Embedded Software (http://www.embedded.rwth-achen.de) is part of the RWTH Computer Science Department and is headed...more Aug 9 2016 - 6:24am 3 weeks 8 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 5 weeks 1 day 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 5 weeks 1 day 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 5 weeks 6 days 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 6 weeks 3 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 6 weeks 3 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 6 weeks 3 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 6 weeks 3 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 6 weeks 3 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 6 weeks 3 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 6 weeks 4 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 7 weeks 5 days 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 7 weeks 5 days 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 7 weeks 5 days 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 7 weeks 5 days 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 7 weeks 5 days 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 7 weeks 5 days 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 7 weeks 5 days 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 7 weeks 5 days 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 7 weeks 5 days 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 7 weeks 5 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days 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 7 weeks 6 days ago