CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Papers ISORC CFP CALL FOR PAPERS The 22nd IEEE International Symposium on Real-Time Distributed Computing (IEEE ISORC 2019) Valencia, Spain, May 7-9, 2019 | https://isorc2019.github.io/ ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/component/service-...more Nov 30 2018 - 1:42pm 12 weeks 5 days ago
Calls for Papers CyPhy'19 Call for Papers Model-Based Design of Cyber-Physical Systems (CyPhy'19) is the ninth instance of a workshop that takes a broad interpretation of the area and aims to facilitate the timely consolidation and sharing of new knowledge from diverse disciplines. Cyber-physical systems (CPSs) combine computing and network...more May 27 2019 - 4:31pm 12 weeks 6 days ago
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 13 weeks 3 days 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 14 weeks 6 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 16 weeks 3 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 17 weeks 4 days 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 18 weeks 2 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 18 weeks 4 days 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 18 weeks 5 days 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 18 weeks 5 days 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 18 weeks 6 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 19 weeks 4 days 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 20 weeks 5 days 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 23 weeks 1 hour 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 23 weeks 3 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 24 weeks 4 days 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 26 weeks 4 days 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 26 weeks 6 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 26 weeks 6 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 26 weeks 6 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 26 weeks 6 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 27 weeks 3 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 27 weeks 3 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 27 weeks 3 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 27 weeks 3 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 27 weeks 3 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 27 weeks 3 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 27 weeks 3 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 27 weeks 3 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 27 weeks 4 days 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 28 weeks 1 day 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 28 weeks 1 day 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 28 weeks 1 day 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 28 weeks 1 day 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 28 weeks 2 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 28 weeks 2 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 28 weeks 2 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 28 weeks 2 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 28 weeks 3 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 28 weeks 3 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 28 weeks 3 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 28 weeks 3 days ago
Calls for Papers CfP:12th International Conference on Graph Transformation (ICGT 2019) 12th International Conference on Graph Transformation (ICGT 2019) Jul 15, 2019 - Jul 19, 2019 | Eindhoven (The Netherlands) | https://sites.google.com/site/icgt2019/ Part of STAF 2019 Aims and Scope Dynamic structures are a major cause for complexity when it comes to model and reason about sys...more Jan 30 2019 - 3:47pm 29 weeks 4 days ago
Calls for Papers CfP: 24th International Symposium on Model Checking of Software (SPIN 2019) CALL FOR PAPERS 24th International Symposium on Model Checking of Software (SPIN 2019) Beijing, China | July 15-19, 2019 | https://conf.researchr.org/home/spin-2019 Co-located with ISSTA 2019 The 26th edition of the SPIN symposium aims at bringing together researchers and practitioners intereste...more Jan 28 2019 - 5:55pm 29 weeks 5 days ago
Calls for Papers CfP: LCTES 2019 Languages, Compilers, Tools and Theory of Embedded Systems LCTES 2019 Languages, Compilers, Tools and Theory of Embedded Systems Sat 22 - Fri 28 June 2019 | Phoenix, Arizona, United States | https://conf.researchr.org/home/LCTES-2019 Embedded system design faces many challenges both with respect to functional requirements and nonfunctional requirements. T...more Jan 28 2019 - 5:46pm 29 weeks 5 days ago
Calls for Papers CfP: The 24th International Conference on Reliable Software Technologies - Ada-Europe 2019 CALL FOR PAPERS The 24th International Conference on Reliable Software Technologies - Ada-Europe 2019 10-14 June 2019 | Warsaw, Poland | http://ae2019.edc.pl/ Important dates 28 January 2019 Submission of regular papers, industrial presentation outlines, tutorial and workshop proposals 1 Marc...more Jan 28 2019 - 5:37pm 29 weeks 5 days ago
Calls for Papers CfP: International Federated Conference on Distributed Computing Techniques (DisCoTec 2019) CALL FOR PAPERS 14th International Federated Conference on Distributed Computing Techniques (DisCoTec 2019) Jun 18, 2019 - Jun 21, 2019 | Kongens Lyngby, Denmark | http://www.discotec.org/2019/ DisCoTec 2019 is one of the major events sponsored by the International Federation for Information Pr...more Jan 28 2019 - 5:26pm 29 weeks 5 days ago
Calls for Papers CfP: IEEE Global IoT Summit (GIoTS 2019) CALL FOR PAPERS IEEE Global IoT Summit (GIoTS 2019) Aarhus, Denmark | June 17-21, 2019 | https://www.globaliotsummit.org/ COLLOCATED WITH IOT WEEK 2019 IEEE Global IoT Summit (GIoTS) is a scientific conference that presents scientific papers on the most recent IoT research results with the aim t...more Jan 28 2019 - 4:44pm 29 weeks 6 days ago
Calls for Papers CfP: 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019) CALL FOR PAPERS 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019) Montreal, Canada | May 25 - 26, 2019 | https://conf.researchr.org/home/seams-2019 colocated with ICSE 2019 Important Dates AoE (UTC-12h) Fri 18 Jan 2019 - Abstract submissio...more Jan 28 2019 - 4:09pm 29 weeks 6 days ago
Calls for Papers CfP: 1st International Workshop on Smart Manufacturing Modeling and Analysis [SM²N] CALL FOR PAPERS 1st International Workshop on Smart Manufacturing Modeling and Analysis [SM2N] April 15, 2019 | Montreal, Canada | https://synercys.github.io/sm2n/ Co-located with the Cyber-Physical Systems and Internet-of-Things Week (CPS-IoT Week) Today's manufacturing paradigm is in the mids...more Jan 28 2019 - 1:56pm 29 weeks 6 days ago