CPS Community Announcements

Announcements

Cyber-Physical Systems Virtual Organization

Fostering collaboration among CPS professionals in academia, government, and industry

CPS Community Announcements

Forum	Title	Content	Posted	Updated
Calls for Papers	Call for Contributions – MODELS 2019 Satellite Events	Call for Contributions - MODELS 2019 Satellite Events MODELS 2019: ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems 15-20 September 2019 Munich, Germany \| http://www.modelsconference.org/ MODELS, the ACM/IEEE 22th International Conference on Model Driven En...more	May 22 2019 - 1:11pm	14 hours 13 min ago
Calls for Papers	CFP: Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018)	Call for papers for the Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018) - Paper submission deadline: July 1st (midnight, Central European Time) - Author notification: August 31st - WESE web page: http://www.wese2018.org -Venue: Part of the Embedded Systems Week in Turi...more	Jun 18 2018 - 11:29pm	1 week 2 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress	[GCTC/SC3] Expo registration and deadlines, Smart Buildings SuperCluster, Procurement Opportunity, Webinar	GCTC/SC3 Expo registration and deadlines, Smart Buildings SuperCluster, Challenge-based Procurement Opportunity, U.S. Commercial Service Webinar Dear GCTC/SC3 community, So far, over 60 action clusters have been accepted and offered to speak and exhibit at the upcoming GCTC/SC3 Expo. Off...more	May 2 2019 - 12:05pm	2 weeks 6 days ago
Calls for Papers	CfP Deadline Approaching: 5th ACM Cyber-Physical System Security Workshop	CALL FOR PAPERS - Deadline Approaching 5th ACM Cyber-Physical System Security Workshop Auckland, New Zealand \| http://jianying.space/cpss/CPSS2019/ Held in conjunction with ACM AsiaCCS'19 Important Dates Submission due: March 10, 2019 Notification: April 10, 2019 Camera-ready due: Ap...more	Apr 24 2019 - 1:15pm	4 weeks 14 hours ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress	[PhD Schools Announcements] EXTENDED DEADLINE: 2019 PhD School series at U. Padua, Italy - Cybersecurity of Future Internet, Blo	Dear Colleagues, We are pleased to announce the "2019 International Summer Schools on Cyber Security" (https://spritz.math.unipd.it/events/2019/PIU2019/PagesOutput/) that will take place at the University of Padua, Italy. The schools are supported by the CINI Cyber Security National Lab. The schoo...more	Apr 19 2019 - 1:59am	4 weeks 6 days ago
Calls for Papers	CfP: 10th Conference on Decision and Game Theory for Security (GameSec 2019)	CALL FOR PAPERS 10th Conference on Decision and Game Theory for Security - GameSec 2019 October 30 - November 1 Stockholm, Sweden All information including submission instructions are at https://gamesec-conf.org IMPORTANT DATES Abstract submission: 27 May 2019 Paper submission: 3 June 2...more	Apr 17 2019 - 10:16am	5 weeks 17 hours ago
Position Announcements	Fully-funded PhD position at Inria Lille (France)	Dear colleagues, We are hiring a PhD student on a fully-funded position at the Inria Lille team Spirals (https://team.inria.fr/spirals/) to work on the Design of correct-by-construction self-adaptive cloud applications using formal methods. Applications should be submitted at the Inria jobs websi...more	Apr 16 2019 - 12:01pm	5 weeks 1 day ago
Position Announcements	PhD position: Formal methods in control (Munich, Germany)	We invite applications for a doctoral researcher position in the field of formal methods in control. The successful candidate is expected to advance the state of the art of abstraction-based synthesis and verification, to facilitate routine and efficient application of the approach to nonlinear cont...more	Apr 16 2019 - 11:55am	5 weeks 1 day ago
Position Announcements	Postdoctoral Research Position in Medical Cyber-Physical Systems at UVA Link Lab	Postdoctoral Research Fellow Opportunity: The Department of Computer Science and the Department of Electrical and Computer Engineering in the School of Engineering and Applied Science at the University of Virginia seek to hire a postdoctoral research fellow to support the faculty and students in the...more	Mar 23 2019 - 10:49pm	5 weeks 2 days ago
Calls for Papers	CFP: 1st International Workshop on Formal Techniques for Dependable Autonomous Systems (FT4DAS 2019)	===================================================================== FT4DAS 2019 https://ft4das.github.io 1st International Workshop on Formal Techniques for Dependable Autonomous Systems S...more	Apr 10 2019 - 4:21pm	6 weeks 11 hours ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress	Call for Special Sessions: Resilience Week 2019	CALL FOR SPECIAL SESSIONS - Deadline Approaching Quickly! Resilience Week 2019 Submission Due: APRIL 22 Acceptance Notification: APRIL 29 Large disasters may ripple across cities, regions or even nationally through interconnected critical infrastructure systems. Right now, many of those connecti...more	Apr 2 2019 - 11:12am	7 weeks 1 day ago
Calls for Workshops & Tutorials	HSB 2019 - 6th Intl Workshop on Hybrid Systems and Biology (with ETAPS 2019) - Call for participation	[Apologies for multiple copies.] ========================================================================= CALL FOR PARTICIPATION HSB 2019: 6th International Workshop on Hybrid Systems and Biologyhttps://hsb2019.fit.vutbr.cz/ April 6-7, Prague, Czech Republic. Co-located with ETAPS 2019. ======...more	Mar 17 2019 - 3:03pm	9 weeks 3 days ago
Position Announcements	Fully-funded PhD positions available at Royal Holloway, University of London - Computer Science and Information Security	Applications are invited for the following PhD opportunities at Royal Holloway for AY 19/20: - Two fully-funded PhD studentships in the Department of Computer Science. Apply by 29 April 2019. More information available at https://www.royalholloway.ac.uk/research-and-teaching/departments-and-schools...more	Mar 14 2019 - 7:09am	9 weeks 6 days ago
Calls for Workshops & Tutorials	[CPS-Sec 2019] CFP - IEEE International Workshop on Cyber-Physical Systems Security - Deadline Extended	CPS-Sec 2019 - CALL FOR PAPERS ================================================================= IEEE International Workshop on Cyber-Physical Systems Security (CPS-Sec)https://cns2019.ieee-cns.org/workshop/cps-sec-international-workshop-cyber-physical-systems-security will be held in conjunction...more	Feb 18 2019 - 8:27am	11 weeks 22 hours ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress	Travel award available to participate for CPS-IOT Week 2019	Travel awards (funded by NSF) are available to enable students to participate in CPS-IoT Week 2019. Link to the conference: http://cpslab.cs.mcgill.ca/cpsiotweek2019/ Link to the travel award information: http://cpslab.cs.mcgill.ca/cpsiotweek2019/recruitment_flyer.pdf Paper at a conference is n...more	Feb 20 2019 - 11:25am	13 weeks 15 hours ago
Calls for Papers	CfP: 14th International Conference on Networking, Architecture, and Storage (NAS 2019)	CALL FOR PAPERS 14th International Conference on Networking, Architecture, and Storage (NAS 2019) NAS provides a high-quality international forum to bring together researchers and practitioners from academia and industry to discuss cutting-edge research on networking, high-performance computer arc...more	Feb 18 2019 - 3:35pm	13 weeks 2 days ago
Calls for Papers	CfP: 27th International Conference on Real-Time Networks and Systems (RTNS 2019)	CALL FOR PAPERS - Paper submission: April 30, 2019 27th International Conference on Real-Time Networks and Systems (RTNS 2019) November 6-8, 2019 \| Toulouse/France \| https://www.irit.fr/rtns2019 RTNS is a friendly and inclusive conference with a great sense of community that presents excellent op...more	Feb 18 2019 - 3:26pm	13 weeks 2 days ago
Calls for Papers	CfP: ESWEEK	CALL FOR PAPERS Embedded Systems Week (ESWEEK) CASES * CODES+ISSS * EMSOFT * IoMT * Symposia * Workshops * Tutorials October 13 - 18, 2019 \| New York City, USA \| https://esweek.org Embedded Systems Week (ESWEEK) is the premier event covering all aspects of embedded systems and software. By bring...more	Feb 18 2019 - 2:08pm	13 weeks 2 days ago
Calls for Papers	CfP: 13th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2019)	CALL FOR PAPERS 13th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2019) Oct 7-9, 2019 \| Porto, Portugal \| http://vecos-world.org/2019/ The aim of the VECoS conference is to bring together researchers and practitioners, in the areas of verifi...more	Feb 18 2019 - 1:53pm	13 weeks 2 days ago
Calls for Papers	CfP: 38th International Conference on Computer Safety, Reliability and Security (SafeComp 2019)	CALL FOR PAPERS 38th International Conference on Computer Safety, Reliability and Security (SafeComp 2019) Turku, Finland \| 10 - 13 September 2019 \| https://conferences.ncl.ac.uk/safecomp2019/ SAFECOMP was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Comm...more	Feb 14 2019 - 3:43pm	13 weeks 6 days ago
Calls for Papers	CfP: Intelligent Systems Conference (IntelliSys 2019)	Call for Papers Intelligent Systems Conference (IntelliSys 2019) 5-6 September 2019 \| London, United Kingdom \| http://saiconference.com/IntelliSys IntelliSys 2019 will focus in areas of intelligent systems and artificial intelligence and how it applies to the real world. IntelliSys provides a lea...more	Feb 14 2019 - 2:57pm	13 weeks 6 days ago
Calls for Papers	CfP: 32nd IEEE International System-on-Chip Conference (SOCC 2019)	CALL FOR PAPERS 32nd IEEE International System-on-Chip Conference (SOCC 2019) September 3-6, 2019 \| Singapore \| https://www.ieee-socc.org/ Multibillion transistor System on Chip (SoC) devices, comprised of RF, analog, optical, digital and Micro- Electro-Mechanical Systems (MEMS), are integral par...more	Feb 14 2019 - 2:43pm	13 weeks 6 days ago
Calls for Papers	CfP: 24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019)	CALL FOR PAPERS 24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019) Zaragoza, Spain \| September 10th - 13th, 2019 \| http://www.etfa2019.org Sponsored by: IEEE Industrial Electronics Society (IES) and Aragon Institute for Engineering Research (I3A) Aim: The E...more	Feb 14 2019 - 2:27pm	13 weeks 6 days ago
Calls for Papers	CfP: The 30th International Conference on Concurrency Theory (CONCUR 2019)	The 30th International Conference on Concurrency Theory (CONCUR 2019) The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. Invited speakers Marta Kwiatkowska - University of...more	Feb 14 2019 - 2:07pm	13 weeks 6 days ago
Position Announcements	Call for Applications - Doctoral College on Resilient Embedded Systems	************************************************************************** CALL FOR 4-YEARS FUNDED DOCTORAL POSITIONS DOCTORAL PROGRAM ON RESILIENT EMBEDDED SYSTEMS *************************************************************************** Website: http://www.informatik.tuwien.ac.at/teac...more	Feb 14 2019 - 1:49pm	13 weeks 6 days ago
Calls for Papers	Cfp: IEEE Transactions on Industrial Informatics Special Section on Cyber-Physical	CALL FOR PAPERS IEEE Transactions on Industrial Informatics Special Section on Cyber-Physical Security in Industrial Environments Timetable: Deadline for manuscript submissions: May 1, 2019 Expected publication date (tentative): October 2019Overview "Smart" is slowly becoming a concept that inf...more	Feb 14 2019 - 1:47pm	13 weeks 6 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress	Call for Participation: DATE Workshop on Autonomous Systems Design (ASD 2019)	CALL FOR PARTICIPATION DATE Workshop on Autonomous Systems Design (ASD 2019) 29 March 2019 \| Florence, Italy \| http://asd2019.userweb.mwn.de co-located with the conference DATE 2019 ASD 2019 is the 1st international workshop on Autonomous Systems Design. The goal of the workshop is to explore r...more	Feb 14 2019 - 1:37pm	13 weeks 6 days ago
Calls for Papers	CfP: The 15th IEEE International Conference on Embedded Software and Systems (ICESS 2019)	CALL FOR PAPERS The 15th IEEE International Conference on Embedded Software and Systems (ICESS 2019) Las Vegas Convention Center, Nevada, United States \| June 2-3, 2019 \| http://lcs.ios.ac.cn/icess2019/ Co-located with DAC 2019 (participants can access DAC Keynotes, Exhibits and Receptions)...more	Feb 12 2019 - 4:57pm	14 weeks 1 day ago
Position Announcements	PhD positions available at George Mason University (Controls, brain-computer interface, healthcare)	Applications are invited for PhD positions at the Algorithms in Medicine and Neuro-Technology Lab (AIMAN Lab) in the Department of Mechanical Engineering at George Mason University, Fairfax, VA. Research The AIMAN Lab pursues fundamental breakthroughs in biomedical cyber-physical systems. The...more	Feb 8 2019 - 11:58pm	14 weeks 5 days ago
Calls for Papers	CfP: 22nd Euromicro Conference on Digital System Design (DSD 2019)	CALL FOR PAPERS 22nd Euromicro Conference on Digital System Design (DSD 2019) August 28 - 30, 2019 \| Kallithea, Chalkidiki, Greece \| http://dsd-seaa2019.csd.auth.gr/dsd/index.html The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-perfor...more	Feb 8 2019 - 5:24pm	14 weeks 5 days ago
Calls for Papers	CfP: 26th Static Analysis Symposium	CALL FOR PAPERS 26th Static Analysis Symposium Part of the 3rd World Congress on Formal Methods Important Dates Paper Submission - Thursday, April 18, 2019 Artifact Submission - Thursday, April 25, 2019 Notification - Friday, June 14, 2019 Conference - Wednesday-Friday, October 9-11, 2019 All...more	Feb 8 2019 - 5:32pm	14 weeks 5 days ago
Calls for Papers	CfP: The 14th International Conference on Future Networks and Communications (FNC 2019)	The 14th International Conference on Future Networks and Communications (FNC 2019) August 19-21, 2019 \| Halifax, Nova Scotia, Canada \| http://cs-conferences.acadiau.ca/fnc-19/ Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technologi...more	Feb 8 2019 - 5:00pm	14 weeks 5 days ago
Calls for Papers	CfP: 2nd International Conference on Science of Cyber Security (SciSec'2019)	CALL FOR PAPERS 2nd International Conference on Science of Cyber Security (SciSec'2019) August 09-11, 2019 \| Nanjing, China \| www.sci-cs.net The conference is organized by the Nanjing University of Posts and Telecommunications. This new forum aims to catalyze the research collaborations between t...more	Feb 8 2019 - 4:54pm	14 weeks 5 days ago
Calls for Papers	CfP: The Fifteenth Symposium on Usable Privacy and Security (SOUPS 2019)	CALL FOR PAPERS The Fifteenth Symposium on Usable Privacy and Security (SOUPS 2019) August 11-13, 2019 \| Santa Clara, CA \| https://www.usenix.org/conference/soups2019 In cooperation with USENIX, the Advanced Computing Systems Association SOUPS 2019 will bring together an interdisciplinary group...more	Feb 8 2019 - 4:41pm	14 weeks 5 days ago
Calls for Papers	CfP: 16th International Conference on Informatics in Control, Automation and Robotics (ICINCO)	CALL FOR PAPERS 16th International Conference on Informatics in Control, Automation and Robotics (ICINCO) July 29-31, 2019 \| Prague, Czech Republic \| http://www.icinco.org Important Dates Conference Regular Papers Paper Submission: February 28, 2019 Authors Notification: May 2, 2019 Camera...more	Feb 8 2019 - 3:10pm	14 weeks 5 days ago
Calls for Papers	CfP: 9th International Conference on Pervasive and Embedded Computing and Communication Systems	CALL FOR PAPERS 9th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2019) September 19-20, 2019 \| Vienna, Austria \| http://www.peccs.org Pervasive and embedded computing and communication is a paradigm that aims at providing trustworthy computing solu...more	Feb 8 2019 - 1:18pm	14 weeks 5 days ago
Calls for Papers	Call for Papers - SAMOS XIX	CALL FOR PAPERS - * PAPER SUBMISSION DEADLINE: MARCH 1, 2019 * International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIX) July 7-11, 2019 \| Samos Islands, Greece \| http://samos-conference.com SAMOS is a unique conference. It deals with embedded...more	Feb 7 2019 - 2:38pm	14 weeks 6 days ago
Calls for Papers	CfP: PETRA 2019	CALL FOR PAPERS PErvasive Technologies Related to Assistive Environments (PETRA) June 5-7, 2019 \| Rhodes, Greece \| http://www.petrae.org The PErvasive Technologies Related to Assistive Environments (PETRA) conference is a highly interdisciplinary conference that focuses on computational and engi...more	Feb 7 2019 - 12:53pm	14 weeks 6 days ago
Calls for Papers	Call for Position Papers: 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems	CALL FOR POSITION PAPERS 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems (NGOSCPS): On Beyond POSIX at CPS-IoT Week 2019, in Montreal, Canada \| https://www.cse.wustl.edu/~cdgill/ngoscps2019/ IMPORTANT DATES Position paper submission deadline: Monday,...more	Feb 7 2019 - 12:25pm	14 weeks 6 days ago
Calls for Papers	Extended Deadline: MeTRiD 2019 (ETAPS 2019 satellite workshop)	Papers submission: 11 February 2019 (extended) CALL FOR PAPERS 2ND International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2019) Prague, Czech Republic\| 6 April 2019https://conf.researchr.org/track/etaps-2019/metrid-2019-papers \| https://project.inria.fr/metrid/ satel...more	Feb 7 2019 - 11:59am	14 weeks 6 days ago