CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Papers CfP: Software Engineering for Resilient Systems - SERENE 2017 workshop CALL FOR PAPERS SERENE 2017 - 9th International Workshop on Software Engineering for Resilient Systems September 4-5, 2017 | Geneva, Switzerland | http://serene.disim.univaq.it/2017/home Co-located with EDCC, European Dependable Computing Conference. Resilience is an ability of a system to p...more Mar 6 2017 - 4:31pm 7 years 38 weeks ago
Calls for Papers CfP - Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE) CALL FOR PAPERS International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms June 26th, 2017 | Denver, CO, USA | http://radiance.devasses.eu Co-located with DSN 2017 Important Dates: - Submission deadline: March 22nd, 2017 - Author notification: April 18th, 20...more Mar 6 2017 - 4:21pm 7 years 38 weeks ago
Position Announcements Post-doc position : Application-aware control in reconfigurable architectures Post-doc position : Application-aware control in reconfigurable architectures See online : https://www.inria.fr/en/institute/recruitment/offers/post-doctoral-research-fellowships/post-doctoral-research-fellowships/(view)/details.html?id=PNGFK026203F3VBQB6G68LOE1&LOV5=4508&LG=EN&Resultsp...more Mar 6 2017 - 4:10pm 7 years 38 weeks ago
Position Announcements Professor / Associate Professor and Head of Department - Department of Computer Science Professor / Associate Professor and Head of Department - Department of Computer Science Job ID 22677. In pursuit of the ideals of excellence and diversity, the University of Pretoria wishes to invite applications for the following vacancy. The University of Pretoria's commitment to quality makes u...more Mar 6 2017 - 4:02pm 7 years 38 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Register IoTDI and SocialSens at CPSWeek CALL FOR PARTICIPATION 2nd ACM/IEEE International Conference on Internet of Things Design and Implementation ACM/IEEE IoTDI 2017 (April 18-20 | Pittsburgh, PA (at CPSWeek) | http://www3.nd.edu/~dwang5/SocialSens2017/program2.html Suggested workshop pairing: 2nd International Workshop on Social S...more Mar 6 2017 - 3:58pm 7 years 38 weeks ago
Calls for Workshops & Tutorials ESWEEK 2017: Final Call for Workshop Proposals Call for Workshops and Tutorials 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 (ESWEEK) is the premier event covering all aspects of embedded systems and software...more Mar 6 2017 - 3:55pm 7 years 38 weeks ago
Calls for Papers CfP: GandALF 2017 - International Symposium on Games, Automata, Logics, and Formal Verification PRELIMINARY CALL FOR PAPERS The Eighth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2017) Rome (Italy) | 20-21-22 September 2017 | http://gandalf2017.istc.cnr.it The aim of GandALF 2017 symposium is to bring together researchers from academia and indus...more Mar 6 2017 - 3:48pm 7 years 38 weeks ago
Calls for Papers SAFECOMP17 Extended Deadline EXTENDED DEADLINE* SAFECOMP 2017 The 36th International Conference on Computer Safety, Reliability and Security 12 - 15 September 2017 | Trento, Italy | http://www.safecomp.org *** The paper submission deadline has been extended to 10 March 2017 (AOE) *** SUBMISSION URL https://easychair.or...more Mar 6 2017 - 3:39pm 7 years 38 weeks ago
Calls for Papers CfP: 2017 Federated Conference on Computer Science and Information Systems (FedCSIS) CALL FOR PAPERS 2017 Federated Conference on Computer Science and Information Systems (FedCSIS) Prague, Czech Republic | 3 - 6 September, 2017 | www.fedcsis.org (FedCSIS on www.ieee.org: http://tinyurl.com/FedCSIS-on-IEEE-2017) Strict submission deadline: May 10, 2017 FedCSIS an annual int...more Mar 6 2017 - 11:28am 7 years 38 weeks ago
Calls for Papers SEMANTiCS 2017, Amsterdam, Sep 11-14, Open Calls CALL FOR PAPERS, POSTERS, & WORKSHOPS SEMANTiCS 2017 - The Linked Data Conference 13th International Conference on Semantic Systems Amsterdam, Netherlands | September 11 -14, 2017 | http://2017.semantics.cc Important Dates (Research & Innovation): Abstract Submission Deadline: Ma...more Mar 6 2017 - 3:27pm 7 years 38 weeks ago
General Announcements Draft "Smart Cities and Communities Federal Strategic Plan: Exploring Innovation Together" Draft "Smart Cities and Communities Federal Strategic Plan: Exploring Innovation Together" Federal Register Notice Request for Comments Due: Tuesday, February 28, 2017 The draft Smart Cities and Communities Federal Strategic Plan was released January 12th for public comments by the Networking and...more Jan 23 2017 - 9:26pm 7 years 38 weeks ago
Calls for Papers 1st CfP: FACS 2017 - 14th International Conference on Formal Aspects of Component Software CALL FOR PAPERS 14th International Conference on Formal Aspects of Component Software Braga, Portugal | October 10-13, 2017 | http://facs2017.di.uminho.pt IMPORTANT DATES Abstract submission deadline: May 19, 2017 Paper submission deadline: May 26, 2017 Notification: July 17, 20...more Mar 6 2017 - 2:58pm 7 years 38 weeks ago
Calls for Papers 1st CfP: SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering) CALL FOR PAPERS 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2017) (Co-located with SPLASH 2017) 23-24 October 2017 | Vancouver, Canada | http://www.sleconf.org/2017/ The 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE) is devote...more Mar 6 2017 - 2:32pm 7 years 38 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress 6th Halmstad Summer School on Testing: Call for Participation CALL FOR PARTICIPATION The 6th Halmstad Summer School on Testing Halmstad University, Sweden | June 13 - June 16, 2016 | http://ceres.hh.se/mediawiki/index.php/HSST_2016 Scope Software testing accounts for a major part of software development cost and effort, yet the current practice of softw...more Feb 3 2016 - 5:57pm 7 years 38 weeks ago
Calls for Papers Deadline Extended: The 6th Mediterranean Conference on Embedded Computing (MECO 2017) CALL FOR PAPERS - Paper submission deadline extended to March 10, 2017 The 6th Mediterranean Conference on Embedded Computing (MECO 2017) Bar, Montenegro | June 11-15, 2017 | http://embeddedcomputing.me/en/meco-2017 The 6th Mediterranean Conference on Embedded Computing (MECO 2017) is a continua...more Jan 23 2017 - 11:34am 7 years 38 weeks ago
Calls for Papers Deadline Extended: ECYPS’2017 - the 5th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems CALL FOR PAPERS - Paper submission deadline extended to March 10, 2017 5th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS'2017) Bar * Montenegro * June 11-15, 2016 * http://embeddedcomputing.me The 5th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems will be h...more Jan 23 2017 - 11:18am 7 years 38 weeks ago
Calls for Papers CfP: FMICS-AVoCS 2017 CALL FOR PAPERS International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS) 18-20 September 2017 | University of Torino, Italy | http://www.es.mdh.se/conferences/fmics-avocs-2017/ The conference is co-located with 13th In...more Mar 6 2017 - 1:35pm 7 years 38 weeks ago
Calls for Papers CfP: International Workshop on Big Data and Networks Technologies (BDNT’2017) CALL FOR PAPERS International Workshop on Big Data and Networks Technologies (BDNT'2017) Held in parallel with The 12th International Conference on Future Networks and Communications July 24-26, 2017 | Leuven, Belgium | https://bdnt2017.sciencesconf.org/ The goal of the BDRT2017 conference is to...more Mar 6 2017 - 1:20pm 7 years 38 weeks ago
Calls for Workshops & Tutorials PETRA 2017: Workshops Deadline Extended CALL FOR WORKSHOPS - Deadline extended to March 17, 2017 10th International Conference on Pervasive Technologies Related to Assistive Environments (PETRA '17) July 21-23, 2017 | Rhodes, Greece | www.petrae.org On behalf of PETRA'17 organizing committee, we would like to invite you to submit a pap...more Feb 21 2017 - 1:14pm 7 years 38 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: Summer School on Cyber-Physical Systems, CPS 2017 CALL FOR PARTICIPATION Summer School on Cyber-Physical Systems, CPS 2017 June 17-21, 2017 - Halmstad University, Sweden The Summer School on Cyber-Physical Systems brings together the theoretical foundations and the industrial practice of the area in Halmstad, a place known both for innovation in...more Mar 6 2017 - 1:05pm 7 years 38 weeks ago
Calls for Papers Call for Papers: PATMOS 2017 & VARI 2017 CALL FOR PAPERS 27th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS) 25 - 27 September 2017 | Thessaloniki, Greece | http://patmos2017.web.auth.gr PATMOS is Technically Sponsored by IEEE CASS. The conference proceedings will be included in the IEEE Xplor...more Mar 6 2017 - 12:49pm 7 years 38 weeks ago
Calls for Papers CFP: 8th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2017) CALL FOR PAPERS 8th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2017) Satellite workshop of 29th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS Organised by the Euromicro Technical Committee on Real-Time Systems - ecrts17.ecrts.org Dubrovnik, Croatia | 27-30th June 2017 | www.ci...more Mar 6 2017 - 12:13pm 7 years 38 weeks ago
Calls for Papers Deadline Extension: 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (CPSWeek 2017) Call for Submissions - DEADLINE EXTENSION UNTIL MARCH 6 4th International Workshop on Applied Verification for Continuous and Hybrid Systems CMU campus alongside CPS Week Pittsburgh, USA, April 17, 2017 | http://cps-vo.org/group/ARCH The workshop on applied verification for continuous and hybrid...more Jan 23 2017 - 2:20pm 7 years 38 weeks ago
Calls for Papers CfP: 23rd IEEE RTCSA 2017 CALL FOR PAPERS THE 23RD IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS Hsinchu, Taiwan | August 16-18, 2017 | http://www.rtcsa.org/ Important Dates: - Paper Submission Deadline: April 14, 2017 - Acceptance Notification: June 2, 2017 - Final Paper...more Mar 6 2017 - 11:47am 7 years 38 weeks ago
Calls for Papers CfP: Special Session at 2017 ICUAS: CPUAS: Cyber-Physical Unmanned Aircraft Systems Special Session: CPUAS: Cyber-Physical Unmanned Aircraft Systems at 2017 ICUAS June 13-16, 2017 | Miami, FL | http://uasconferences.com/ Cyber-Physical Systems research is becoming increasingly important as we more deeply integrate physical system performance with computation and communication. N...more Jan 4 2017 - 8:24pm 7 years 38 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation for CPS Summer School 2017 ----------------------------------------------------------- Call for Participation for CPS Summer School 2017 Coordinated by INTO-CPS, CPSE Labs, MPM4CPS, ACOSAR and AMASS Held at "Lucian Blaga" University of Sibiu, Romania 3rd - 7th July 2017 into-cps.au.dk/summerschool ----------------...more Mar 2 2017 - 6:27am 7 years 39 weeks ago
Calls for Papers Journal of Systems Architecture Special Issue on: "Embedded Artificial Intelligence and Smart Computing" (EAI-SC) CALL FOR PAPERS Journal of Systems Architecture Special Issue on: "Embedded Artificial Intelligence and Smart Computing" (EAI-SC) https://www.journals.elsevier.com/journal-of-systems-architecture/call-for-papers/special-issue-on-embedded-artificial-intelligence-and-smart Scope and Objective W...more Feb 21 2017 - 2:07pm 7 years 40 weeks ago
Calls for Papers SCOPES 2017 - Call For Papers - Extended Deadline March 3 CALL FOR PAPERS - Extended Deadline March 3 20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2017) June 12-14, 2017 | Schloss Rheinfels, St. Goar, Germany | http://www.scopesconf.org A next edition of the workshop on Software and Compilers for Embedded Systems (...more Jan 20 2017 - 1:03pm 7 years 40 weeks ago
Calls for Papers SAS 2017 - First Call for Papers CALL FOR PAPERS 24th Static Analysis Symposium (SAS 2017) New York City, NY | August 30th-September 1st, 2017 | http://staticanalysis.org/sas2017 OBJECTIVE Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program under...more Feb 21 2017 - 2:00pm 7 years 40 weeks ago
Calls for Papers CFP for a Special Session on Cooperative and Dependable Wireless CPS CALL FOR PAPERS Special Session on Cooperative and Dependable Wireless Cyber-Physical Systems May 31 - June 2, 2017 | Trondheim, Norway | http://www.wfcs2017.org/ We would like to invite you to consider submitting a paper for the Special Session on "Cooperative and Dependable Wireless Cyber-Physi...more Feb 21 2017 - 1:49pm 7 years 40 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress ICCPS 2017: Call for WiP/Demo/Poster Abstracts CALL FOR WiP ABSTRACTS, DEMOS and POSTERS 19th International Conference on Cyber-Physical Systems (ICCPS 2017) January 13-14, 2017 | Zurich, Switzerland | https://www.waset.org/conference/2017/01/zurich/ICCPS ICCPS 2017 seeks high-quality technical abstracts, demos, and posters describing work-in...more Feb 21 2017 - 1:41pm 7 years 40 weeks ago
Calls for Papers VSTTE 2017 - First Call for Papers CALL FOR PAPERS 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) July 22-23, 2017 | Heidelberg, Germany | https://vstte17.lri.fr Co-located with the 29th International Conference on Computer-Aided Verification, CAV 2017 Important Dates Abstract subm...more Feb 21 2017 - 12:59pm 7 years 40 weeks ago
Calls for Papers ESTIMedia 2017 - Call for Papers CALL FOR PAPERS 15th IEEE/ACM Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2017) October 19-20, 2017 | Seoul, South Korea | http://www.estimedia.org A next edition of the symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia) will be organized in 2017. The wor...more Feb 21 2017 - 12:46pm 7 years 40 weeks ago
Position Announcements Chairs in Data-oriented Software Engineering, Knowledge Discovery and Machine Learning To grow our capacity for interdisciplinary and applied research with strong foundations in the core of our discipline, we are advertising for two chairs, in - Data-oriented Software Engineering, and - Knowledge Discovery and Machine Learning They will be supported by several lectureships to be a...more Feb 20 2017 - 6:04pm 7 years 40 weeks ago
Calls for Papers CFP: 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 Feb 20 2017 - 5:57pm 7 years 40 weeks ago
Calls for Papers CFP: Special Issue on Automotive Reliability & Test Strategies CALL FOR CONTRIBUTIONS IEEE Design and Test Magazine: Special Issue on Automotive Reliability & Test Strategies IEEE Design and Test seeks original manuscripts for a special issue on "Automotive Reliability and Test Strategies". The special issue will focus on test and reliability demands of...more Feb 20 2017 - 5:44pm 7 years 40 weeks ago
Calls for Papers TIME 2017 First Call for Papers CALL FOR PAPERS 24th International Symposium on Temporal Representation and Reasoning (TIME 2017) Mons (Belgium) | 16-18 October 2017 | http://informatique.umons.ac.be/time2017/ Aims and scope TIME 2017 aims to bring together researchers interested in reasoning about temporal aspects of inform...more Feb 20 2017 - 5:39pm 7 years 40 weeks ago
Calls for Papers Call for Submissions to MT-CPS'17 - Abstract due today! CALL FOR SUBMISSIONS 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 DESCRIPTION Cyber-physical systems (CPS) are integrations of heter...more Feb 20 2017 - 5:24pm 7 years 40 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress 2017 F1/10 Autonomous Racing Competition 2017 F1/10 Autonomous Racing Competition Following the success of the inaugural event last year, F1/10 Autonomous Racing returns with an exciting new event designed to push autonomous cars towards the limits of their control. See highlights from the the 2016 F1/10 Autonomous Racing Competition....more Feb 20 2017 - 5:21pm 7 years 40 weeks ago
Calls for Papers Special issue on Quality-of-Service in Wireless Sensor/Actuator Networks and Systems - 2nd Call for Papers Special issue of the Journal of Sensor and Actuator Networks (JSAN) on "Quality-of-Service in Wireless Sensor/Actuator Networks and Systems" http://www.mdpi.com/journal/jsan/special_issues/QoS_netw_syst. This special issue targets RTD contributions on wireless sensor/actuator networks (WSANs) a...more Feb 20 2017 - 5:16pm 7 years 40 weeks ago
Calls for Papers CFP: The 17th IEEE International Conference on Computer and Information Technology (IEEE CIT 2017) IMPORTANT UPDATES! CALL FOR PAPERS The 17th IEEE International Conference on Computer and Information Technology (IEEE CIT 2017) August 21-23, 2017 | Helsinki, Finland | https://research.comnet.aalto.fi/CIT2017/ held jointly with NSS 2017 and ICA3PP 2017 IMPORTANT UPDATES! Keynote Speakers Prof. Francisco Herr...more Dec 15 2016 - 4:37pm 7 years 40 weeks ago
Calls for Papers 2nd CfP: Workshop SNR affiliated with ETAPS 2017 - Deadline Extension until February 17 CALL FOR PAPERS - Deadline Extension until February 17 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2017) April 22, 2017 | Uppsala, Sweden | http://snr2017.pages.ist.ac.at/ Affiliated with ETAPS 2017 Important Dates Abstract submission: January...more Dec 28 2016 - 4:38pm 7 years 40 weeks ago
Calls for Papers CODES+ISSS'17 CfP CALL FOR PAPERS International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) October 15-20, Lotte Hotel, Seoul, South Korea The International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) is the premier event in system-level design, mode...more Feb 20 2017 - 4:53pm 7 years 40 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress DATE2017: Workshop about New Platforms for Future Cars *** CALL FOR PARTICIPATION *** W07: "New Platforms for Future Cars: Safety and Security Challenges" https://www.date-conference.com/conference/workshop-w07 Description The automotive industry is rapidly moving towards the adoption of new hardware solutions, such as multi- and many-core processo...more Feb 20 2017 - 4:28pm 7 years 40 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress ISLPED 2017 Call for Design Contest CALL FOR DESIGN CONTEST 17th International Low Power Design Contest (ISLPED 2017) GIS NTU Convention Center | Taipei, Taiwan | July 24 - 26, 2017 | http://www.islped.org/2017/index.html Submission deadline: 11:59PM Pacific Standard Time, May 4th, 2017 The International Symposium on Low Power Ele...more Feb 20 2017 - 4:12pm 7 years 40 weeks ago
Calls for Papers CFP: SAMOS 2017 - International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation CALL FOR PAPERS International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XVII) Samos, Greece | July 17-20, 2017 | http://www.samos-conference.com PAPER SUBMISSION DEADLINE: MARCH 3, 2017 SAMOS is a unique conference. It deals with embedded syst...more Feb 20 2017 - 3:38pm 7 years 40 weeks ago
Position Announcements Post-doc in analysis and compilation of software models Postdoc in Analysis and Compilation of UML Ref. No.: 2017/0199 Form of employment: Temporary employment, 2 years Scope: 100 % Last date of application: 2017-05-01 Employment location: Vasteras Link: http://www.mdh.se/hogskolan/jobb/postdoc-in-analysis-and-compilation-of-uml-1.95820 MDH in Esk...more Feb 20 2017 - 3:24pm 7 years 40 weeks ago
Calls for Papers CFP: 15th International Workshop on Real-Time Networks (RTN 2017) CALL FOR PAPERS 15th International Workshop on Real-Time Networks (RTN 2017) 27th June, 2017 | Dubrovnik, Croatia | http://ecrts.eit.uni-kl.de/rtn2017 PRESENTATION The Real-Time Networks (RTN) is a satellite workshop of the 29th Euromicro Conference on Real-Time Systems (ECRTS 2017), the p...more Feb 20 2017 - 3:09pm 7 years 40 weeks ago
Calls for Papers DEADLINE EXTENSION - The Second International Workshop on the Internet of Agents (IoA) CALL FOR PAPERS The Second International Workshop on the Internet of Agents (IoA) In conjunction with AAMAS Conference 2017 Sao Paulo, Brazil | May 8, 2017 | http://ioa.alqithami.com/2017/ Internet of Things (IoT) has recently gained much attention due to the overwhelming advantages it brings...more Feb 9 2017 - 1:00am 7 years 40 weeks ago
Calls for Papers Deadline Today: The 2nd IEEE Conference on Fog and Mobile Edge Computing CALL FOR PAPERS The 2nd IEEE Conference on Fog and Mobile Edge Computing (FMEC 2017) Valencia, Spain | May 8-11, 2017 | http://emergingtechnet.org/FMEC2017/index.php Co-located with (SDS 2017): http://emergingtechnet.org/SDS2017/index.php Cloud computing provides large range of services and virt...more Feb 20 2017 - 2:33pm 7 years 40 weeks ago