CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Call for Student Consortium (and Travel Award) Call for Student Consortium (and Travel Award) 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017) St. Raphael Resort, Limassol, Cyprus | March 13-16, 2017 | http://iui.acm.org/2017/studcons.html Are you a Master's or Doctoral student? Want feedback about and mentorship fo...more Dec 5 2016 - 11:40am 15 hours 27 min ago
Calls for Papers CfP: Special Issue "Emerging Network-on-Chip Architectures for Low Power Embedded Systems" Dear Colleagues, Network-on-Chip emerged in recent years as a viable solution for the design of manycore embedded systems of the next generation. However, communication infrastructure scalability, memory bottleneck and parallelization of tasks, just to cite few examples, are becoming the limiting f...more Dec 5 2016 - 11:24am 15 hours 42 min ago
Calls for Papers CfP: IEEE ICIT 2017 (Deadline Extention) CALL FOR PAPERS - Deadline Extended to December 15, 2016 IEEE International Conference on Industrial Technology (ICIT 2017) IEEE ICIT is one of the flagship yearly conferences of the IEEE Industrial Electronics Society, devoted to the dissemination of new ideas, research and works in progress...more Dec 5 2016 - 11:22am 15 hours 44 min ago
Position Announcements 15 Research Positions for PhD Candidates (f / m) System Correctness under Adverse Conditions (SCARE) On 11 November 2016, the DFG extended SCARE for a second phase of 4,5 years duration starting from 1 April 2017. This comprises 15 new doctoral positions of three years each. The Carl von Ossietzky University of Oldenburg, Germany, offers 15 Research Positions for PhD Candidates in the Computer S...more Dec 5 2016 - 11:07am 15 hours 59 min ago
Calls for Papers CFP: ICINCO 2017 - Int'l Conf. on Informatics in Control, Automation and Robotics CALL FOR PAPERS 14th International Conference on Informatics in Control, Automation and Robotics (ICINCO) July 29 - 31, 2017 | Madrid, Spain | http://www.icinco.orgIn Cooperation with: AAAI, INNS, EUROMICRO, euRobotics AISBL, RSJ, SBA, SPR and EurAI Technically Co-sponsored by: IEEE and IEEE-RAS...more Dec 1 2016 - 4:04pm 4 days 11 hours ago
Position Announcements Faculty Search - Aerospace Engineering,University of Michigan The Department of Aerospace Engineering at The University of Michigan invites applications for multiple tenure-track/tenured faculty positions in all areas of Aerospace Engineering. We are seeking exceptional candidates who will develop a world-class research program and innovative educational exper...more Dec 1 2016 - 3:56pm 4 days 11 hours ago
Calls for Papers CFP: Special Issue on Safety-Critical Cyber Physical Systems in IET Cyber-Physical Systems: Theory & Applications Call for Papers IET Cyber-Physical Systems: Theory & Applications Special Issue on Safety-Critical Cyber Physical Systems Cyber-Physical Systems (CPS) deal with the cyber control and physical processes as well as the interactions between them. In the domains of automobile and aerospace (A/A),...more Dec 1 2016 - 3:44pm 4 days 11 hours ago
Calls for Papers FroCoS 2017 - First Call for Papers FIRST CALL FOR PAPERS 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) Brasilia, Brazil | September 25-29th, 2017 | http://frocos2017.cic.unb.br Submission Deadlines: 24th April 2017 (abstracts) 28th April 2017 (full papers) GENERAL INFORMATION The 11th Internat...more Dec 1 2016 - 3:40pm 4 days 11 hours ago
Calls for Papers WAT 2017: Call for papers - PENDING DEADLINE CALL FOR PAPERS Track: Workshop on Adaptive Technology (WAT 2017) May 16-19, 2017 | Madeira, Portugal |http://usp.us2.list-manage.com/track/click?u=e2bd2dfe2bca5a783c68a77df&id=3bfbf723f7&e=7a0e921367 The 8th International Conference on Ambient Systems, Networks and Technologies http://u...more Dec 1 2016 - 3:25pm 4 days 11 hours ago
Calls for Papers CfP: 2nd International Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies (CREST 2017) CALL FOR PAPERS 2nd International Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies (CREST 2017) April 29, 2017 | Uppsala, Sweden | http://se.uni-konstanz.de/crest2017A satellite event of ETAPS 2017 Topic Today's IT systems, and the interactions between them, bec...more Dec 1 2016 - 3:15pm 4 days 11 hours ago
Calls for Workshops & Tutorials [STAF'17] Second Call for Workshops - Deadline Approaching CALL FOR WORKSHOPS STAF 2017: Software Technologies: Applications and Foundations July 17-21, 2017 | Marburg, Germany | http://www.informatik.uni-marburg.de/staf2017/ Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was...more Dec 1 2016 - 3:02pm 4 days 12 hours ago
Calls for Papers CfP Pending Deadline: 8th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS 2017) CALL FOR PAPERS - DEADLINE December 8, 2016 8th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS 2017) May 03-05, 2017 | Caparica, Lisbon, Portugal | http://sites.uninova.pt/doceis Technological Innovation for Smart SystemsSponsored by: SOCOLNET - Society of C...more Dec 1 2016 - 2:14pm 4 days 12 hours ago
Calls for Papers CFPs: The 12th International Conference on Future Networks and Communications (FNC 2017) CALL FOR PAPERS The 12th International Conference on Future Networks and Communications (FNC 2017) July 24-26, 2017 | Leuven, Belgium | http://cs-conferences.acadiau.ca/fnc-17/ Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technologie...more Dec 1 2016 - 1:58pm 4 days 13 hours ago
Calls for Papers CFP: The Fourth International Conference on Software Defined Systems (SDS-2017) CALL FOR PAPERS 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 constructed and managed. Conventional control and...more Dec 1 2016 - 1:50pm 4 days 13 hours ago
Calls for Papers CfP: International Conference on Quantitative Evaluation of SysTems (QEST 2017) CALL FOR PAPERS International Conference on Quantitative Evaluation of SysTems (QEST 2017) Berlin, September 5-7 2017 | www.qest.org/qest2017 Co-located with CONCUR Scope and Topics The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on quantitative e...more Dec 1 2016 - 1:11pm 4 days 13 hours ago
Calls for Papers CfP: FS-MCPS (2nd Workshop on Fail Safety in MCPS) Call for Contributions: 3rd Workshop on Fail Safety in Medical Cyber-Physical Systems (FS-MCPS) Hannover, Germany, February 21, 2017 | http://www.sts.tuhh.de/aa4r/fs-mcps2017.htmlWorkshop at "Software Engineering 2017Goals Medical cyber-physical systems (MCPSs) extend the notion of conventional m...more Dec 1 2016 - 12:54pm 4 days 14 hours ago
Calls for Papers CFPs: 13th IEEE Inter. Workshop on Factory Communication Systems CALL FOR REGULAR, SPECIAL SESSIONS, & WORK-IN-PROGRESS PAPERS 13th IEEE International Workshop - Factory Communication Systems Sponsors: IEEE Industrial Electronics Society (requested), Norwegian University of Science and Technology, Norway, and SINTEF, Norway May 31 - June 2, 2017 | Trondhe...more Dec 1 2016 - 12:39pm 4 days 14 hours ago
Calls for Papers HotSoS 2017 - Impending deadline! Dear HotSoS Community, The Wednesday, December 14 deadline for submitting papers is rapidly approaching. Please see the Call for Papers below for details about conference topics and submission instructions. More information can be found on the conference website at http://cps-vo.org/group/hotsos S...more Dec 1 2016 - 12:19pm 4 days 14 hours ago
Calls for Papers Call for Papers - The 16th International Workshop on Assurance in Distributed Systems and Networks The Sixteenth International Workshop on Assurance in Distributed Systems and Networks (ADSN2017) Atlanta, Georgia, USA | June 5 - 8, 2017 | https://icdcs2017.gatech.edu/ held in conjunction with the 37th International Conference on Distributed Computing Systems (ICDCS 2017) Sponsored by the IEEE C...more Dec 1 2016 - 12:06pm 4 days 15 hours ago
Calls for Papers CFP - CF'17 - ACM International Conference on Computing Frontiers 2017 CALL FOR PAPERS 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 in the broad field of computing: our comm...more Oct 12 2016 - 2:57pm 4 days 15 hours ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Early registration for the 2017 EECI International Graduate School on Control FOR ALL PHD STUDENTS in Control: 2017 EECI International Graduate School on Control (EECI-IGSC-2017) http://www.eeci-igsc.eu Leaflet and summaries of the courses:http://www.eeci-igsc.eu/igsc-program/The deadline for early registration (20EU or Order form) is 28/12/2016.http://www.ifac-control.org...more Dec 1 2016 - 11:48am 4 days 15 hours ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Early registration for the 2017 EECI International Graduate School on Control FOR ALL PHD STUDENTS in Control: 2017 EECI International Graduate School on Control (EECI-IGSC-2017) http://www.eeci-igsc.eu Leaflet and summaries of the courses:http://www.eeci-igsc.eu/igsc-program/The deadline for early registration (20EU or Order form) is 28/12/2016.http://www.ifac-control.org...more Dec 1 2016 - 11:48am 4 days 15 hours ago
Calls for Papers CfP: Second Workshop on Live Adaptation of Software SYstems (LASSY) CALL FOR PAPERS Second Workshop on Live Adaptation of Software SYstems (LASSY-2017) 3rd of April, 2017 | Brussels, Belgium | http://conf.researchr.org/track/LASSY-2017/LASSY-2017-papersco-located with <Programming> 2017 http://2017.programmingconference.orgSubmission deadline: Jan 13, 2017:...more Dec 1 2016 - 11:31am 4 days 15 hours ago
Calls for Papers CfP: International Journal of Mathematics and Statistics Invention (December 2016 Issue) International Journal of Mathematics and Statistics Invention IJMSI is peer reviewed International Journal which publishes paper online as well as print version. Ijmsi is indexed in major indexing like EBSCO HOST, CABELL's library, ULRICH web, Jour Info etc. ISSN (Online version): 2321 - 4767 ISS...more Dec 1 2016 - 11:03am 4 days 16 hours ago
Position Announcements Faculty opening in Embedded Systems, Robotics and Automation at the University of Minnesota The Electrical and Computer Engineering Department at the University of Minnesota is conducting a faculty search (at all ranks) for a position in the area of embedded systems, robotics and automation, as part of the MnDRIVE Initiative (https://mndrive.umn.edu/robotics). Successful candidates will h...more Nov 30 2016 - 11:41am 5 days 15 hours ago
Calls for Papers 3rd International Special Session on Smart Medical Devices, eHealth Systems, and Machine Learning on Medical Data (SmartMedDev) We are pleased to announce the 3rd International Special Session on Smart Medical Devices, eHealth Systems, and Machine Learning on Medical Data (SmartMedDev), to be held on February 21 - 23, 2017 in Porto (Portugal) as part of 10th International Conference on Health Informatics (HEALTHINF). htt...more Nov 29 2016 - 9:17am 6 days 17 hours ago
Calls for Papers IJHSSI Journals: Call For Paper Call for Papers (November 2016 Issue) International Journal of Humanities and Social Science Invention IJHSSI is peer reviewed International Journal which publishes paper online as well as print version. IJHSSI is indexed in major indexing like EBSCO HOST, CABELL's library, ULRICH web, Jour Info e...more Nov 28 2016 - 9:43am 1 week 17 hours ago
Calls for Papers IJESI Journals: Call For Paper Call for Papers (November 2016 Issue) International Journal of Engineering and Science Invention IJESI is peer reviewed International Journal which publishes paper online as well as print version. IJESI is indexed in major indexing like EBSCO HOST, CABELL's library, ULRICH web, Jour Info etc. ISS...more Nov 28 2016 - 9:41am 1 week 17 hours ago
Calls for Papers CfP: The Cyber-Physical Systems journal invites you to submit your research Dear readers, Please find below a general call for papers to the Cyber Physical Systems journal. I'd be delighted to answer any questions or queries that you may have and look forward reading your research. With best wishes, Mr Richard Goodman Cyber Physical Systems Print ISSN: 2333-5777 Onli...more Nov 25 2016 - 8:33am 1 week 3 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017) International Conference on Verification, Model Checking, and Abstract Interpretation VMCAI 2017 Paris, January 15-17, 2017 CALL FOR PARTICIPATIONhttp://conf.researchr.org/home/VMCAI-2017 VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract In...more Nov 25 2016 - 5:01am 1 week 3 days ago
Calls for Papers CfP: 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) CALL FOR PAPERS 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) April 18-21, 2017 | Pittsburgh, PA, USA | http://2017.rtas.org/ About RTAS'17, the 23rd in a series of annual conferences sponsored by the IEEE, will be held in Pittsburgh, PA, USA, as part of the Cyber...more Nov 17 2016 - 11:41am 2 weeks 4 days ago
Calls for Papers CfP: The 8th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) CALL FOR PAPERS The 8th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) ICCPS 2017 seeks high-quality technical papers describing original research on cyber-physical systems (CPS), including new results in theory, platform design and implementation, verification and validation,...more Nov 17 2016 - 11:33am 2 weeks 4 days ago
Calls for Papers 2017 Hybrid Systems: Computation and Control (HSCC) -- First Call for Papers CALL FOR PAPERS 20th International Conference on Hybrid Systems: Computation and Control (HSCC) April 18-21, 2017 | Pittsburgh, Pennsylvania, USA | http://hscc2017.ece.illinois.edu/ Important dates Paper Submission deadline: October 13, 2016 (firm, 11:59 pm UTC-12) Rebuttal phase: TBA Notific...more Jul 19 2016 - 8:58pm 2 weeks 4 days ago
Calls for Papers CFPs: The 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2017) CALL FOR PAPERS The 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) July 24-26, 2017 | Leuven, Belgium | http://cs-conferences.acadiau.ca/mobispc-17/ Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. Th...more Nov 17 2016 - 10:34am 2 weeks 4 days ago
Calls for Papers CfP: 10th International Conference on Graph Transformation ICGT 2017 First Call for Papers 10th International Conference on Graph Transformation (ICGT 2017) Marburg (Germany) | 17-18 July 2017 | https://sites.google.com/site/gratra2017/Part of STAF 2017Aims and Scope Dynamic structures are a major cause for complexity when it comes to model and reason about system...more Nov 17 2016 - 10:19am 2 weeks 4 days ago
Calls for Papers CfP: International Conference on Cyber Situational Awareness, Data Analytics and Assessment (CyberSA 2017) Call for Paper International Conference on Cyber Situational Awareness, Data Analytics and Assessment (CyberSA 2017) June 19-20, 2017, London, UK IEEE is the Technical Co-Sponsor (TCS) of the International Conference on Cyber Situational Awareness, Data Analytics and Assessment (CyberSA 2017), an...more Nov 17 2016 - 9:57am 2 weeks 4 days ago
Position Announcements Open position: 1 Post-doc at Mälardalen University (MDH) The ECSEL research project AMASS is recruiting 1 Post doc. AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) is expected to build on top of results achieved in the context of OPENCOSS and n/p SafeCer projects. AMASS targets increased ef...more Nov 16 2016 - 7:38am 2 weeks 5 days ago
Calls for Papers Call For Papers: The Fourth International Conference on Digital Information Processing, E-Business and Cloud Computing (DIPECC20 The Fourth International Conference on Digital Information Processing, E-Business and Cloud Computing (DIPECC2016) Asia Pacific University of Technology and Innovation (APU), Kuala Lumpur, Malaysia | http://sdiwc.net/conferences/dipecc2016/ IMPORTANT DATES Submission Dates : Open from now until A...more Jan 19 2016 - 8:42pm 2 weeks 6 days ago
Position Announcements PostDoc position: Application Specific Computing Systems and Hardware Architectures, 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 Embedded Systems (ICE, http://www.ice.rwth-aachen.de), being part of the RWTH Department of Electrical and Computer...more Nov 9 2016 - 10:12am 3 weeks 5 days 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.onera.fr Sponsors: IEEE Council on Electronic Design A...more Nov 9 2016 - 10:00am 3 weeks 5 days ago
Calls for Papers SPIN 2017 - Call for papers 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 practitioners interested in automated tool-based techniqu...more Nov 9 2016 - 9:41am 3 weeks 5 days ago
Position Announcements Positions in medical CPS at PRECISE Center RESEARCH POSITIONS in MEDICAL CYBER-PHYSICAL SYSTEMS at PRECISE Center School of Engineering and Applied Science University of Pennsylvania http://precise.seas.upenn.edu/ PRECISE center at the University of Pennsylvania is seeking applications for research positions as PhD students and postdoctora...more Nov 9 2016 - 9:29am 3 weeks 5 days ago
Position Announcements Positions in CPS security at PRECISE Center RESEARCH POSITIONS in CYBER-PHYSICAL SECURITY at PRECISE Center School of Engineering and Applied Science University of Pennsylvania http://precise.seas.upenn.edu/ PRECISE center at the University of Pennsylvania is seeking applications for research positions as PhD students and postdoctoral fello...more Nov 9 2016 - 9:30am 3 weeks 5 days ago
Position Announcements University of Virginia seeks CPS candidates: 2 faculty positions, 2 research scientists, and 15 grad students Dear Colleagues, The University of Virginia has begun a multi-million dollar initiative to create a collaborative world-class center of research excellence in Cyber-Physical Systems (CPS). Last year, SEAS announced an 8-faculty cluster hire in CPS and construction will begin this year on a new, col...more Nov 8 2016 - 5:46pm 3 weeks 6 days ago
Calls for Papers Call for papers and tutorials at International Workshop on Agent-based Modeling and Applications with SARL CALL FOR PAPERS AND TUTORIALS International Workshop on Agent-based Modeling and Applications with SARL (SARL-17) Madeira, Portugal | May 16-19, 2017 | http://www.multiagent.fr/Conferences:SARL17 In conjunction with the 8th International Conference on Ambient Systems, Networks, and Technologies (...more Oct 25 2016 - 1:52pm 5 weeks 6 days ago
Calls for Workshops & Tutorials NFM 2017 - Call For Workshops CALL FOR WORKSHOPS The 9th NASA Formal Methods Symposium (NFM 2017) May 16 - 18, 2017 | NASA Ames Research Center, Moffett Field, CA, USA | https://ti.arc.nasa.gov/events/nfm-2017 The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners fr...more Oct 25 2016 - 1:39pm 5 weeks 6 days ago
Position Announcements Faculty positions at UC Santa Cruz Dear Colleagues, I would like to let you know that we have two Faculty openings at the Assistant Professor (tenure-track) level at the University of California, Santa Cruz, that might be of interest to your graduate students and postdocs. 1) Robotics/Mechatronics position: In my department (Compu...more Oct 24 2016 - 5:05pm 6 weeks 10 hours ago
Calls for Papers CfP: 8th International Conference on Ambient Systems, Networks and Technologies (ANT-2017) CALL FOR PAPERS 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/ Important Dates Workshops Proposal Due: November 1, 2016 Paper Submission Due: December...more Oct 17 2016 - 11:14am 7 weeks 15 hours ago
Calls for Papers CFP: The 7th International Symposium on Internet of Ubiquitous and Pervasive Things 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 Oct 17 2016 - 11:02am 7 weeks 16 hours ago
Calls for Papers Submission Closes 15th Oct - Computing Conference 2017 (London, UK) CALL FOR PAPERS Computing Conference 2017 18-20 July 2017 | London, UK | http://saiconference.com/Computing2017Technically Co-Sponsored by IEEE We'd like to invite you to submit your papers/posters/demo proposals for the Computing Conference 2017 to be held from 18-20 July 2017 in London, United...more Oct 12 2016 - 4:44pm 7 weeks 5 days ago