CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Papers IEEE Wireless Communications and Networking Conference, 19-22 March 2017, San Francisco, CA, USA IEEE Wireless Communications and Networking Conference 19-22 March 2017 // San Francisco, CA, USA http://wcnc2017.ieee-wcnc.org Submissions are welcomed for IEEE WCNC 2017 IEEE Wireless Communications and Networking Conference (WCNC) - the premier wireless event - brings together industry pr...more Sep 21 2016 - 11:53am 3 days 10 hours ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Launch of GCTC SuperClusters and EPA Funding Opportunity Hello all, It has been a few months since the Global City Teams Challenge (GCTC) Expo in June, and we are excited to move forward to the next phase of GCTC. To that end, I am today writing with three objectives. First, I want to introduce the focus of the next phase of GCTC collaboration - "Super...more Sep 20 2016 - 7:53am 4 days 14 hours ago
Calls for Papers CfP: CRTS 2016 CALL FOR PAPERS - Submission deadline (extended): 25th September 2016 (23:59 GMT-12.00) 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/CRTS...more Aug 19 2016 - 12:37pm 5 days 7 hours ago
Calls for Papers CfP: Reaction 2016 @ RTSS. Oporto, Portugal. CALL FOR PAPERS - Submission Deadline Extended: September 25th, 2016 4th IEEE Workshop on Real-Time Computing and Distributed Systems in Emerging Applications (REACTION 2016) Co-located with IEEE RTSS November 29, 2016 | Porto, Portugal | http://www.cister.isep.ipp.pt/reaction2016 Important dat...more Sep 15 2016 - 12:55pm 5 days 7 hours ago
Calls for Workshops & Tutorials Call for Workshops Proposals in conjunction with ANT-17 Call for Workshops Proposals The 8th International Conference on Ambient Systems, Networks and Technologies (ANT-2017) Madeira, Portugal | May 16-19, 2017 | http://cs-conferences.acadiau.ca/ant-17/#workshopImportant Date Workshop Proposal Due: October 1, 2016 ANT-2017 organizing committee invit...more Sep 15 2016 - 1:39pm 5 days 7 hours ago
Calls for Papers CfP: PETRA '17 CALL FOR PAPERS 10th International Conference on Pervasive Technologies Related to Assistive Environments June 21-23, 2017 | Rhodes, Greece | www.petrae.org The PErvasive Technologies Related to Assistive Environments (PETRA) conference is a highly interdisciplinary conference that focuses on com...more Sep 19 2016 - 2:17pm 5 days 7 hours ago
Calls for Papers CfP: 1st International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) CALL FOR PAPERS 1st International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) Co-located with the 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017) March 12, 2017 | Tokyo, Japan | http://www....more Sep 19 2016 - 2:02pm 5 days 7 hours ago
Calls for Papers CfP: IFAC World 2017 open invited track on Control for Computing Systems CALL FOR CONTRIBUTIONS Open Invited Track on "Control for Computing Systems" at the 20th IFAC World Congress Toulouse, France | July 9-14, 2017 | http://www.ifac2017.org/ Computing systems, large (data centers in the Cloud) or small (embedded architectures), have a growing need to be dynamically...more Sep 19 2016 - 1:44pm 5 days 8 hours ago
Calls for Papers CfP: SPIE Microtechnologies 2017 - Cyber Physical Sytems CALL FOR PAPERS SPIE 2017 conference on Cyber Physical Systems May 8-10, 2017 | Barcelona, Spain | http://spie.org/EMT/conferencedetails/cyber-physical-systems PIE Microtechnologies is the European meeting where the latest progress in microtechnology and nanotechnology systems and applications ar...more Sep 19 2016 - 1:40pm 5 days 8 hours ago
Calls for Papers Call for Papers: Compiler Construction 2017 CALL FOR PAPERS 26th International Conference on Compiler Construction (CC 2017) Co-located with CGO, HPCA, PPoPP Feb 5-6 2017 | Austin, TX, USA | http://conf.researchr.org/home/CC-2017/ Important dates Abstracts due: 01 November 2016 Papers due: 08 November 2016 A...more Sep 19 2016 - 1:29pm 5 days 8 hours ago
Calls for Papers IPSN 2017 - Call for Papers CALL FOR PAPERS The 16th International Conference on Information Processing in Sensor Networks (IPSN '17) In Conjunction with CPSWeek - https://cpsweek2017.ece.cmu.edu/ April 18-21, 2017 | Pittsburgh, PA, USA | http://ipsn.acm.org/2017/ The 16th International Conference on Information Processing...more Sep 19 2016 - 1:14pm 5 days 8 hours ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress CAIRES Workshop @ ESWEEK: CALL FOR PARTICIPATION CALL FOR PARTICIPATION 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...more Sep 19 2016 - 1:06pm 5 days 8 hours ago
Calls for Papers CfP: Embedded Systems track at SAC 2017 CALL FOR PAPERS 32nd ACM/SIGAPP SAC Symposium on Applied Computing April 3-7, 2017. Marrakech, Morocco. http://retis.sssup.it/sac2017T r a c k EMBS EMBEDDED SYSTEMS New Perspectives for Hardware, System Software, and Applications Submission page:https://www.softconf.com/h/sac2017C...more Sep 15 2016 - 1:56pm 1 week 2 days ago
Calls for Papers CfP: RST@SAC 2017 - Marrakech, Morocco - April 3-7, 2016 (Deadline extended) CALL FOR PAPERS 32nd ACM/SIGAPP SAC Symposium on Applied Computing April 3-7, 2017. Marrakech, Morocco. http://www.dre.vanderbilt.edu/~caglarf/rst2017/ T r a c k R S T RELIABLE SOFTWARE TECHNOLOGIES AND COMMUNICATION MIDDLEWAREIMPORTANT DATES F...more Sep 15 2016 - 1:51pm 1 week 2 days ago
Position Announcements Post-doctorate proposal - INRIA project-team TEA, Rennes Post-doctorate proposal - INRIA project-team TEA, Rennes Synthesis of multi-periodic systems from architecture modelling standards INTRODUCTION An architecture model is a system design artifact at the crossing of all constituents of a cyber-physical system, its software (programs, controllers,...more Sep 15 2016 - 1:34pm 1 week 2 days ago
Position Announcements Open position: Assistant professor in Mechatronics with a specialization in robotics design Assistant professor in Mechatronics with a specialization in robotics design KTH Royal Institute of Technology, School of Industrial Engineering and Management KTH Royal Institute of Technology in Stockholm has grown to become one of Europe's leading technical and engineering universities, as well...more Sep 15 2016 - 1:32pm 1 week 2 days ago
Calls for Papers CfP: International Journal of Information Technologies and Systems Approach (IJITSA) International Journal of Information Technologies and Systems Approach (IJITSA) Special Issue On: Computing Challenges on IoT and Pervasive Systems Submission Due Date (extended): September 30, 2016http://www.igi-global.com/calls-for-papers-special/international-journal-information-technologies-sy...more Sep 15 2016 - 1:27pm 1 week 2 days ago
Calls for Papers SAC SVT 2017 - Second Call for Papers - Extended Deadline September 29 2ND CALL FOR PAPERS - Deadline Extended to Sept. 29 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 Septe...more Jul 15 2016 - 3:43pm 1 week 2 days ago
Position Announcements Postdoc Position(s) in Formal Methods for parametric quantitative systems Two 1-year postdoc positions (or potentially one 2-year) are available at LINA/IRCCYN (wich will become LS2N in 2017) in Nantes, funded by the French ANR project PACS (Parametric Analyses of Concurrent Systems -- http://lipn.univ-paris13.fr/PACS/).** PROJECT ** Model-checking and formal modeling ar...more Sep 15 2016 - 12:44pm 1 week 2 days ago
Calls for Papers CfP: DATE 2017: Topic E2 Compilers and Software Synthesis for Embedded Systems CALL FOR PAPERS ABSTRACT SUBMISSION DEADLINE: Sunday, 11 September, 2016. FULL PAPER SUBMISSION DEADLINE: Sunday, 18 September, 2016 DATE 2017: Topic E2 Compilers and Software Synthesis for Embedded Systems at DATE 2017 | Lausanne, CH | March 27 - 31, 2017 https://www.date-conference.com/call-f...more Sep 15 2016 - 12:24pm 1 week 2 days ago
Calls for Papers CfP: DATE 2017: Topic E1 Real-time, Networked, and Dependable Systems CALL FOR PAPERS DATE 2017: Topic E1 Real-time, Networked, and Dependable Systems at DATE 2017 | Lausanne, CH | March 27 - 31, 2017 https://www.date-conference.com/call-for-papers#The-Conference | https://www.date-conference.com/group/tpc/members/2017/E1 DATE 2017, will take place from 27 to 31 M...more Sep 9 2016 - 3:13pm 2 weeks 1 day ago
Calls for Papers CfP: Uncertainty Reasoning at Flairs'17 CALL FOR PAPERS Special Track on Uncertain Reasoning (UR) at FLAIRS'17 May 22-24, 2017 | Marco Island, Florida | http://www.flairs-30.info/ Important Dates: Submission of papers: Nov. 21, 2016 Notification of acceptance: Jan. 23, 2017 Camera-ready versions due: Feb. 27, 2017 FLAIRS-30 confere...more Sep 9 2016 - 2:56pm 2 weeks 1 day ago
Calls for Papers CfP: DATE 2017: Topic E4 Embedded Software Architectures CALL FOR PAPERS Topic E4: Embedded Software Architectures at DATE 2017 | Lausanne, CH | March 27 - 31, 2017 https://www.date-conference.com/call-for-papers#The-Conference | https://www.date-conference.com/group/tpc/members/2017/E4 DATE 2017, will take place from 27 to 31 March, 2017, at the Swis...more Sep 9 2016 - 2:03pm 2 weeks 1 day ago
Calls for Papers CfP: TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming CALL FOR PAPERS Special Issue of Theory and Practice of Logic Programming Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming http://www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017/ Since its inception, logic programming has been recognized as an ideal p...more Sep 9 2016 - 1:53pm 2 weeks 1 day ago
Calls for Papers CfP: 4th Workshop on Mixed Criticality Systems (WMC 2016) CALL FOR PAPERS 4th Workshop on Mixed Criticality Systems (WMC 2016) November 29, 2016 | Porto, Portugal | With RTSS 2016 THEMES The workshop aims to bring together researchers working in fields relating to real-time systems with a focus on the challenges brought about by the integration of mixe...more Sep 9 2016 - 1:49pm 2 weeks 1 day ago
Calls for Papers CfP: IoTDI 2017 CALL FOR PAPERS The 2nd IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI 2017) April 18-21, 2017 | Pittsburgh, PA | http://conferences.computer.org/IoTDI/ In conjuction with CPS Week IoTDI Is part of CPSWeek 2017! IoTDI is a premier venue on IoT and a new mem...more Sep 9 2016 - 1:38pm 2 weeks 1 day ago
Calls for Papers CFP NFM 2017: 9th NASA Formal MethodsSymposium CALL FOR PAPERS The 9th NASA Formal Methods Symposium (NFM 2017) May 16 - 18, 2017 | NASA Ames Research Center - Moffett Field, CA, USA | http://ti.arc.nasa.gov/events/nfm-2017/ Theme of the Symposium The widespread use and increasing complexity of mission-critical and safety-critical systems at...more Sep 9 2016 - 1:11pm 2 weeks 1 day ago
Calls for Papers CfP: 19th International Symposium on Practical Aspects ofDeclarative Languages (PADL 2017) CALL FOR PAPERS 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) 16th and 17th January 2017 | Paris, France | http://bit.ly/PADL-2017 Co-located with ACM POPL 2017 - http://conf.researchr.org/home/POPL-2017 The two best papers accepted for publication at PAD...more Sep 9 2016 - 1:02pm 2 weeks 1 day ago
Position Announcements PhD position at the University of Oldenburg A 3-year PhD position (scientific assistant) is available in the lab of Prof. Dr. Annegret Habel, Department of Computing Sciences, University of Oldenburg, starting October 1st 2016Deadline: 15th September 2016. Meta-Modeling and Graph Grammars: Generating Development Environments for Modeling Lan...more Sep 2 2016 - 11:02am 3 weeks 1 day ago
Calls for Papers CfP: 2016 Annual Computer Security Applications Conference (ACSAC) CALL FOR PAPERS 2016 Annual Computer Security Applications Conference (ACSAC) Security and Privacy in the Internet of Things (IoTs) December 5-9, 2016 | Los Angeles, California | https:www.asac.org/2016/cfp/hardtopic/ Background ACSAC is renewing its focus on tackling hard, cutting-edge, cyber...more Aug 31 2016 - 10:22am 3 weeks 3 days ago
Calls for Papers CfP: DATE 2017: Model-based Design and Verification for Embedded Systems CALL FOR PAPERS Topic E3: Model-based Design and Verification for Embedded Systems at DATE 2017 | Lausanne, CH | March 27 - 31, 2017 https://www.date-conference.com/call-for-papers#The-Conference | https://www.date-conference.com/group/tpc/members/2017/E3 DATE 2017, will take place from 27 to 31...more Aug 30 2016 - 5:10pm 3 weeks 4 days ago
Position Announcements PostDoc position @ RWTH Aachen University, Germany: Application Software Engineering for Cyber-physical Systems 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...more Aug 30 2016 - 4:58pm 3 weeks 4 days ago
Calls for Papers CFP: 4PAD special track @ PDP 2017 - Deadline Extension CALL FOR PAPERS - Submission Deadline extended to September 25, 2016 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...more Jul 25 2016 - 2:43pm 3 weeks 4 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress ESWeek 2016: Preferred Hotel Registration Deadline approaches soon CALL FOR PARTICIPATION Preferred Hotel Registration Deadline Sept. 2 E M B E D D E D S Y S T E M S W E E K Pittsburgh, PA, US | October 2-7, 2016 | www.esweek.org ============================================================== CASES ++ CODES+ISSS ++ EMSOFT ++ Symposia ++ Workshops ++ Tut...more Aug 30 2016 - 4:45pm 3 weeks 4 days ago
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 3 weeks 4 days 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 4 weeks 3 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 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 4 weeks 3 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 5 weeks 1 day 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 5 weeks 1 day 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 5 weeks 1 day 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 6 weeks 4 days 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 8 weeks 5 days 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 8 weeks 5 days 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 9 weeks 3 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 10 weeks 1 day 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 10 weeks 1 day 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 10 weeks 1 day 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 10 weeks 1 day 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 10 weeks 1 day 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 10 weeks 1 day ago