CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Papers Extended: 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018) CALL FOR PAPERS - Extended Deadlines Abstract deadline: 08 April 2018 30 April 2018 Extended! Papers deadline: 30 April 2018 08 May 2018 Extended! 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018) September 26-28, 2018 | Gre...more Apr 20 2018 - 12:34pm 1 year 9 weeks ago
Calls for Papers CfP: 18th International Conference on Runtime Verification (RV 2018) CALL FOR PAPERS 18th International Conference on Runtime Verification (RV 2018) November 10-13, 2018 | Limassol, Cyprus | https://rv2018.isp.uni-luebeck.de rv18(at)easychair(dot)org Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardwa...more Apr 20 2018 - 12:27pm 1 year 9 weeks ago
Calls for Papers CfP: 31st IEEE International System-on-Chip Conference (SOCC2018) CALL FOR PAPERS - EXTENDED DEADLINE 4/30 31st IEEE International System-on-Chip Conference (SOCC2018) September 4-7, 2018 | Crystal City Marriott, Arlington, VA (Washington DC Metro Area) | www.ieee-socc.org "Thinking SOCs: AI and ML applications" For more than 30 years the IEEE Internationa...more Apr 20 2018 - 12:15pm 1 year 9 weeks ago
Position Announcements Research Position for PhD Candidates: System Correctness under Adverse Conditions (SCARE) The Carl von Ossietzky University of Oldenburg, Germany, offers one Research Position for a PhD Candidate in the second phase of the Computer Science Research Training Group SCARE -- System Correctness under Adverse Conditions http://scare.uni-oldenburg.de funded by the German Research Foundation...more Apr 20 2018 - 12:04pm 1 year 9 weeks ago
Calls for Papers CfP: 8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2018) CALL FOR POSITION PAPERS - Submission Deadline: April 27, 2018 8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2018) In Cooperation with EUROMICRO http://www.peccs.org/ | July 29 - 30, 2018 | Porto - Portugal The purpose of PECCS is to bri...more Apr 20 2018 - 11:52am 1 year 9 weeks ago
Calls for Papers CfP: 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2018) CALL FOR PAPERS - Full paper submission deadline : 23rd April 2018 (deadline Extension) 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2018) July 9th-11th, 2018, Lille, France, www.recosoc.org Full paper submission deadline : 16th April 2018 23rd...more Apr 20 2018 - 11:42am 1 year 9 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress 8th Halmstad Summer School on Testing (HSST 2018) 8th Halmstad Summer School on Testing (HSST 2018) Organized in cooperation with TOCSYC Network Introduction Testing and debugging account for a major part of software development cost and effort, yet the current practice of software testing is often insufficiently structured and disciplined. Ther...more Apr 20 2018 - 11:33am 1 year 9 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress SC3 Tech Jam in Portland: Call for Action Clusters We have a major call for action clusters at the 2018 GCTC-SC3 Tech Jam, which will be held in Portland, Oregon, June 20-22, 2018. Submission process: See the participation guide at https://pages.nist.gov/GCTC/about/participation-guide/Submissions due date: April 24, 2018 (Note: This due date is for...more Apr 4 2018 - 3:40pm 1 year 11 weeks ago
Position Announcements Postdoctoral and Ph.D. positions on Detecting and Removing Security Vulnerabilities in Software, at Uppsala University Uppsala University hereby declares the following positions open for application 1 Post-Doctoral Position 3 PhD positions on Techniques for Detecting and Removing Security Vulnerabilities in SoftwareSubject area and Duties: The topic for the positions is to develop techniques for detecting and r...more Apr 3 2018 - 2:48pm 1 year 11 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: ETAPS 2018 CALL FOR PARTICIPATION 21st European Joint Conferences on Theory And Practice of Software (ETAPS 2018) Thessaloniki, Greece | 14-20 April 2018 | http://www.etaps.org/index.php/2018 ABOUT ETAPS ETAPS is the primary European forum for academic and industrial researchers working on topics relati...more Apr 3 2018 - 3:18pm 1 year 11 weeks ago
Calls for Papers Deadline Extended: IEEE VTC2018-Fall: Call for Papers CALL FOR PAPERS: Deadline Extended to April 10, 2018 IEEE 88th Vehicular Technology Conference (IEEE VTC2018-Fall) 27-30 August 2018 | Chicago, USA | http://www.ieeevtc.org/vtc2018fall/ Important dates for regular papers: Submission of Papers: 27 March 2018 April 10, 2018 Notification...more Apr 3 2018 - 3:15pm 1 year 11 weeks ago
Position Announcements Postdoc in heterogeneous computing for deep learning at MDH/Sweden Position description: Malardalen University is looking for a postdoc in the field of heterogeneous computing for deep learning in automation and robotics. The position will be within the research project "DeepMaker - Deep Learning Accelerator on Commercial Programmable Devices". DeepMaker aims to p...more Apr 3 2018 - 3:13pm 1 year 11 weeks ago
Calls for Papers Extended Deadline: 21st Euromicro Conference on Digital System Design (DSD 2018) CALL FOR PAPERS: Extended Deadline: April 15th 21st Euromicro Conference on Digital System Design (DSD 2018) Prague, Czech Republic | Aug. 29th - Aug. 31st, 2018 | http://dsd-seaa2018.fit.cvut.cz/dsd/ Scope The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embe...more Apr 3 2018 - 3:11pm 1 year 11 weeks ago
Calls for Papers Deadline Extended: ACM SIGDA Ph.D. Forum 2018 Deadline Extended: April 5, 2018 ACM SIGDA Ph.D. Forum San Francisco, CA, June 2018 The Ph.D. Forum at the Design Automation Conference is a poster session hosted by ACM SIGDA for Ph.D. students to present and discuss their dissertation research with people in the EDA community. It has become...more Apr 3 2018 - 3:03pm 1 year 11 weeks ago
Calls for Papers CfP: The 13th International Conference on Networking, Architecture, and Storage (NAS18) CALL FOR PAPERS The 13th International Conference on Networking, Architecture, and Storage (NAS18) October, 11-14, 2018 | Chongqing China | http://www.nas-conference.org/NAS-2018/ Sponsored by IEEE NAS provides a high-quality international forum to bring together researchers and practitioners f...more Apr 3 2018 - 3:00pm 1 year 11 weeks ago
Calls for Papers CfP: 16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '18) CALL FOR PAPERS 16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '18) Beijing, China | October 15-18, 2-18 | http://memocode.irisa.fr/2018 MEMOCODE is a leading conference that brings together researchers and practitioners interested in formal method...more Apr 3 2018 - 2:07pm 1 year 11 weeks ago
Calls for Papers Call for Contributions: First International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) Call for Contributions First International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) In conjunction with SAFECOMP 2018 Vasteras, Sweden | Sept. 18, 2018 | http://www.waise2018.com SCOPE Research, engineering and regulatory frameworks are needed to achieve the full pote...more Apr 3 2018 - 2:00pm 1 year 11 weeks ago
Calls for Papers Special journal issue on "Challenges and Directions Forward for Dealing with the Complexity of Future Smart Cyber–Physical Syste A key aspect of Cyber-Physical Systems (CPS) is their potential for integrating information technologies, operational technologies (in terms of embedded systems and control systems), and physical systems, to form new or improved functionalities. CPS, thus, draws upon advances in many areas. In e...more Apr 3 2018 - 1:53pm 1 year 11 weeks ago
Calls for Papers CfP: 8th Halmstad Summer School on Testing (June 11-14) CALL FOR PAPERS The 8th Halmstad Summer School on Testing Halmstad University, Sweden | June 11 - June 14, 2018 | http://ceres.hh.se/mediawiki/HSST_2018Organised in cooperation with the TOCSYC NetworkScope Software testing accounts for a major part of software development cost and effort, yet th...more Apr 3 2018 - 1:51pm 1 year 11 weeks ago
Calls for Papers Deadline extension for ETFA 2018, the IEEE 23rd International Conference on Emerging Technologies and Factory Automation CALL FOR PAPERS 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (IEEE ETFA 2018) September 4th - 7th, 2018, Torino, Italy | http://ieee-etfa2018.com/ Aim: The ETFA conference brings together experts from industry and academia to disseminate novel ideas and...more Apr 3 2018 - 1:30pm 1 year 11 weeks ago
Position Announcements Post-doc position in Wireless Networks for Industry 4.0 at Universidad Miguel Hernandez de Elche (Spain) Job description The position is offered in the framework of the European H2020 AUTOWARE (Wireless Autonomous, Reliable and Resilient ProductIon Operation ARchitecture for Cognitive Manufacturing, http://www.autoware-eu.org/) research project. The project will develop IoT/5G and cloud networking sol...more Apr 3 2018 - 1:19pm 1 year 11 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call For Participation: CF18 - ACM Int. Conf. on Computing Frontiers 2018 CALL FOR PARTICIPATION ACM International Conference on Computing Frontiers 2018 (CF'18) May 8 - 10, 2018 | Ischia, Italy | http://www.computingfrontiers.org/2018/ Early Registration Deadline: April 9, 2018 The ACM International Conference on Computing Frontiers 2018 will be held May 8 - 10 in Is...more Apr 3 2018 - 1:16pm 1 year 11 weeks ago
Position Announcements 2 Open Positions: PhD/PostDoc in Embedded Multicore Architectures PhD/PostDoc in Embedded Multicore Architectures see also https://www.hipeac.net/jobs/10136/phdpostdoc-in-embedded-multicore-architectures/ Deadline: April 18, 2018 PhD student, PostDoc, Research Associate (# positions: 2) At the Institute of Computer Engineering the Chair of Adaptive Dynamic S...more Apr 3 2018 - 1:10pm 1 year 11 weeks ago
Calls for Papers CfP: The 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2018) CALL FOR PAPERS The 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2018) Hokkaido, Japan | August 29-31, 2018 | rtcsa2018.ht.sfc.keio.ac.jp Important Dates: Paper Submission Deadline: April 20 [FIRM! no extensions] Acceptance Notification:...more Apr 3 2018 - 1:07pm 1 year 11 weeks ago
Calls for Papers RESACS 2018: 4th International Workshop on Requirements Engineering for Self-Adaptive and Cyber-Physical Systems http://resacs2018.wordpress.com http://twitter.com/RESACS_WS The Fourth International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS) seeks original reports of novel ideas, emerging trends, and elaborations on the current state of practice...more Mar 27 2018 - 5:05pm 1 year 12 weeks ago
Position Announcements Multiple Assistant/Associate Professor Positions in Space Systems and Robotics The Department of Mechanical and Aerospace Engineering (MAE) at West Virginia University (WVU) invites applications and nominations for multiple tenure-track faculty positions in the general areas of Space Systems and Robotics. The research track record of the successful candidates in these areas is...more Mar 22 2018 - 5:02pm 1 year 13 weeks ago
Position Announcements Postdoctoral position on mixed-criticality at Inria (Paris) We are currently opening a position for a postdoctoral researcher at Inria (Paris). The applicant should be interested in the study of multicore scheduling for mixed-criticality applications while considering the impact of scheduling choices on the worst-case execution time of those applications. So...more Mar 21 2018 - 11:20am 1 year 13 weeks ago
Calls for Papers CfP: 25th Static Analysis Symposium (SAS 2018) CALL FOR PAPERS 25th Static Analysis Symposium (SAS 2018) Freiburg im Breisgau, Germany | August 29th-August 31st, 2018 | http://staticanalysis.org/sas2018 = = = New: Invited Talks, Invited Tutorials, Affiliated Events = = = = = = Submission deadline approaching: April 6th, 2018 = = =...more Mar 21 2018 - 11:18am 1 year 13 weeks ago
Calls for Papers CfP Extended Deadline: 6th International Conference on Software Engineering and Formal Methods (SEFM 2018) CALL FOR PAPERS - Extended Deadline March 2, 2018 16th International Conference on Software Engineering and Formal Methods (SEFM 2018) 27-29 June 2018 | Toulouse, France | https://www.isf.cs.tu-bs.de/cms/events/sefm2018/ SEFM aims to bring together leading researchers and practitioners from acade...more Feb 28 2018 - 2:48pm 1 year 14 weeks ago
Calls for Papers Call for Papers: PETRA 2018 (Deadlines Extended to March 02, 2018) CALL FOR PAPERS The 11th PErvasive Technologies Related to Assistive Environments (PETRA) June 26-29, 2018 | Corfu, Greece | www.petrae.org The 11th PErvasive Technologies Related to Assistive Environments (PETRA) conference is a highly interdisciplinary conference that focuses on computational a...more Feb 28 2018 - 2:38pm 1 year 14 weeks ago
Calls for Papers CfP: 12th International Conference on Tests & Proofs (TAP 2018) CALL FOR PAPERS 12th International Conference on Tests & Proofs (TAP 2018) Part of the STAF Event 2018 (parallel ECMFA, ICGT, ICMT, SEFM, TAP, TTC) Purpose and scope The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the...more Mar 14 2018 - 4:02pm 1 year 14 weeks ago
Calls for Papers CfP: The 13th International Conference on Future Networks and Communications CALL FOR PAPERS The 13th International Conference on Future Networks and Communications (FNC 2018) July 13-15, 2018 | Gran Canaria, Spain | http://cs-conferences.acadiau.ca/fnc-18/ Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technol...more Mar 14 2018 - 3:53pm 1 year 14 weeks ago
Calls for Papers CfP: 5th Int. Workshop on Applied Verification for Continuous and Hybrid Systems 5th Int. Workshop on Applied Verification for Continuous and Hybrid Systems Part of ADHS | Oxford, UK | July 13, 2018 | https://cps-vo.org/group/arch The workshop on applied verification for continuous and hybrid systems (ARCH) brings together researchers and practitioners to establish a curated s...more Mar 14 2018 - 3:46pm 1 year 14 weeks ago
Calls for Papers CfP: Ninth International Workshop on Graph Computation Models (GCM 2018) CALL FOR PAPERS Ninth International Workshop on Graph Computation Models (GCM 2018) Toulouse, France | 27 June 2018 | https://www.gcm2018.uni-bremen.de/ Co-located with ICGT 2018 Part of STAF 2018 BACKGROUND AND AIMS Graphs are common mathematical structures that are visual and intuitive. They...more Mar 14 2018 - 3:28pm 1 year 14 weeks ago
Position Announcements 16 PhD Positions on Logical Methods in Computer Science 16 PhD Positions on Logical Methods in Computer Science TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in Computer Science (LogiCS). LogiCS has been established in 2014 and currently includes 44 students....more Mar 14 2018 - 3:20pm 1 year 14 weeks ago
Calls for Workshops & Tutorials Call for Workshops: IEEE 88th Vehicular Technology Conference (IEEE VTC2018-Fall) CALL FOR WORKSHOPS IEEE 88th Vehicular Technology Conference (IEEE VTC2018-Fall) 27-30 August 2018 | Chicago, USA | http://www.ieeevtc.org/vtc2018fall/ Important dates for regular papers: Submission of Papers: 27 March 2018 Notification of Acceptance: 14 May 2018 Camera Ready...more Mar 14 2018 - 3:13pm 1 year 14 weeks ago
Calls for Papers CfP: 11th International Workshop on Numerical Software Verification (NSV 2018) CALL FOR PAPERS 11th International Workshop on Numerical Software Verification (NSV 2018) July 18-19, 2018 | Oxford, UK | https://nsv-2018.github.io/nsv2018/ Federated Logic Conference (FLoC) 2018 We are pleased to invite you to submit papers to the 11th International Workshop on Numerical Sof...more Mar 14 2018 - 3:11pm 1 year 14 weeks ago
Calls for Papers DSD 2018: CfP for Special Session on Design of Cyber-Physical Systems (DCPS) CALL FOR PAPERS Special Session on Design of Cyber-Physical Systems (DCPS) in DSD 2018 Special Session Scope Cyber-Physical Systems (CPS) are characterized by tight coupling and interaction between computation, communication and control elements (cyber part), and physical processes such as motio...more Mar 14 2018 - 2:59pm 1 year 14 weeks ago
Calls for Papers CfP: International Conference on Embedded Software (EMSOFT 2018) CALL FOR PAPERS International Conference on Embedded Software (EMSOFT 2018) September 30 - October 5, 2018 | Torino, Italy | http://www.esweek.org/emsoft/ Timeline Abstract Submission: March 27, 2018 Full Paper Submission: April 3, 2018 (firm deadline) Conference:Sep. 30 - Oct. 5, 2018 Topics...more Mar 14 2018 - 2:24pm 1 year 14 weeks ago
Calls for Papers CfP: International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2018) CALL FOR PAPERS International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2018) September 30 - October 5, 2018, Torino, Italy The International Conference on Hardware/Software Codesign and System Synthesis is the premier event in system-level design, modeling, analys...more Mar 14 2018 - 2:23pm 1 year 14 weeks ago
Position Announcements Postdoctoral position in Hybrid Systems at the Australian National University Postdoctoral position in Hybrid Systems at the Australian National University Cyber-Physical Systems Laboratory led by Dr Sergiy Bogomolov is seeking applications for a postdoctoral position on the topic "Verification of Hybrid Systems". The successful candidate will work on algorithms and techniqu...more Mar 14 2018 - 2:21pm 1 year 14 weeks ago
Calls for Papers CFP DSD'18: Special Session on "Architectures and Systems for Automotive, Aeronautic, Space and Intelligent Transportation" (ASA CALL FOR PAPERS Architectures and Systems for Automotive, Aeronautic, Space and Intelligent Transportation (ASAASIT) In conduction with DSD 2018 Prague, Czech Republic, Aug. 29-31th, 2018 Special Session Scope Digital systems in intelligent transportation systems (ITS) will play an important r...more Mar 14 2018 - 2:17pm 1 year 14 weeks ago
Position Announcements Postdoc position at KTH on Architecting critical infrastructures for cyber-physical systems. Postdoc position on Architecting critical infrastructures for cyber-physical systems. We are seeking a highly motivated postdoc for cutting-edge research at KTH, in close collaboration with industry. Future industrial systems, such as in transport or manufacturing, will increasingly consist of conn...more Mar 7 2018 - 12:59pm 1 year 14 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress SAC SVT 2018, April 12, Pau, France - Call for Participation CALL FOR PARTICIPATION 33rd Annual ACM Symposium on Applied Computing Software Verification and Testing Track Pau, France | April 9 - 13, 2018More information: http://sac-svt-2018.imag.fr https://www.sigapp.org/sac/sac2018/ The Software Verification and Testing track aims at contributing to th...more Mar 14 2018 - 1:50pm 1 year 14 weeks ago
Calls for Papers CfP: Special Session on Emerging Solutions for Vehicular Embedded Systems, IECON 2018 CALL FOR PAPERS Special Session on: "Emerging Solutions for Vehicular Embedded Software Systems" (IECON 2018) http://www.iecon2018.org/files/SS_IECON2018_SS_CfP.pdf At the 44th Annual Conference of the IEEE Industrial Electronics Society Washington, DC, USA | October 21 - 23, 2018 | http://www.i...more Mar 14 2018 - 1:44pm 1 year 14 weeks ago
Position Announcements Full Professorship in Computer Science, Aalborg University, Denmark FULL PROFESSORSHIP AT AALBORG UNIVERSITY At the Technical Faculty of IT and Design, Department of Computer Science, a permanent Full Professorship in Computer Science is open for appointment starting August 1, 2018 or soon thereafter. The position is enabled by a generous grant from the Poul Due Je...more Mar 14 2018 - 1:38pm 1 year 14 weeks ago
Calls for Workshops & Tutorials ESWEEK 2018: Call for Workshops and Tutorials Call for Workshops and Tutorials EMBEDDED SYSTEMS WEEK CASES * CODES+ISSS * EMSOFT * IoT * Symposia * Workshops * Tutorials Torino Incontra, Torino, Italy | Sept. 30 - Oct. 5, 2018 | http://www.esweek.org/ About Embedded Systems Week (ESWEEK) ESWEEK is the premier event covering all aspects of...more Mar 14 2018 - 1:36pm 1 year 14 weeks ago
Calls for Papers CfP: 37TH INTERNATIONAL CONFERENCE ON COMPUTER SAFETY, RELIABILITY, & SECURITY (SAFECOMP 2018) CALL FOR PAPERS 37TH INTERNATIONAL CONFERENCE ON COMPUTER SAFETY, RELIABILITY, & SECURITY (SAFECOMP 2018) 18-21 SEPTEMBER | VASTERAS, SWEDEN | http://www.es.mdh.se/safecomp2018/ Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on...more Feb 6 2018 - 1:30pm 1 year 14 weeks ago
Calls for Papers CfP: Special Issue on "Time-Critical Wireless Networks for Industrial Systems and Mobile Robotics" CALL FOR PAPERS Special Issue on "Time-Critical Wireless Networks for Industrial Systems and Mobile Robotics" Recently, there has been increasing interest in areas like smart factories, process control, robotics, smart energy grids, and so forth. These entities can be regarded as complex real-li...more Mar 14 2018 - 1:12pm 1 year 14 weeks ago
Calls for Papers CfP: SAMOS XVIII CALL FOR PAPERS - Extended Deadline March 19 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XVII) Samos, Greece | July 15-19, 2018 | http://www.samos-conference.com Timeline: MARCH 19, 2018 Paper Submission Deadline (EXTENDED) APRIL 2, 2018...more Mar 14 2018 - 1:08pm 1 year 14 weeks ago