CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Papers The Third International Conference on Digital Information Processing, Data Mining, and Wireless Communications The submission is open until June 6, 2016. Please consider submitting your papers to DIPDMWC2016. ****ALL registered papers will be submitted to IEEE for POTENTIAL inclusion to IEEE Xplore.**** ==================================================== =============================================...more Jan 23 2016 - 3:39am 8 years 44 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress ICCPS 2016: CALL FOR DEMOS, POSTERS, and WORK-IN-PROGRESS PAPERS CALL FOR DEMOS, POSTERS, and WORK-IN-PROGRESS PAPERS The 7th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2016) April 11-14, 2016 in Vienna, Austria as part of CPSWeek 2016 | http://iccps.acm.org/2016/wip/ Important Dates: Paper Submission Deadline: January 29, 2016 (exte...more Jan 22 2016 - 2:14pm 8 years 44 weeks ago
Calls for Papers 2nd CfP: 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (CPSWeek 2016) 2nd Call for Submissions 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems CPSWeek 2016 | Vienna, Austria | April 11, 2016 | http://cps-vo.org/group/ARCH The workshop on applied verification for continuous and hybrid systems (ARCH) brings together researchers an...more Jan 22 2016 - 1:52pm 8 years 44 weeks ago
Calls for Papers CfP: 1st International Workshop on Verification and Validation of Cyber-Physical Systems CALL FOR SUBMISSIONS 1st International Workshop on Verification and Validation of Cyber-Physical Systems co-located with iFM 2016 1-4 June 2016 | Reykjavik, Iceland | http://www.cs.ox.ac.uk/conferences/VVCPS16/ Workshop on Verification and Validation of Cyber-Physical Systems is targeted at meth...more Jan 22 2016 - 1:23pm 8 years 44 weeks ago
Position Announcements Student Travel Support for CPSWeek 2016 The CPSWeek 2016 conference organizers anticipate the availability of Student Travel Support funds to encourage the participation of students in CPSWeek 2016 that would otherwise not be able attend. Each grant will contribute towards partial reimbursement of registration and travel costs. Support c...more Jan 22 2016 - 1:16pm 8 years 44 weeks ago
Position Announcements Post-doctoral Research Position in Security of Cyber-Physical Systems Senior Research Associate: Dynamic Policies for Cyber-Physical Infrastructures under Attack Security Lancaster Research Centre/School of Computing and Communications Salary: PS32,600 to PS37,768 Closing Date: Sunday 31 January 2016 Details and application link: https://hr-jobs.lancs.ac.uk/Va...more Jan 22 2016 - 1:13pm 8 years 44 weeks ago
Position Announcements Summer Intern Positions at Toyota Toyota has several summer intern positions. http://www.us.toyota-itc.com/jobs/ SYSTEMS & SOFTWARE DIVISION Summer Intern, Autonomous Vehicle Prototyping with OS Hypervisor Mountain View, CA Summer Intern, Formal Verification of Automotive Software Mountain View, CA Summer Intern, Remot...more Jan 22 2016 - 12:59pm 8 years 44 weeks ago
Calls for Papers CfP: Symposium and Bootcamp on the Science of Security (HotSoS) 2016 OVERVIEW Science of Security (SoS) emphasizes the advancement of research methods as well as the development of new research results. This dual focus is intended to improve both the confidence we gain from scientific results and also the capacity and efficiency through which we address increasingly...more Dec 31 2015 - 1:16pm 8 years 44 weeks ago
Calls for Papers CFP: The Third International Conference on Education Technologies and Computers (ICETC2016) The Third International Conference on Education Technologies and Computers (ICETC2016) at Faculty of Engineering - Lebanese University, Campus of Hadath, Beirut, Lebanon on April 21-23, 2016 | http://sdiwc.net/conferences/icetc2016/ IMPORTANT DATES Submission Deadline: Open from now until Marc...more Jan 19 2016 - 10:06pm 8 years 44 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress CALL FOR WiP PAPERS AND DEMOS: RTAS 2016 - Impending Deadline CALL FOR WiP PAPERS AND DEMOS 22nd IEEE Rea l-Time and Embedded Technology and Applications Symposium (RTAS 2016) 22nd IEEE Rea l-Time and Embedded Technology and Applications Symposium (RTAS 2016) will be held in Vienna, Austria, as part of the Cyber-Physical Systems Week (CPSWeek) in April 2016....more Dec 8 2015 - 2:48pm 8 years 45 weeks ago
General Announcements NHTSA Cybersecurity Rountable On Tuesday, January 19, the National Highway Safety Transportation Administration is hosting a Cybersecurity Rountable at the Walter E. Washington Convention Center in Washington, D.C. As part of the push to nurture proactive safety cultures, NHTSA is hosting a roundtable discussion with industry a...more Jan 12 2016 - 2:46pm 8 years 46 weeks ago
Calls for Papers CfP: Third Workshop on Architecture Centric Virtual Integration at WICSA and CompArch 2016 CALL FOR PAPERS Workshop on Architecture Centric Virtual Integration at WICSA and CompArch 2016 | http://www.aadl.info/aadl/acvi/acvi2016/ Important dates Paper Submission Deadline: February 18, 2016 Paper Notification to Authors: March, 4 2016 Camera-ready due: March, 11 2016 Workshop Date...more Jan 11 2016 - 11:05am 8 years 46 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress ICCPS 2016: CALL FOR DEMOS, POSTERS, and WORK-IN-PROGRESS PAPERS CALL FOR DEMOS, POSTERS, and WORK-IN-PROGRESS PAPERS The 7th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2016) as part of CPSWeek 2016 April 11-14, 2016 in Vienna, Austria | http://iccps.acm.org/2016/wip/ KEY DATES: Paper Submission Deadline: January 15, 2016 Acceptan...more Dec 23 2015 - 2:48pm 8 years 48 weeks ago
Calls for Workshops & Tutorials Call for tutorial proposals: FM 2016 CALL FOR TUTORIALS FM 2016: 21st International Symposium on Formal Methods Limassol, Cyprus | 7-11 November 2016 | fm2016.cs.ucy.ac.cy Deadline for tutorial proposals: 6 May 2016 Notification of decision on tutorials: 6 June 2016 FM 2016 - the 21st International Symposium on Formal Methods...more Dec 23 2015 - 2:33pm 8 years 48 weeks ago
Calls for Papers Preliminary CFP FMICS-AVoCS 2016 PRELIMINARY CALL FOR PAPERS International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016) Pisa, Italy | 26-29 September 2016 | http://fmics-avocs.isti.cnr.it/ The aim of the FMICS workshop series is to provide a forum fo...more Dec 23 2015 - 2:22pm 8 years 48 weeks ago
Calls for Workshops & Tutorials Call for Workshop Proposals at FM2016 (21st Intl. Symposium on FormalMethods); 07.-11. Nov. 2016, Limassol, Cyprus CALL FOR WORKSHOP PROPOSALS FM 2016: 21st International Symposium on Formal Methods Limassol, Cyprus | 7-11 November 2016 | fm2016.cs.ucy.ac.cy DATES: Deadline for workshop proposals: 18 March 2016 Notification of decision on workshops: 4 April 2016 ABOUT FM 2016 The 21st International S...more Dec 23 2015 - 2:08pm 8 years 48 weeks ago
Calls for Papers JOINT CfP: 12th IEEE World Conf. on Factory Commun. Systems & SS on Commun. in Automation IEEE Transactions on Industrial Inform JOINT CALL FOR PAPERS 12th IEEE World conference on Factory Communication Systems (WFCS 2016) and SS on Communication in Automation IEEE Transactions on Industrial Informatics May 3-6, 2016 | Aveiro, Portugal Sponsored by: University of Aveiro, Portugal Telecommunications Institute, Portugal I...more Dec 23 2015 - 1:36pm 8 years 48 weeks ago
Calls for Papers Final Call for Papers Resource Aware Computing 2016 (RAC2016) @ ETAPS Eindhoven, April 2, 2016 FINAL CALL FOR PAPERS First International workshop on Resource Aware Computing (RAC2016) An ETAPS Event. Eindhoven, NL, April 2. ENTCS publication. DEADLINE EASYCHAIR January 11, 2016. http://resourceanalysis.cs.ru.nl/rac2016/ RAC2016 is supported by ICT COST Action IC1202 Timing Analysis on Co...more Dec 23 2015 - 12:58pm 8 years 48 weeks ago
Position Announcements Research Engineer positions: Real-Time & Embedded Systems Research Engineer positions: Real-Time & Embedded Systems Application Deadline: 31-Dez-2015 Send to: jobs@cister-isep.info Reference: CISTER-RE2015-02 The CISTER Research Center, located in Porto, Portugal, an international reference in the area of real-time and embedded computer systems,...more Dec 17 2015 - 4:34pm 8 years 49 weeks ago
Position Announcements POSTDOC Position: Real-Time & Embedded Systems POSTDOC Position: Real-Time & Embedded Systems Application Deadline: 31-Dez-2015 Send to: jobs@cister-isep.info Reference: CISTER-PD2015-02 The CISTER Research Center, located in Porto, Portugal, an international reference in the area of real-time and embedded computer systems, is opening...more Dec 17 2015 - 4:30pm 8 years 49 weeks ago
Calls for Papers CfP - Special Issue on Journal of Systems Architecture CALL FOR PAPERS Special Issue on "Reliable Software Technologies for Dependable Distributed Systems" JOURNAL OF SYSTEMS ARCHITECTURE (JSA), Elsevier. (Indexed by JCR) Submission deadline: April 20th, 2016 SCOPE AND TOPICS: The number of distributed applications as well as th...more Dec 17 2015 - 4:26pm 8 years 49 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for participation: ERTS 2016 ERTS 2016 - EMBEDDED REAL TIME SOFTWARE AND SYSTEMS January 27th - 29th 2016 | Toulouse - France | http://www.erts2016.org The Organizing Committee along with the Technical Committee are pleased to announce that ERTS 2016 programme is now available on the conference website www.erts2016.org 6 m...more Dec 17 2015 - 4:20pm 8 years 49 weeks ago
Position Announcements Research Scientist Position Research Scientist Position Wireless Sensor Networks & Internet of Things http://www.cister.isep.ipp.pt/ Application Deadline: 31-Dez-2015 Send to: jobs@cister-isep.info Reference: CISTER-RS2015-02 The CISTER Research Center, located in Porto, Portugal, an international reference in t...more Dec 17 2015 - 4:00pm 8 years 49 weeks ago
Calls for Papers CFP-The International Conference on Computing Technology, Information Security and Risk Management (CTISRM2016) The International Conference on Computing Technology, Information Security and Risk Management (CTISRM2016) Islamic Azad University, Academic City, Dubai, UAE March 3-5, 2016 http://sdiwc.net/conferences/ctisrm2016/...more Dec 17 2015 - 3:48pm 8 years 49 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Posters: ReS4AnT'16 (co-located with DATE'16) CALL FOR POSTERS First Workshop on Resource Awareness and Application Autotuning in Adaptive and Heterogeneous Computing (ReS4AnT) http://www.date-conference.com/conference/workshop-w08 | http://res4ant.deib.polimi.it Co-located with the Design, Automation & Test in Europe Conference &...more Dec 17 2015 - 2:28pm 8 years 49 weeks ago
Calls for Workshops & Tutorials Call for Workshop Proposals – DisCoTec 2016 - Updated submission and notification deadlines! Call for Workshops The 11th International Federated Conference on Distributed Computing Techniques (DisCoTec 2016) 6-9 June 2016 | Heraklion, Crete | http://2016.discotec.org/ The 11th International Federated Conference on Distributed Computing Techniques (DisCoTec 2016) invites proposals for one...more Dec 8 2015 - 2:38pm 8 years 51 weeks ago
Calls for Papers CfP: ECYPS'2016 - the 4th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems CALL FOR PAPERS 4th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS'2016) Bar, Montenegro | June 12-16, 2016 | http://embeddedcomputing.me ECYPS'2016 - the 4th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems will be held in the scope of MECO'2016 - the 5th Med...more Dec 8 2015 - 2:18pm 8 years 51 weeks ago
Calls for Papers FormaliSE 2016: Call for Papers CALL FOR PAPERS 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2016) to be held on 15 May 2016 in conjunction with ICSE 2016 May 14th-May 22th | Austin, Texas, USA | http://www.formalise.org/ The software industry has a long-standing and well-earned reputation for failing...more Dec 8 2015 - 2:02pm 8 years 51 weeks ago
Calls for Papers First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems FIRST CALL FOR PAPERS Special Issue of the SCP on Automated Verification of Critical Systems Science of Computer Programming | Special Issue on Automated Verification of Critical Systems Guest editors: Gudmund Grov & Andrew Ireland Submission deadline: 20 May 2016 Notification: 31 Augus...more Dec 8 2015 - 1:52pm 8 years 51 weeks ago
Calls for Papers CFP: 13th IEEE International Conference on Ubiquitous Intelligence and Computing July 18-21, 2016 Toulouse France CALL FOR PAPERS 13th IEEE International Conference on Ubiquitous Intelligence and Computing (IEEE UIC 2016) July 18-21, 2016 | Toulouse, France Ubiquitous sensors, devices, networks and information are paving the way towards a smart world in which computational intelligence is distributed throug...more Dec 8 2015 - 1:21pm 8 years 51 weeks ago
Calls for Papers CfP: 2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (CPSWeek 2016) CALL FOR PAPERS 2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2016) Affiliated with CPSWeek 2016 April 11th, 2016, Vienna, Austria | https://snr2016.pages.ist.ac.at/ Important Dates Submissions deadline: January 20, 2016 Notification: March 09,...more Dec 8 2015 - 1:07pm 8 years 51 weeks ago
Position Announcements Faculty position in mobile/wearable health sensing at UMass Amherst FACULTY POSITION IN MOBILE/WEARABLE HEALTH SENSING AT UMASS AMHERST The College of Information and Computer Sciences (CICS) together with the Institute for Applied Life Sciences (IALS) at the University of Massachusetts Amherst (UMass Amherst) invite applications for a tenure-track faculty position...more Dec 6 2015 - 12:23pm 8 years 51 weeks ago
Calls for Papers ACM ToDAES special section – Call for Papers - IDEA: Integrating Dataflow, Embedded computing, and Architecture CALL FOR PAPERS ACM ToDAES special section IDEA: Integrating Dataflow, Embedded computing, and Architecture Special Section Guest Editors: Twan Basten (Eindhoven University of Technology), Orlando Moreira (Intel), Robert de Groote (Twente University) contact: acm.todaes.idea@gmail.com Importan...more Dec 4 2015 - 4:51pm 8 years 51 weeks ago
Calls for Papers CFP 1st Int. Workshop on Agent Based Modelling of UrbanSystems Call for Papers The 1st Workshop on Agent Based Modelling of Urban Systems (ABMUS 2016) in conjunction with the AAMAS2016 Singapore on the 9th or 10th May 2016 | http://www.modelling-urban-systems.com/ Modern cities have become complex self-organising socio-technical systems. As such, their futu...more Dec 4 2015 - 4:43pm 8 years 51 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Rodin Workshop 2016 - Call for Contributions Call for Contributions The 6th Rodin User and Developer Workshop 23-24 May, 2016 | Linz, Austria | http://wiki.event-b.org/index.php/Rodin_Workshop_2016 Event-B is a formal method for system-level modelling and analysis. The Rodin Platform is an Eclipse-based toolset for Event-B that provides e...more Dec 4 2015 - 4:39pm 8 years 51 weeks ago
Calls for Workshops & Tutorials Call for Workshops Proposals: FNC-2016 Call for Workshops Proposals The 11th International Conference on Future Networks and Communications (FNC-2016) August 15-18, 2016 | Montreal, Canada | http://cs-conferences.acadiau.ca/fnc-16/#workshop_call Important Dates Workshop Proposal Due: January 13, 2016 Acceptance Notification: January...more Dec 4 2015 - 4:33pm 8 years 51 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress MODEL CHECKING CONTEST 2016 - (2/2) - CALL FOR TOOLS MODEL CHECKING CONTEST 2016 - (2/2) - CALL FOR TOOLS GOALS The Model Checking Contest (MCC) is a yearly event that assesses existing verification tools for concurrent systems on a set of models (i.e., benchmarks) proposed by the scientific community. All tools are compared on the same benchmark...more Dec 4 2015 - 4:01pm 8 years 51 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress VerifyThis Verification Competition 2016: Call for Challenges VerifyThis Verification Competition 2016 FIRST ANNOUNCEMENT AND CALL FOR PROBLEMS Competition to be held at ETAPS 2016 http://etaps2016.verifythis.org/ Get involved, even if you cannot participate in the competition: provide a challenge. IMPORTANT DATES Submission deadline: December 4th, 2...more Dec 4 2015 - 3:54pm 8 years 51 weeks ago
Calls for Papers CFP ICINCO 2016 - Int'l Conf. on Informatics in Control, Automation and Robotics (Lisbon/Portugal) CALL FOR PAPERS 13th International Conference on Informatics in Control, Automation and Robotics (ICINCO) website: http://www.icinco.org | July 29 - 31, 2016 | Lisbon, Portugal In Cooperation with: AAAI, EUROMICRO, INNS, euRobotics AISBL, APCA and APNNA Co-Sponsored by: IFAC Sponsored by: IN...more Dec 4 2015 - 3:45pm 8 years 51 weeks ago
Calls for Papers CFP PECCS 2016 - 6th International Joint Conference on Pervasive and Embedded Computing and Communication Systems CALL FOR PAPERS 6th International Joint Conference on Pervasive and Embedded Computing and Communication Systems PECCS website: http://www.peccs.org/ | July 25 - 27, 2016 | Lisbon, Portugal In Cooperation with: EUROMICRO, IET, EURASIP, ACM SIGAPP Sponsored by: INSTICC INSTICC is Member of: Wf...more Dec 4 2015 - 3:18pm 8 years 51 weeks ago
Calls for Papers Joint CfP: WFCS 2016 and IEEE TII SS on Communication in Automation JOINT CALL FOR PAPERS | Updated submission dates 12th IEEE World conference on Factory Communication Systems (WFCS 2016) and SS on Communication in Automation IEEE Transactions on Industrial Informatics May 3-6, 2016, Aveiro, Portugal Sponsored by: University of Aveiro, Portugal Telecommuni...more Dec 4 2015 - 3:12pm 8 years 51 weeks ago
Calls for Papers Call for Papers for the 2nd International Workshop GRAPHS AS MODELS (GaM 2016) CALL FOR PAPERS The 2nd International Workshop GRAPHS AS MODELS (GaM 2016) a Satellite Event of ETAPS 2016, Eindhoven | 02-03 April 2016 | http://gam2016.swt-bamberg.de Important Dates Deadline for submission: 15th January 2016 Notification: 26th February 2016 Final manuscript: mid/end M...more Dec 4 2015 - 2:51pm 8 years 51 weeks ago
Calls for Papers CfP - IEEE ISORC 2016 CALL FOR PAPERS IEEE ISORC 2016 YORK, UNITED KINGDOM | MAY 17 - 20, 2016 | http://www.isorc2016.org Important Dates Submission deadline January 12, 2016 Acceptance notification February 20, 2016 Camera-ready papers March 20, 2016 The best papers from ISORC 2016 will be invited for submis...more Dec 4 2015 - 2:34pm 8 years 51 weeks ago
Calls for Papers SPIN 2016 - First Call for Papers First Call for Papers 23rd International SPIN Symposium on Model Checking of Software (SPIN 2016) (colocated with ETAPS 2016) 7--8 April 2016 | Eindhoven, The Netherlands | http://www.spin2016.info Important Dates Submission of papers: 8 January 2016 (Anywhere on Earth)...more Dec 4 2015 - 2:27pm 8 years 51 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for participation: Virtual Platforms in the Internet-of-Things Era - State of the art and new perspectives, DATE'16 tutor Call for participation - DATE'16 tutorial: M08 Internet-of-Things: Virtual Platforms in the Internet-of-Things Era - State of the art and new perspectives Date: 2016-03-14 Time: 14:30-18:00 Location / Room: Konferenz 3 http://www.date-conference.com/conference/tutorial-m08 Organisers Kim...more Dec 4 2015 - 2:19pm 8 years 51 weeks ago
Calls for Papers CFP Resource Aware Computing 2016, an ETAPS Event SECOND CALL FOR PAPERS First International workshop on Resource Aware Computing (RAC2016) An ETAPS2016 Event. | Eindhoven, NL, April 2. ENTCS publication. DEADLINE EASYCHAIR January 11, 2016. IMPORTANT DATES Paper submission (https://easychair.org/conferences/?conf=rac2015): January 11, 2016...more Dec 4 2015 - 1:48pm 8 years 51 weeks ago
Calls for Papers NFM 2016 - first call for papers CALL FOR PAPERS The 8th NASA Formal Methods Symposium (NFM 2016) http://crisys.cs.umn.edu/nfm2016 | June 07 - June 09 2016 McNamara Alumni Center | University of Minnesota | 200 Oak Street S.E., Minneapolis, MN 55455 Theme of the Symposium The widespread use and increasing complexity of miss...more Dec 4 2015 - 1:33pm 8 years 51 weeks ago
Calls for Papers CfP: CREST: 1st Workshop on Causal-based Reasoning for Embedded and safety-critical Systems Technologies CREST: 1st Workshop on Causal-based Reasoning for Embedded and safety-critical Systems Technologies April 8, 2016 | Satellite event of ETAPS 2016, Eindhoven, The Netherlands | http://crest2016.inria.fr/ Topic Today's IT systems, and the interactions among them, become more and more complex. P...more Dec 4 2015 - 1:23pm 8 years 51 weeks ago
Position Announcements Post Doctoral Researcher in Resilient and Secure Cyber-Physical Systems The Institute for Software Integrated Systems (ISIS) in the School of Engineering at Vanderbilt University invites applications for Post Doctoral Researcher positions in the area of Cyber Physical Systems (CPS) with emphasis on security and resilience. CPS is one of the strategic research areas at I...more Sep 30 2015 - 12:22pm 8 years 51 weeks ago
Calls for Papers Special Issue - Second Deadline Extension] Real-Time Energy-Aware Circuits and Systems for HEVC and for its 3D and SVC Extension 2ND CALL FOR PAPERS SPECIAL ISSUE: "Real-Time Energy-Aware Circuits and Systems for HEVC and for its 3D and SVC Extensions" JOURNAL: Journal of Real-Time Image Processing (Springer) IMPACT FACTOR (2014): 2.020 MANUSCRIPT DUE: December 15, 2015 - Hard Deadline (already extended) http://www.sp...more Nov 18 2015 - 5:20pm 9 years 1 week ago