CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Papers CfP (IMPENDING DEADLINE): SPECIAL SESSION ON Energy Efficient Cyber Physical Systems@ICM2018 CALL FOR SPECIAL SESSION PAPERS The 30th International Conference on Microelectronics (ICM 2018) SPECIAL SESSION ON Energy Efficient Cyber Physical Systems Important Dates: Research Paper Submission: October 10, 2018 Notification of Acceptance: October 30, 2018 Camera Ready Submission:...more Oct 3 2018 - 2:48pm 46 weeks 4 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: VECoS 2018 Call for Participation 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018) Grenoble, France | September 26-28, 2018 | https://vecos.ensta-paristech.fr/2018/ VECoS is focused on formal approaches, methods and techniques for the verificati...more Oct 3 2018 - 2:08pm 46 weeks 4 days ago
Calls for Papers CfP: 22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019) JOINT CALL FOR PAPERS 22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019) Prague, Czech Republic | 6-11 April 2019 | http://www.etaps.org/2019 ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ET...more Oct 3 2018 - 2:00pm 46 weeks 4 days ago
Calls for Papers CfP: IEEE ICPS 2019 & IEEE MFI 2019 CALL FOR PAPERS IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2019) IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2019) May 6-9, 2018 | Howard Plaza Hotel Taipei, Taiwan | http://icps19.org/ Important dates: Special S...more Oct 3 2018 - 1:50pm 46 weeks 4 days ago
Calls for Papers CfP: 6th International workshop on Mixed Criticality Systems (WMC) CALL FOR PAPERS 6th International workshop on Mixed Criticality Systems (WMC) Affiliated with the IEEE Real-Time Systems Symposium Nashville, Tennessee, USA | December 11th, 2018 | https://sites.google.com/njit.edu/wmc2018/ WORKSHOP WMC's goal is to promote sharing of new ideas, results, e...more Feb 8 2018 - 6:55pm 46 weeks 4 days ago
Calls for Papers CfP: 11th Annual NASA Formal Methods Symposium (NFM 2019) CALL FOR PAPERS 11th Annual NASA Formal Methods Symposium (NFM 2019) Challenges for Future Exploration 7 - 9 May 2019 | Rice University, Houston, Texas, USA | https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html Important Dates: Abstract Submission: 7 Dec 2018 Paper Submission: 14 Dec 2018...more Oct 3 2018 - 12:46pm 46 weeks 4 days ago
Calls for Papers CfP: Reliability, safety and security of railway systems (RSSRail 2019) CALL FOR PAPERS International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification (RSSRail 2019) June 4-6, 2019 | Lille, France | https://conferences.ncl.ac.uk/rssrail2019/ The important dates: January 5, 2019 - abstract submissi...more Oct 3 2018 - 1:24pm 46 weeks 4 days ago
Position Announcements Assistant/Associate Professor Positions in the Electronic Systems group at TU Eindhoven The Electronic Systems group at TU Eindhoven has two positions available for qualified candidates with a research profile in nano-electronic circuit design/VLSI and efficient machine learning/deep learning systems. Tenure-track Assistant Professor, Nano-Electronic Digital Circuits and Systems (V36...more Oct 3 2018 - 12:37pm 46 weeks 4 days ago
Position Announcements Call for Applications: Helmut Veith Stipend for Female Master´s Students in Computer Science Female students in the field of computer science (CS) who plan to pursue (or are currently pursuing) one of the master's programs in Computer Science at the Vienna University of Technology - TU Wien taught in English are invited to apply for the annually awarded Helmut Veith Stipend. The computer sc...more Oct 3 2018 - 12:20pm 46 weeks 4 days ago
Calls for Papers CfP: 10th International Conference on Ambient Systems, Networks and Technologies (ANT-2019) 10th International Conference on Ambient Systems, Networks and Technologies (ANT-2019) Leuven, Belgium | April 29 - May 2, 2019 | http://cs-conferences.acadiau.ca/ant-19/ Important Dates Workshops Proposals Due: October 30, 2018 Paper Submission Due: December 6, 2018 Acceptance...more Oct 3 2018 - 12:19pm 46 weeks 4 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress ESWEEK Tutorial: Schedulability Analysis under Uncertainty using Formal Methods CALL FOR PARTICIPATION Tutorial: Schedulability Analysis under Uncertainty using Formal Methods ESWEEK satellite event September 30, 2018 | Torino, Italy | https://www.imitator.fr/tutorials/ESWEEK18/ Modern real-time systems must cope with different sources of variability. Modern hardware proces...more Oct 3 2018 - 11:27am 46 weeks 4 days ago
Calls for Papers CfP: RTSS@Work Workshop RTSS@Work - Open Demo Session of Real-Time Systems RTSS 2018 - Nashville, Tennessee, USA RTSS@Work is the open demo session organized as a part of the IEEE Real-Time Systems Symposium, the premier conference in the area of Real-Time Systems. The goal of RTSS@Work is to provide a platform for resea...more Feb 8 2018 - 6:55pm 46 weeks 4 days ago
Position Announcements Two Post-doctoral Positions in SUTD on Verification/Validation of Timing-channel Freedom The Automated Systems Security research group (https://asset-group.github.io/) at the Singapore University of Technology and Design is looking for: Two (2) Post-Doctoral Positions on techniques for analyzing, validating and shielding micro-architectural timing-channels. The ASSET research group in...more Oct 3 2018 - 10:03am 46 weeks 4 days ago
Calls for Papers CfP: The Fourth International Conference on Information Security and Digital Forensics (ISDF2018) The Fourth International Conference on Information Security and Digital Forensics (ISDF2018) December 3-7, 2018 | Thessaloniki, Greece The Conference Welcomes Papers On The Following (But Not Limited To) Research Topics: CYBER SECURITY Distributed and Pervasive Systems Security Formal Methods...more Oct 2 2018 - 7:20am 46 weeks 5 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress 2018 CPS Challenge The 2018 CPS challenge is designed for undergraduate teams participating in a capstone project course. The goal of this challenge is to use a quadrotor aircraft with downward facing cameras to search an area for interesting objects, and land at a position where directed. Interested teams can sign up...more Apr 19 2017 - 11:54am 46 weeks 6 days ago
Calls for Papers CALL FOR PAPERS - 2nd IFAC Conference on Cyber-Physical & Human Systems CALL FOR PAPERS | The 2nd IFAC Conference on Cyber-Physical & Human Systems December 14-15, 2018, Miami, USA Submission Deadline: April 15, 2018 Acceptance notification: September 1, 2018 Final Submission Deadline: October 1, 2018 Steady advances in controls, communications, and computing ar...more Dec 21 2017 - 3:35pm 46 weeks 6 days ago
Position Announcements Faculty position: Northeastern University Automation in Civil and Environmental Engineering As part of a strategic initiative in the area of Urban Engineering, Northeastern University seeks faculty candidates for tenured or tenure-track appointments at the assistant, associate, or full professor level in the Department of Civil and Environmental Engineering in the area of Automation in Civ...more Sep 25 2018 - 1:58pm 47 weeks 5 days ago
Calls for Papers ACM/IEEE ICCPS 2019 - Only 3 weeks left! The 10th ACM/IEEE International Conference on Cyber-Physical Systems (ACM/IEEE ICCPS 2019) Full paper submission deadline: October 17, AoE, 2018 April 16-18, 2019 in Montreal, Canada, part of CPSWeek 2019http://iccps.acm.org/2019 Overview: As digital computing and communication become faster,...more Sep 24 2018 - 11:30am 47 weeks 6 days ago
Calls for Papers Extended deadline: 1st International Workshop on Trustworthy and Real-time Edge Computing for Cyber-Physical Systems (TREC4CPS) CALL FOR PAPERS - EXTENDED DEADLINE: Thursday 27th Sept 2018 (23:59 UTC-12) (firm) 1st International Workshop on Trustworthy and Real-time Edge Computing for Cyber-Physical Systems (TREC4CPS) in conjunction with the 39th IEEE Real-Time Systems Symposium 11 December 2018 | Nashville, TN The incre...more Sep 18 2018 - 12:54pm 48 weeks 4 days ago
Position Announcements CDD Post-Doc (H/F) - Localization and Positioning 3D for Industrial Application Date of starting: from 01/12/2018 Duration: 12 months renewableSalary: according to UGA grids / diploma and experienceRequired degree: PhD in Automatic, signal processing (with experience in navigation and positioning)Location: Gipsa-lab, Grenoble Campus / Saint-Martin d'Hères Send cv and cover...more Sep 19 2018 - 10:11am 48 weeks 4 days ago
Calls for Papers CfP Extended Deadline: 39th IEEE Real-Time Systems Symposium (RTSS 2018) CALL FOR PAPERS - Extended Deadline Thursday 27th Sept 2018 (23:59 UTC-12) 39th IEEE Real-Time Systems Symposium (RTSS 2018) December 11-14, 2018 | Nashville, TN | http://2018.rtss.org/ SCOPE OF THE CONFERENCE The IEEE Real-Time Systems Symposium (RTSS) is the premier conference in the field of...more Feb 8 2018 - 6:55pm 48 weeks 5 days ago
Position Announcements 11 Research Scientist Positions in RTES, CPS and IoT Details on how to submit your application are available here: https://cister-labs.pt/rs2018_calls/ CISTER and ISEP are promoting a number of longer-term Research Scientist positions to engage in an ambitious research plan in the areas of Real-Time & Embedded Computing Systems (RTES), Cyber-Phys...more Sep 11 2018 - 11:38am 49 weeks 5 days ago
Calls for Papers CfP: 34th ACM/SIGAPP SAC - Embedded Systems Track CALL FOR PAPERS - EMBS TRACK 34th ACM/SIGAPP SAC Symposium on Applied Computing April 8-12, 2019 | Limassol, Cyprus EMBEDDED SYSTEMS New Perspectives for Hardware, System Software, and Applications http://retis.sssup.it/sac2019/ Submission page: https://www.sigapp.org/sac/sac2019/submission.h...more Sep 5 2018 - 1:15pm 50 weeks 4 days ago
Calls for Papers CfP: The 20th IEEE International Conference on Industrial Technology (IEEE-ICIT 2019) FINAL CALL FOR PAPERS: Extended submission deadline: 15 september 2018 The 20th IEEE International Conference on Industrial Technology (IEEE-ICIT 2019) 13-15 Feb. 2019 | Melbourne, Australia | www.ieee-icit2019.org Dear Colleague Due to the August vacation season in northern hemisphere and the r...more Aug 28 2018 - 10:01am 51 weeks 5 days ago
Calls for Papers CFP - (ARM): 17th Workshop on Adaptive and Reflexive Middleware, Rennes, France, December 10-14, 2018. 17th Workshop on Adaptive and Reflexive Middleware (ARM 2018) http://cedric.cnam.fr/arm Theme of 2018: "Smart and Connected Communities for Environmental Challenges" Rennes, France, December 10-14, 2018. in conjunction with The ACM/IFIP/USENIX Middleware conference ARM 2018 CFP The 17th Worksh...more Aug 27 2018 - 3:58pm 51 weeks 6 days ago
Calls for Papers CfP: 12th Junior Researcher Workshop on Real-Time Computing (JRWRTC) CALL FOR PAPERS 12th Junior Researcher Workshop on Real-Time Computing (JRWRTC) in conjunction with the 26th International Conference on Real-Time Networks and Systems (RTNS 2018) Poitiers, France | 10-12 October, 2018 | https://rtns2018.ensma.fr/workshop.html Important Dates Submission deadlin...more Aug 27 2018 - 1:57pm 51 weeks 6 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress CALL FOR PARTICIPATION: 25th International Symposium on Temporal Representation and Reasoning (TIME 2018) CALL FOR PARTICIPATION 25th International Symposium on Temporal Representation and Reasoning (TIME 2018) The International Symposium on Temporal Representation and Reasoning (TIME) is a well-established symposium series which brings together researchers interested in reasoning about temporal aspec...more Aug 27 2018 - 1:49pm 51 weeks 6 days ago
Calls for Papers CFP ACM Hybrid Systems: Computation and Control 2019 HSCC 2019 Call for Papers 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC) Part of CPS-IoT Week 2019 April 16-18, 2019 Montreal, Canada URL: http://2019.hscc-conference.org/ Important dates Abstract submission deadline (optional): October 10, 2018 (AOE)...more Aug 27 2018 - 10:05am 51 weeks 6 days ago
Position Announcements Postdoc and PhD Positions in Formal Verification of Cyber-Physical Systems Postdoc and PhD Positions in Formal Verification of Cyber-Physical Systems Aerospace and Ocean Engineering, Virginia Tech, Blacksburg VA 24061, U.S.A. Application deadline: Interested researchers are encouraged to apply as soon as possible. Applications will be accepted until positions are filled....more Aug 23 2018 - 10:23am 1 year 2 days ago
Calls for Papers CFP: The 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2019) CALL FOR PAPERS The 10th ACM/IEEE International Conference on Cyber-Physical Systems (ACM/IEEE ICCPS 2019) April 16-18, 2019 in Montreal, Canada, part of CPSWeek 2019http://iccps.acm.org/2019 Overview: As digital computing and communication become faster, cheaper, and available in packages that a...more Aug 17 2018 - 12:55pm 1 year 1 week ago
Calls for Papers 1st Call for Papers Software Verification and Testing Track @ ACM SAC 2019 CALL FOR PAPERS 34th Annual ACM Symposium on Applied Computing Software Verification and Testing Track Limassol, Cyprus | April 8 - 12, 2019 | https://sites.google.com/site/sacsvt2019/home Important dates Sep 10, 2018 - Submission of regular papers and SRC research abstracts Nov 10, 2018 - Not...more Aug 13 2018 - 2:47pm 1 year 1 week ago
General Announcements EAPLS PhD Award 2016–17 - Call for Nominations CALL FOR NOMINATIONS - Extended Deadline Aug. 31 EAPLS PhD Award 2016-17 The European Association for Programming Languages and Systems (EAPLS) has established a Best Dissertation Award in the international research area of programming languages and systems. The award will go to the Ph.D. stude...more Aug 13 2018 - 2:35pm 1 year 1 week ago
Position Announcements Postdoctoral position at Virginia Tech Postdoctoral Research Associate Systems Software Research Group Virginia Tech A postdoctoral position is available with the Systems Software Research Group (http://www.ssrg.ece.vt.edu/) at Vir...more Aug 13 2018 - 2:32pm 1 year 1 week ago
Position Announcements Assistant Professor positions available at TTU Tennessee Technological University in Cookeville has a one year Visiting Assistant Professor position available for Fall 2018 (https://jobs.tntech.edu/postings/10464). They will also have open searches for 3 tenure track positions for Fall 2019. Temporary non-tenure-track appointment to begin Augus...more Aug 13 2018 - 2:30pm 1 year 1 week ago
Calls for Papers CfP: Eighth International Conference on Fundamentals of Software Engineering 2019 - Theory and Practice (FSEN '19) CALL FOR PAPERS Eighth International Conference on Fundamentals of Software Engineering 2019 - Theory and Practice (FSEN '19) May 1-3, 2019 | Tehran, Iran | http://fsen.ir/2019 --About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together...more Aug 13 2018 - 2:10pm 1 year 1 week ago
Calls for Papers CfP: The 8th Embedded Operating System Workshop (EWiLi 2018) The 8th Embedded Operating System Workshop (EWiLi 2018) held in conjunction with ESWEEK Torino, Italy | 2018/10/04 | https://sites.google.com/view/ewili18/home EWiLi, the embedded operating system workshop, aims at presenting state-of-the-art research, experimentation, significant and original re...more Aug 13 2018 - 2:08pm 1 year 1 week ago
Calls for Papers CfP: Special Session on Advanced Solutions for Communication in Cooperative Cyber Physical Systems @ ICIT 2019 CALL FOR PAPERS Extended deadline: August 31, 2018 Special Session on Advanced Solutions for Communication in Cooperative Cyber Physical Systems, ICIT 2019 @ 20th IEEE International Conference on Industrial Technology (ICIT 2019) Melbourne, Australia | February 13 - 15, 2019 | http://www.ieee-icit...more Aug 13 2018 - 12:54pm 1 year 1 week ago
Calls for Papers CfP: 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2019) CALL FOR PAPERS 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2019) New in 2019: Systems papers submitted to Track 1 do not necessarily need to consider timing issues to be in scope. RTAS is a top-tier conference with a focus on systems research related to embedded...more Aug 13 2018 - 12:39pm 1 year 1 week ago
Calls for Papers CFP: 2nd ACM Workshop on the Internet of Safe Things CALL FOR PAPERS: ACM SafeThings 2018 2nd ACM Workshop on the Internet of Safe Things Co-located with Sensys        November 4, 2018 | Shenzhen, China | https://www.safethings.info/      The Internet of Safe Things workshop (or SafeThings, for brevity) seeks to bring researchers and practitio...more Aug 13 2018 - 12:30pm 1 year 1 week ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress NIST Workshop: Reasoning about IoT Trustworthiness NIST invites you to join a workshop on methods and technologies for reasoning about IoT trustworthiness on September 13, 2018 at its Gaithersburg campus. The workshop will feature presentations and discussions about current research on the NIST Cyber-Physical Systems (CPS) Framework, Modeling Trustw...more Aug 13 2018 - 12:19pm 1 year 1 week ago
Position Announcements Multiple PhD positions in CPS cyber-security and robotics at UVA Multiple PhD positions in cyber-physical systems security and robotics safe planning are available at the University of Virginia (UVA) Autonomous Mobile Robots Laboratory (https://www.bezzorobotics.com/). Research areas: cyber-physical systems safety and security; assured autonomy; autonomou...more Aug 8 2018 - 10:47pm 1 year 2 weeks ago
Position Announcements Fulbright Iceland Opportunities in Cyber-Security and Critical Infrastructure - Deadline Extended to September 12, 2018 CIES has extended deadlines for core scholar grants, including 9216-IC Fulbright-National Science Foundation Scholar in Cyber-Security and Critical Infrastructure   Applications are encouraged.   The deadline was August 1st but has been extended to September 12th, so ple...more Jun 26 2018 - 10:33am 1 year 3 weeks ago
Calls for Papers CfP: 9th International Workshop on Static Analysis in Systems Biology (SASB 2018) CALL FOR PAPERS - Submission deadline extended to 15 July 9th International Workshop on Static Analysis in Systems Biology (SASB 2018) August 28, 2018 | Freiburg im Breisgau, Germany | https://www.mcss.uni-konstanz.de/sasb-2018/ SASB 2018 is a one-day workshop that aims to promote discussion...more Jun 15 2018 - 11:41am 1 year 5 weeks ago
Position Announcements Tennessee Tech Visiting Assistant Professor Tennessee Technological University in Cookeville has a one year Visiting Assistant Professor position available for Fall 2018 (https://jobs.tntech.edu/postings/10464). They will also have open searches for 3 tenure track positions for Fall 2019. Position Number: 168130Working Title: Visiting Assist...more Jul 9 2018 - 1:33pm 1 year 6 weeks ago
Calls for Papers CfP: Future of Information and Communication Conference (FICC) 2019 CALL FOR PAPERS Future of Information and Communication Conference (FICC) 2019 14-15 March, 2019 | San Francisco, CA | http://saiconference.com/FICC2019 FICC 2019 aims to provide a forum for researchers from both academia and industry to share their latest research contributions and exchange know...more May 7 2018 - 10:11am 1 year 7 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Tutorial on SARL at EUSPN 2018 Tutorial on SARL at the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2018) November 5-8, 2018, Leuven, Belgium | http://www.multiagent.fr/Conferences:TutorialSARLEUSPN18 In conjunction with the 9th International Conference on Emerging Ubiquitous Syste...more Jun 25 2018 - 11:36am 1 year 8 weeks ago
Calls for Papers CfP: 24th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2018) CALL FOR PAPERS 24th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2018) December 11 - 13, 2018 | Singapore | http://icpads.sg Established in 1992, ICPADS has been a major international forum for scientists and engineers to exchange and share new ideas and their latest...more Jun 25 2018 - 11:22am 1 year 8 weeks ago
Position Announcements 9 Research Scientist Positions in RTES, CPS and IoT Call for expression of interest in 9 Research Scientist positions to engage in an ambitious research plan in the area of Real-Time & Embedded Computing Systems (RTES), Cyber-Physical Systems (CPS) and Internet-of-Things (IoT). 1 - WHAT WE OFFER The CISTER Research Centre (https://www.cist...more Jun 25 2018 - 11:13am 1 year 8 weeks ago
Position Announcements Postdoc & Ph.D. Positions in Ultra-Reliable, Low-Latency Wireless Networks and Applications The Dependable Networking and Computing (DNC) Research Group at Iowa State University, USA (http://www.ece.iastate.edu/~hongwei/group/) has postdoc and Ph.D. positions available for research in ultra-reliable, low-latency wireless networks and their applications in AR/VR systems, connected and autom...more Jun 24 2018 - 5:51pm 1 year 8 weeks ago
Position Announcements 3 RA/PostDoc positions in Compilers/Runtime at University of Edinburgh The School of Informatics, University of Edinburgh, is advertising three research positions in the area of compilers and runtime for a coarse-grain reconfigurable accelerator (CGRA). These posts are associated with SDH, software defined hardware, a US DARPA project led by U. Michigan and in partne...more Jun 15 2018 - 12:03pm 1 year 10 weeks ago