CPS Community Announcements

Forum Title Content Postedsort icon Updated
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 techn...more Mar 14 2018 - 2:53pm 6 years 44 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 - 2:46pm 6 years 44 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 - 2:28pm 6 years 44 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 - 2:20pm 6 years 44 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 Rea...more Mar 14 2018 - 2:13pm 6 years 44 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 - 2:11pm 6 years 44 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 - 1:59pm 6 years 44 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 Top...more Mar 14 2018 - 1:24pm 6 years 44 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 - 1:23pm 6 years 44 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 - 1:21pm 6 years 44 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 - 1:17pm 6 years 44 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, 2018 More information: http://sac-svt-2018.imag.fr https://www.sigapp.org/sac/sac2018/ The Software Verification and Testing track aims at contributi...more Mar 14 2018 - 12:50pm 6 years 44 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 - 12:44pm 6 years 44 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 - 12:38pm 6 years 44 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...more Mar 14 2018 - 12:36pm 6 years 44 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 - 12:12pm 6 years 44 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, 20...more Mar 14 2018 - 12:08pm 6 years 44 weeks ago
Position Announcements PhD Position in Human-Machine Interaction, Aix Marseille Université, France PhD fellowship Towards a Computational Model of Social Skills for Human-Computer Interaction Aix-Marseille Universite & CNRS Deadline for application: April 9th, 2018 The goal of this project is to develop a computational model of social skills for multimodal interaction systems. The mod...more Mar 14 2018 - 11:52am 6 years 44 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress DeepLearn 2018: early registration March 12 Early registration deadline: March 12, 2018 2nd International Summer School on Deep Learning 2018 (DeepLearn) 23th -- 27th July 2018 | Genova, Italy | http://grammars.grlmc.com/DeepLearn2018/ Organized by: University of Genova IRDTA-London SCOPE: DeepLearn 2018 will be a research training ev...more Mar 14 2018 - 11:46am 6 years 44 weeks ago
Calls for Papers QBFEVAL'18 - Call for Contributions CALL FOR CONTRIBUTIONS QBFEVAL'18 - Competitive Evaluation of QBF Solvers A joint event with the 21st Int. Conference on Theory and Applications of Satisfiability Testing (SAT) (affiliated with FLoC 2018) Oxford, UK | July 9 - July 12 2018 | http://www.qbflib.org/ QBFEVAL'18 is the 2018 competit...more Mar 14 2018 - 11:45am 6 years 44 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress CfP (ext. deadline): 13th IEEE SIES 2018 (in conjunction with 2nd IoT Symposium) CALL FOR POSTERS 13th IEEE International Symposium on Industrial Embedded Systems (SIES) In conjunction with "2nd Symposium on Dependable Internet of Things" June 5, 2018, Graz, Austria Regular Paper submission deadline: March 11, 2018 (extended, hard) Acceptance notification:...more Mar 14 2018 - 11:38am 6 years 44 weeks ago
Calls for Papers CfP: ACM/EIGSCC Symposium On Smart Cities and Communities Call For Papers ACM/EIGSCC Symposium On Smart Cities and Communities In collaboration with the Association for Computing Machinery (ACM) Emerging Interest Group (EIG) on Smart Cities and Communities (SCC) we will be hosting a Technical Papers Symposium. This Symposium will provide a leading venue...more Mar 14 2018 - 11:27am 6 years 44 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress DHS S&T to lead a session at SXSW. Two Data-related SuperClusters merged. NSF funding on Smart Soil Dear GCTC-Smart and Secure Cities and Communities Challenge (SC3) community, We have a few updates from our federal partners and SuperClusters. DHS S&T at SXSW: Rethinking Resilience in the Smart City The Department of Homeland (DHS) Security Science and Technology Directorate (S...more Mar 14 2018 - 11:12am 6 years 44 weeks ago
General Announcements CPS Week 2018 Student Grants The CPSWeek 2018 conference organizers anticipate the availability of student travel/registration support funds to encourage the participation of students in the CPSWeek 2018 (cpsweek.org) that would otherwise not be able to attend. Each grant will contribute towards partial or complete reimbursemen...more Mar 14 2018 - 11:09am 6 years 44 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call For Participation tutorial @ CPSWeek2018: 'System-wide Optimization of Logistics in Manufacturing Systems' CALL FOR PARTICIPATION CPSWeek2018 tutorial on System-wide Optimization of Logistics in Manufacturing Systems on April 10, 2018 Abstract: High-throughput and high-precision are demanded from a wide class of next generation of cyber-physical systems - lithography machines and professional pr...more Mar 14 2018 - 11:07am 6 years 44 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 - 11:59am 6 years 44 weeks ago
General Announcements Call for Applications: CPSWeek 2018 Student Travel Grant The CPSWeek 2018 conference organizers anticipate the availability of student travel/registration support funds to encourage the participation of students in CPSWeek 2018 (cpsweek.org) that would otherwise not be able to attend. Each grant will contribute towards partial or complete reimbursement of...more Mar 5 2018 - 12:44pm 6 years 46 weeks ago
Calls for Papers Submission System Open: Transactions on Industrial Informatics Special Section Call for Papers: Resilience in Energy Industries CALL FOR PAPERS for Special Section on Resilience in Energy Industries- Recent Advances, Open Challenges, and Future Directions Theme: Resilience is the capacity of critical infrastructure systems to proactively maintain a safe level of operational normalcy in response to anomalies, including th...more Feb 28 2018 - 2:45pm 6 years 46 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 - 1:48pm 6 years 44 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 - 1:38pm 6 years 44 weeks ago
Calls for Papers [GCTC-SC3 2018] Portland Tech Jam Announced. SuperClusters and Smart City Works Updates Dear GCTC-SC3 community, We have a handful of exciting announcements today: Announcing 2018 GCTC-SC3 Tech Jam and ACM Technical Conference Track We are announcing the 2018 GCTC-SC3 Tech Jam, which will be held in Portland, Oregon, on June 20-22, 2018, co-hosted by the City of Portland, T...more Feb 28 2018 - 1:30pm 6 years 46 weeks ago
Calls for Papers CfP: 7th International Workshop on Formal Methods for Interactive Systems (FMIS 2018) CALL FOR PAPERS 7th International Workshop on Formal Methods for Interactive Systems (FMIS 2018) Affiliated Workshop of STAF 2018 June 25-26 | Toulouse, France | https://fmis2018.sciencesconf.org Reducing the likelihood of faults and failures in the development and in the use of interactive sys...more Feb 28 2018 - 11:56am 6 years 46 weeks ago
Calls for Papers CfP: Third Workshop on Self-Awareness in Cyber-Physical Systems, Aston University, Birmingham, UK. 23 April 2018 CALL FOR PAPERS Third Workshop on Self-Awareness in Cyber-Physical Systems Aston University, Birmingham, UK | 23 April 2018 | https://www.ict.tuwien.ac.at/selphys/ DESCRIPTION Inspired by biological examples, self-awareness has become a hot research topic in a variety of disciplines and its app...more Feb 28 2018 - 11:46am 6 years 46 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: DATE 2018 Workshop on "New Platforms for Future Cars: Current and Emerging Trends" [23.March.2018] CALL FOR PARTICIPATION DATE 2018 Workshop W03: "New Platforms for Future Cars: Current and Emerging Trends" https://www.date-conference.com/conference/workshop-w03 Description The automotive industry is rapidly moving towards the adoption of new hardware solutions, such as multi- and many-cor...more Feb 28 2018 - 11:38am 6 years 46 weeks ago
Position Announcements Postoctoral positions in learning-enabled CPS at University of Pennsylvania Postdoctoral Research Positions in Assured Autonomy at PRECISE Center School of Engineering and Applied Science, University of Pennsylvania http://precise.seas.upenn.edu/ The PRECISE center at University of Pennsylvania is seeking applications for postdoctoral researchers to work on the project...more Feb 28 2018 - 11:34am 6 years 46 weeks ago
Position Announcements Postdoctoral Associate: Planning and Control for Collaborative Autonomy Multiple postdoctoral positions are available in the Hybrid Systems and Controls Laboratory (http://hscl.unm.edu) at the University of New Mexico to work on projects funded by the NSF National Robotics Initiative ("NRI: Planning, collaborative guidance, and navigation in uncertain, dynamic environme...more Feb 22 2018 - 1:53pm 6 years 47 weeks ago
Calls for Papers Deadline Extended: 1st International Conference on Science of Cyber Security (SciSec 2018) CALL FOR PAPERS - Deadline Extended The 1st International Conference on Science of Cyber Security (SciSec 2018) August 12-14, 2018 | Beijing, China | www.sci-cs.net The 1st International Conference on Science of Cyber Security (SciSec 2018) will be held August 12-14, 2018 in Beijing, China. The c...more Feb 22 2018 - 9:16am 6 years 35 weeks ago
Calls for Papers Deadline Extended: 8th International Workshop on Medical Cyber-Physical Systems 8th International Workshop on Medical Cyber-Physical Systems Hosted at Cyber-Physical Systems Week 2018 https://rtg.cis.upenn.edu/mcps-workshop-2018/ April 10, 2018 - Porto, Portugal Call for Papers Medical Cyber-Physical Systems (CPS) encompass a new generation of smart medical systems that i...more Feb 14 2018 - 10:44am 6 years 48 weeks 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 - 5:55pm 6 years 15 weeks 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 - 5:55pm 6 years 15 weeks 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 - 5:55pm 6 years 17 weeks ago
Calls for Papers The Fourth International Workshop on Security in NFV-SDN (SNS2018) 25-29 June, 2018 Montreal, Canada CALL FOR PAPERS The Fourth International Workshop on Security in NFV-SDN (SNS2018) 25-29 June, 2018 | Montreal, Canada | http://computing.derby.ac.uk/sns2018 in conjunction with the IEEE Conference on Network Softwarization (NetSoft 2018) Network Function Virtualization (NFV) and Software Defi...more Feb 8 2018 - 1:30pm 6 years 49 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress USDOT Mobility on Demand Webinar - Standards and Specifications for MOD Upcoming webinar scheduled for Thursday, February 15, presented by the U.S. Department of Transportation and ITS America. This webinar will feature speakers from the Tri-County Metropolitan Transportation District of Oregon (TriMet) and the Vermont Agency of Transportation (VTrans) discussing the de...more Feb 8 2018 - 1:26pm 6 years 49 weeks ago
Calls for Papers CfP: Special Session on "Mixed-Criticality System Design, Implementation and Analysis" (MCSDIA) at DSD 2018 CALL FOR PAPERS Special Session on "Mixed-Criticality System Design, Implementation and Analysis" (MCSDIA) at DSD 2018 Special Session Scope Modern embedded appliances already integrate a multitude of functionalities with potentially different criticality levels into a single system and this tre...more Feb 8 2018 - 1:11pm 6 years 49 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for participation: F1/10 Autonomous Racing @ CPS Week 2018 F1/10 Autonomous Racing returns with an exciting new event in April 2018 at Cyber-Physical Systems Week April 10-11 | CPS Week 2018 | Porto, Portugal | f1tenth.org Participation form submission deadline: Feb 9, 2018 Team participation form: https://docs.google.com/forms/d/e/1FAIpQLSfrOpg1lrpZKm...more Feb 8 2018 - 12:19pm 6 years 49 weeks ago
Calls for Papers CfP: The 16th International Conference on Software Engineering and Formal Methods (SEFM) CALL FOR PAPERS - CALL FOR PAPERS - Extended Deadline March 2, 2018 The 16th International Conference on Software Engineering and Formal Methods (SEFM) will be part of STAF 2018 Toulouse, France | 27-29 June 2018 | https://www.isf.cs.tu-bs.de/cms/events/sefm2018/ The conference aims to bring tog...more Feb 8 2018 - 12:16pm 6 years 46 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Papers, Workshops, Tutorials - ESWEEK 2018 Call for Papers, Workshops, 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 ESWEEK Embedded Systems Week (ESWEEK) is the premier event covering all aspect...more Feb 8 2018 - 12:08pm 6 years 49 weeks ago
Calls for Papers CfP: 25th International Symposium on Model Checking of Software (SPIN 2018) CALL FOR PAPERS 25th International Symposium on Model Checking of Software (SPIN 2018) Malaga, Spain | June 20-22, 2018 | http://spin2018.uma.es/ The 25th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the an...more Feb 8 2018 - 12:05pm 6 years 49 weeks ago
Calls for Papers CFP - ACM/IEEE International Symposium on Low Power Electronics and Design (ISLPED) 2018 CALL FOR PAPERS INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN (ISLPED 2018) http://www.islped.org | Bellevue, Washington, USA | July 23 - 25, 2018 Pending sponsorship by the ACM Special Interest Group on Design Automation (SIGDA) and the IEEE Circuits and Systems Society (CASS). Th...more Feb 6 2018 - 10:51pm 6 years 49 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 - 12:30pm 6 years 44 weeks ago