CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Papers *DEADLINE EXTENDED* 3rd Workshop on design of Low Power EMbedded Systems (LP-EMS17) CALL FOR PAPERS 3rd Workshop on design of Low Power EMbedded Systems (LP-EMS17) Co-located with ACM International Conference on Computing Frontiers 2017 May 15 - 17, 2017 | Siena, Italy | http://lpems.insa-rennes.fr/ AIM and SCOPE Modern cyber-physical and highly networked systems impose to des...more Feb 20 2017 - 2:10pm 7 years 40 weeks ago
Calls for Papers CfP: SPIN 2017 - Deadline extended to Feb. 17 CALL FOR PAPERS - Deadline Extended to Feb. 17 24th International Symposium on Model Checking of Software (SPIN 2017) Santa Barbara, CA, USA | July 13-14, 2017 | http://conf.researchr.org/home/spin-2017 Collocated with ISSTA The SPIN symposium aims at bringing together researchers and practiti...more Nov 9 2016 - 10:41am 7 years 40 weeks ago
Calls for Papers CfP: EMBEDDED SYSTEMS WEEK Call for Papers, Tutorials, Workshops EMBEDDED SYSTEMS WEEK CASES * CODES+ISSS * EMSOFT * IoT Day * Symposia * Workshops * Tutorials Seoul, South Korea | October 15-20, 2017 | http://esweek.org ------------------------------------------------------------------------- Embedded Systems Week is...more Feb 6 2017 - 4:55pm 7 years 42 weeks ago
Calls for Workshops & Tutorials Call for Papers, Tutorials, Workshops EMBEDDED SYSTEMS WEEK Call for Papers, Tutorials, Workshops EMBEDDED SYSTEMS WEEK CASES * CODES+ISSS * EMSOFT * IoT Day * Symposia * Workshops * Tutorials Seoul, South Korea | October 15-20, 2017 | http://esweek.org ------------------------------------------------------------------------- Embedded Systems Week is...more Feb 6 2017 - 4:57pm 7 years 42 weeks ago
Calls for Papers FORMATS 2017 - Call for Papers - Submission 21 April 2017 CALL FOR PAPERS 15th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2017) 5- 7 September, 2017 | Berlin, Germany | http://formats17.ulb.be Objectives Control and analysis of the timing of computations is crucial to many domains of system engineering, be it,...more Feb 6 2017 - 4:45pm 7 years 42 weeks ago
Calls for Papers CfP: 5th ALCHEMY workshop on Many-core programming (part of ICCS 2017) CALL FOR PAPERS 5th ALCHEMY Workshop - Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems as part of ICCS 2017 12-14 June, 2017 | Zurich, Switzerland | https://sites.google.com/site/alchemyworkshop/ Important Dates: Submission deadline (hard): 15th Febr...more Feb 6 2017 - 4:36pm 7 years 42 weeks ago
Calls for Papers CfP: 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTSCA 2017) CALL FOR PAPERS 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTSCA 2017) August 16-18, 2017 | Hsinchu, Taiwan | http://www.rtcsa.org/ Important Dates: - Paper Submission Deadline: April 14, 2017 - Acceptance Notification: June 2, 2017 - Fi...more Feb 6 2017 - 4:24pm 7 years 42 weeks ago
Calls for Papers CfP: STAF 2017: Software Technologies: Applications and Foundations CALL FOR PAPERS STAF 2017: Software Technologies: Applications and Foundations July 17, 2017 | Marburg, Germany | http://www.informatik.uni-marburg.de/staf2017/index.php/call-doctoral-symposium/ The goal of the Doctoral Symposium is to provide a forum in which PhD students can present their work...more Feb 6 2017 - 4:14pm 7 years 42 weeks ago
Calls for Papers TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming 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 paradigm for addr...more Dec 15 2016 - 12:40pm 7 years 42 weeks 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 - Extended Deadline February 15, 2017 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 program...more Sep 9 2016 - 1:53pm 7 years 42 weeks ago
Calls for Papers SIES 2017 - Call for papers CALL FOR REGULAR, SPECIAL SESSIONS, & WORK IN PROGRESS PAPERS CALL FOR TUTORIALS & WORKSHOPS 12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017) June 7-9, 2017 | Toulouse, France | Web site: http://sies2017.org Sponsors: IEEE Council on Electronic Design Automa...more Nov 9 2016 - 11:00am 7 years 42 weeks ago
Calls for Papers CfP: MSIAAS@SCSC’17 CALL FOR PAPERS: MSIAAS@SCSC'17 Modeling and Simulation of Intelligent, Adaptive and Autonomous Systems Track (MSIAAS'17) held at the 49th Summer Computer Simulation Conference (SCSC 2017) July 9-12, 2017 | Bellevue, Washington, USA | http://scs.org/wp-content/uploads/2016/01/CFP_MSIAAS-v2.pdf...more Feb 6 2017 - 3:59pm 7 years 42 weeks ago
Calls for Papers CfP: DigitalSec2017 CALL FOR PAPERS The Fourth International Conference on Digital Security and Forensics (DigitalSec2017) July 11- July 13, 2017 | Kuala Lumpur, Malaysia | http://sdiwc.net/conferences/4th-conference-digital-security-forensics/ You are invited to participate in The Fourth International Conference o...more Feb 6 2017 - 3:48pm 7 years 42 weeks ago
Position Announcements Senior Research Scientist Cyber-physical Systems at Siemens Corporate Technology, Princeton NJ Interested? Apply here Division Description: Siemens is a global technology powerhouse that has stood for engineering excellence, innovation, quality, reliability and internationally for more than 165 years. As a global technology company, Siemens is rigorously leveraging the advantages that this...more Feb 6 2017 - 3:41pm 7 years 42 weeks ago
Position Announcements Illinois Science of Security Lablet Summer Internship Program Application Deadline Extended The Illinois Science of Security Lablet Summer Internship Program has extended the application deadline to February 28. The practice of the "security of science" aims to approach knowledge discovery in the field of cybersecurity in a way that validates predictions though logic or repeatable empiric...more Dec 15 2016 - 1:46pm 7 years 44 weeks ago
Calls for Papers CfP: MT-CPS'17: 2nd International Workshop on Monitoring and Testing of Cyber-Physical Systems CALL FOR PAPERS 2nd International Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS'17) Pittsburgh, PA, USA | 21st April 2017 | https://sites.google.com/asu.edu/mt-cps-2017 Co-located with CPS Week Cyber-physical systems (CPS) are integrations of heterogeneous collaborative...more Jan 27 2017 - 4:26pm 7 years 44 weeks ago
Calls for Papers CFP - CF'17 - ACM International Conference on Computing Frontiers 2017 - Deadline Extended CALL FOR PAPERS - Deadline Extended to February 3, 2017 ACM International Conference on Computing Frontiers 2017 (CF'17) May 15 - 17, 2017 | Siena, Italy | www.computingfrontiers.org Computing Frontiers is an eclectic, collaborative community of researchers who investigate emerging technologies...more Oct 12 2016 - 3:57pm 7 years 44 weeks ago
Calls for Papers CFP: CSCEET2017 & EEETEM2017 & E3PE2017- Lebanon- IEEE CALL FOR PAPERS The Third International Conference on Electrical and Electronic Engineering, Telecommunication Engineering, and Mechatronics (EEETEM2017) The Fourth International Conference on Computer Science, Computer Engineering, and Education Technologies (CSCEET2017) The First Internatio...more Jan 27 2017 - 3:49pm 7 years 44 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress CALL FOR NOMINATIONS: ACM SIGBED Paul Caspi Dissertation Award CALL FOR NOMINATIONS ACM SIGBED Paul Caspi Dissertation Award http://sigbed.blogspot.fr/p/awards.html The nomination should be submitted via EasyChair at https://easychair.org/conferences/?conf=caspiaward17 by March 1, 2016. For further information, contact Wang.Yi@it.uu.se The Paul Caspi Disse...more Jan 27 2017 - 3:13pm 7 years 44 weeks ago
Calls for Papers ECRTS 2017 - Call for Papers CALL FOR PAPERS 29th EUROMICRO Conference on Real-Time Systems (ECRTS 17) June 27-30, 2017 | Dubrovnik, Croatia | ecrts17.ecrts.org IMPORTANT DATES Submission deadline: January, 30th, 2017 (23:59 GMT-12) - firm Notifications: March 24th, 2017 ECRTS is the premier European venue for prese...more Jan 27 2017 - 3:07pm 7 years 44 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress OpenModelica/MODPROD Workshops Febr 2017 REGISTRATION NOW OPEN! MODPROD & OpenModelica workshops; OpenModelica 1.11.0 Release February 6-8, 2017 | Linkoping, Sweden Registration Open OpenModelica/MODPROD Workshops Febr 2017 Early registration until January 22: www.modprod.liu.se NOTE: Higher registration fee after January 22, 201...more Dec 28 2016 - 5:24pm 7 years 44 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress OpenModelica 1.11.0 Release OpenModelica 1.11.0 Release and MODPROD & OpenModelica workshops OPENMODELICA IS AN OPEN-SOURCE Modelica-based cyber-physical mathematical modeling, architectural description and simulation environment intended for industrial and academic usage. Its long-term development is supported by a non-p...more Dec 28 2016 - 5:50pm 7 years 44 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Presentations: 28th Annual IEEE Software Technology Conference (STC 2017) CALL FOR PRESENTATIONS 28th Annual IEEE Software Technology Conference (STC 2017) September 25 - 28, 2017 | National Institute of Standards and Technology, Gaithersburg, MD USA | http://ieee-stc.org Theme: Meeting Real World Opportunities and Challenges through Software and Systems Technology Th...more Jan 26 2017 - 3:25pm 7 years 44 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Student Posters on Unmanned Aircraft Systems (UAS) Communications and Networking Research Call for Student Posters on Unmanned Aircraft Systems (UAS) Communications and Networking Research AUVSI XPONENTIAL is an industrial conference and exhibition organized by the Association of Unmanned Vehicles and Systems International. During this annual event, the largest global community of lead...more Jan 24 2017 - 8:53am 7 years 44 weeks ago
Calls for Papers CFP: IEEE D&T Special Issue on Self-Awareness in SoCs - FINAL CALL CALL FOR CONTRIBUTIONS FINAL CALL FOR PAPERS IEEE Design & Test Special Issue on Self-Awareness in Systems on Chip Inspired by biological examples, self-awareness has become a hot research topic in a variety of disciplines and its applicability has been explored in various appli...more Dec 28 2016 - 4:15pm 7 years 44 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: FactoryHack2017 in Lemgo/Germany CALL FOR PARTICIPATION FactoryHack2017 Lemgo, Germany | March 3-5, 2017 | www.factoryhack.com FactoryHack2017 - It sounds like a criminal act, in reality it is a digital programming festival. At the world's largest industrial hackathon creative minds from computer and engineering sciences are i...more Jan 23 2017 - 1:57pm 7 years 44 weeks ago
Calls for Papers SEMANTiCS 2017, Amsterdam, Sep 11-14, Call for Research & Innovation Papers Call for Research & Innovation Papers SEMANTiCS 2017 - The Linked Data Conference 13th International Conference on Semantic Systems Amsterdam, Netherlands | September 11 -14, 2017 | http://2017.semantics.cc The Research & Innovation track at SEMANTiCS welcomes the submission of papers o...more Jan 23 2017 - 1:04pm 7 years 44 weeks ago
Calls for Papers CfP for the 3rd International Workshop GRAPHS AS MODELS (GaM 2017) CALL FOR PAPERS 3rd International Workshop GRAPHS AS MODELS (GaM 2017) Uppsala, Sweden | April 22-29, 2017 | http://www.dcs.gla.ac.uk/gam2017 a Satellite Event of ETAPS 2017 Important Dates Abstract Submission: February 3, 2017 Paper Submission: February 10, 2017 Author Notification: Ma...more Jan 23 2017 - 12:44pm 7 years 44 weeks ago
Calls for Papers VPT 2017 (@ETAPS) - Call for Papers CALL FOR PAPERS Fifth International Workshop on Verification and Program Transformation (VPT 2017) April 29th, 2017 | Uppsala, Sweden | http://refal.botik.ru/vpt/vpt2017 Co-located with the 20th European Joint Conferences on Theory and Practice of Software (ETAPS 2017) http://www.etaps.org/index...more Jan 23 2017 - 12:30pm 7 years 44 weeks ago
Calls for Papers CFP: 7th International Symposium on Internet of Ubiquitous and Pervasive Things (IUPT 2017) CALL FOR PAPERS The 7th International Symposium on Internet of Ubiquitous and Pervasive Things (IUPT 2017) To be held in conjunction with Ambient Systems, Networks and Technologies Conference (ANT'17) May 16-19, 2017 | Madeira, Portugal | http://cs.adelaide.edu.au/~iupt2017/ IMPORTANT DATES...more Jan 23 2017 - 11:53am 7 years 44 weeks ago
Calls for Papers TAP 2017: Call for Papers First Call for Papers 11th International Conference on Tests And Proofs (TAP 2017) Marburg (Germany) | 19-20 July 2017 | http://www.seceng.de/tap2017 Part of STAF 2017 http://www.informatik.uni-marburg.de/staf2017/ Important Dates Abstract: 17 February 2017 Paper: 24 February 2017 Not...more Jan 20 2017 - 4:25pm 7 years 45 weeks ago
Calls for Papers CFP::CYBERSEC2017 & ICETC2017- Ethiopia CALL FOR PAPERS The Fourth International Conference on Education, Technologies and Computers (ICETC2017) The Fifth International Conference on Cyber Security, Cyber Welfare and Digital Forensic (CyberSec2017) St. Mary's University, Addis Ababa, Ethiopia | April 22-24, 2017 | http://sdiwc.net/...more Jan 20 2017 - 4:10pm 7 years 45 weeks ago
Calls for Papers CfP: Special Session on Mixed-Criticality System Design, Implementation and Analysis (MCSDIA) at DSD'17 Call for Papers Special Session on Mixed-Criticality System Design, Implementation and Analysis (MCSDIA) at 20th Euromicro Conference on Digital System Design (DSD) Aug. 30th - Sept. 1st, Vienna, Austria http://dsd-seaa2017.ocg.at SPECIAL SESSION SCOPE Modern embedded appliances already...more Jan 20 2017 - 3:47pm 7 years 45 weeks ago
Calls for Papers CFP - AROSA @ the 26th IEEE WETICE and Special Issue AROSA @ the 26th IEEE WETICE and Special Issue Track on Adaptive and Reconfigurable Systems and Architectures http://arosa2017.redcad.org Conference Track @ the 26th IEEE WETICE Conference Poznan Poland | June 21-23, 2017. | http://wetice.ue.poznan.pl Best papers of AROSA2017 will be invited to...more Jan 20 2017 - 3:32pm 7 years 45 weeks ago
Calls for Papers Combined Workshops Call for Papers at CPS Week 2017 Combined Workshops Call for Papers at CPS Week 2017 The CPS Week 2017 will host the following outstanding workshops: Title: ARCH 2017 - 4th Applied Verification for Continuous and Hybrid Systems Organizers:Goran Frehse (UJF-Verimag, France), Matthias Althoff (TU Munich, Germany) Title: CMAAS...more Jan 20 2017 - 3:27pm 7 years 45 weeks ago
Position Announcements 2 PhD positions @University of Twente: Fewer train delays via big data, fault trees, model checking Fewer train delays via big data analytics, fault trees, and stochastic model checking? The University of Twente seeks 2 PhD candidates We seek two excellent PhD candidates to work on the SEQUOIA project. We aim to improve the reliability of the (Dutch) railroads by deploying big data analytics to p...more Jan 20 2017 - 3:20pm 7 years 45 weeks ago
Calls for Papers CfP special issue "Real-Time Embedded Systems" of MDPI Electronics journal Call for papers for the Special Issue of MDPI Electronics journal: "Real-Time Embedded Systems" http://www.mdpi.com/journal/electronics/special_issues/embedded_systems Deadline May 31, 2017 This MDPI Electronics journal special issue is dedicated to the cyberphysical and real time embedded s...more Jan 20 2017 - 3:13pm 7 years 45 weeks ago
Position Announcements Two Positions - PostDoc and Research Group Leader in Resilience path at TU Dresden, Germany Research Group Leader: Orchestration of Resilience Mechanisms The Cluster of Excellence 'Center for Advancing Electronics Dresden' (cfaed) offers, subject to granted funds, a position as Research Group Leader Orchestration of Resilience Mechanisms (Subject to personal qualification employees are...more Jan 20 2017 - 3:09pm 7 years 45 weeks ago
Position Announcements Student Scholarship for ACM Turing Award Celebration Call for Applications Attachments: CALL FOR APPLICATIONS SCHOLARSHIP FOR ACM TURING AWARD CELEBRATION: CELEBRATING 50 Years of Computing's Greatest Achievements San Francisco | June 23-24, 2017 | https://www.acm.org/awards/turing-award-50-conference. SIGAI would like to sponsor 2 student scholarship recipients to attend the 50th...more Jan 20 2017 - 3:05pm 7 years 45 weeks ago
Calls for Papers Call for Open Communications: COMPLEXIS 2017 - Int'l Conf. on Complexity, Future Information Systems and Risk CALL FOR OPEN COMMUNICATIONS IMPORTANT DEADLINE: *February 17, 2017* (no deadline extension) COMPLEXIS 2017 - 2nd International Conference on Complexity, Future Information Systems and Risk (Porto/Portugal) April 24 - 26, 2017| Porto, Portugal | http://www.complexis.org In Cooperation with: EATC...more Jan 20 2017 - 2:53pm 7 years 45 weeks ago
Calls for Papers CFP COMPLEXIS 2017 - Doctoral Consortium on Complexity, Future Information Systems and Risk CALL FOR PAPERS Doctoral Consortium on Complexity, Future Information Systems and Risk April 24 - 26, 2017 | Porto/Portugal | http://www.complexis.org/DoctoralConsortium.aspx IMPORTANT DEADLINES Doctoral Consortium Submission: February 17, 2017 Author Notification: March 3, 2017 Camera Ready...more Jan 20 2017 - 2:49pm 7 years 45 weeks ago
Calls for Papers CFP: Self-Awareness in Cyber-Physical Systems workshop, in frame of CPSWeek 2017 Call for Contributions Self-Awareness in Cyber-Physical Systems (SelPhyS) CPSWeek 2017 Pittsburgh Workshop on 21 April 2017 https://www.ict.tuwien.ac.at/selphys/ https://cpsweek2017.ece.cmu.edu/index.php/events/ DESCRIPTION The concept of self-awareness has become a hot research topic i...more Jan 20 2017 - 2:28pm 7 years 45 weeks ago
Calls for Papers CFP: The Fourth International Conference on Software Defined Systems (SDS-2017) Deadline Extension CALL FOR PAPERS - Deadling extended to January 31, 2017 The Fourth International Conference on Software Defined Systems (SDS-2017) Valencia, Spain | May 8-11, 2017 | http://emergingtechnet.org/SDS2017/index.php Next generation cloud systems will require a paradigm shift in how they are constructe...more Dec 1 2016 - 2:50pm 7 years 45 weeks ago
Calls for Papers CFP: International Conference on Logic Programming 2017 Call for Papers 33rd International Conference on Logic Programming (ICLP 2017) (co-located with CP and SAT and following IJCAI) Melbourne, Australia | August 28 - September 1, 2017 | http://iclp17.a4lp.org Conference Scope Since the first conference held in Marseille in 1982, ICLP has bee...more Jan 20 2017 - 1:54pm 7 years 45 weeks ago
Calls for Papers CFP: Special Issue on Cross-layer Design of Cyber-Physical Systems IEEE Design & Test Call for Contributions to Special Issue on Cross-layer Design of Cyber-Physical Systems Submission Deadline: 30 June, 2017 Topics of Interest: ------------------- This special issue will be on problems and innovative solutions on cross-layer design of all forms of cybe...more Jan 20 2017 - 1:27pm 7 years 45 weeks ago
Calls for Papers CfP: SEFM 2017 Call For Papers The 15th International Conference on Software Engineering and Formal Methods (SEFM 2017) Trento, Italy | September 6-10, 2017 | http://sefm17.fbk.eu/ The conference aims to bring together leading researchers and practitioners from academia, industry and government, to advance the...more Jan 20 2017 - 1:24pm 7 years 45 weeks ago
Calls for Workshops & Tutorials SEFM 2017: Call for Workshops CALL FOR WORKSHOP PROPOSALS 15th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2017) 6-10 September 2017 | Trento, Italy | http://sefm17.fbk.eu IMPORTANT DATES 31 January 2017 - Workshop proposals submission deadline 17 February 2017 - Notification of workshop ap...more Jan 20 2017 - 1:16pm 7 years 45 weeks ago
Calls for Papers CFP: IEEE Design & Test Special Issue on Time-Critical Systems Design CALL FOR PAPERS IEEE Design & Test Call for Contributions Special Issue on T I M E - C R I T I C A L S Y S T E M S D E S I G N Submission Deadline 31 March 2017 Time-critical computing systems, designed to meet real-time deadlines, have conventionally been restricted to niche applicatio...more Jan 20 2017 - 12:45pm 7 years 45 weeks ago
Position Announcements 2016 European PhD Award on Control for Complex and Heterogeneous Systems 2016 European PhD Award on Control for Complex and Heterogeneous Systems As every year, we would like to encourage young researchers that have recently obtained their PhD degree to participate in the process for the selection of the best PhD thesis defended in a European University in the field of...more Jan 20 2017 - 12:40pm 7 years 45 weeks ago
Position Announcements Call for Application: Computing Research Association (CRA) Graduate Fellows Program The Computing Research Association Education Committee (CRA-E) is now accepting applications for the CRA-E Graduate Fellows Program (http://cra.org/crae/activities/fellows/). The program provides opportunities for Ph.D. candidates in computing fields to contribute to CRA-E projects, network with com...more Jan 20 2017 - 12:37pm 7 years 45 weeks ago