CPS Community Announcements

Forum Title Content Postedsort icon Updated
Calls for Papers CfP: CyPhy '19 - Extended Deadline CALL FOR PAPERS - Extended Deadline Model-Based Design of Cyber-Physical Systems (CyPhy'19) CyPhy'19 will be held as part of ESWeek in NYC, NY. The conference will take place at the Kimmel Center for University Life. Model-Based Design of Cyber-Physical Systems (CyPhy'19) is the ninth instance o...more Jun 20 2019 - 10:10am 5 days 14 hours ago
Position Announcements Post-doctoral Fellow in Embedded Information Processing The research group on Computer Engineering (https://www.tec.ee.ethz.ch) at ETH Zurich (Swiss Federal Institute of Technology, https://www.ethz.ch/de.html) has an opening for a post-doctoral fellow. The position is devoted to scientific research in the area of embedded information processing, in par...more Jun 20 2019 - 10:05am 5 days 14 hours ago
Calls for Papers (EXTENDED DEADLINE) Call for Papers: CyPhy’19 Call for Papers -- Extended Deadline The Ninth International Workshop on Model-Based Design of Cyber-Physical Systems (CyPhy'19) October 17-18th, 2019 | New York, NY | www.cyphy.orgPart of ESWeek (www.esweek.org) in NYC, NY. The conference will take place at the Kimmel Center for University Life....more Jun 17 2019 - 3:28pm 9 hours 46 min ago
Calls for Papers (EXTENDED DEADLINE) Call for Papers: ICFEM'2019 CALL FOR PAPERS ICFEM'2019http://csse.szu.edu.cn/icfem2019/index.html 21st International Conference on Formal Engineering Methods (ICFEM 2019) November 5th-9th | Shenzhen, China | http://csse.szu.edu.cn/icfem2019/ SUBMISSION WEBSITE https://easychair.org/conferences/?conf=icfem2019 IMPORT...more Jun 17 2019 - 3:13pm 9 hours 50 min ago
Calls for Papers The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019) CALL FOR PAPERS The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019) San Diego, USA | October 9-11, 2019 | https://memocode.github.io/2019 OVERVIEW Over the last decade, the boundaries between computer system components, such as hardware, soft...more Jun 17 2019 - 12:23pm 9 hours 15 min ago
General Announcements 40th Summer School of Automatic Control 40th Summer School of Automatic Control special topic on Control of Computing Systems Grenoble, France September, 09-13, 2019 More informations at http://www.gipsa-lab.fr/summerschool/auto2019/home.html Important dates For administrative reasons, registration takes place in 2 steps: pre-reg...more Jun 14 2019 - 3:34pm 9 hours 24 min ago
Position Announcements Post-doctoral Fellow in Embedded Information Processing Post-doctoral Fellow in Embedded Information Processing The research group on Computer Engineering (https://www.tec.ee.ethz.ch) at ETH Zurich (Swiss Federal Institute of Technology, https://www.ethz.ch) has an opening for a post-doctoral fellow. The position is devoted to scientific research in th...more Jun 14 2019 - 3:02pm 9 hours 29 min ago
Calls for Papers IEEE Vehicular Technology Magazine Special Issue on Communications Support for Unmanned Air Transportation CALL FOR ARTICLES IEEE Vehicular Technology Magazine Special Issue on Communications Support for Unmanned Air Transportation During the past few years, unmanned air transportation has come to the forefront of aviation research. Aviation authorities around the world have been making progress...more Jun 12 2019 - 10:35am 1 week 6 days ago
Position Announcements Post-doctoral Fellow in Embedded Information Processing The research group on Computer Engineering (https://www.tec.ee.ethz.ch/) at ETH Zurich (Swiss Federal Institute of Technology, https://www.ethz.ch/de.html) has an opening for a post-doctoral fellow. The position is devoted to scientific research in the area of embedded information processing, in pa...more Jun 12 2019 - 10:23am 1 week 6 days ago
Calls for Papers IEEE VTS Workshop on Drones: Swarm Intelligence: Autonomous and Connected Unmanned Aircraft Systems Second IEEE VTS Workshop on Drones Swarm Intelligence: Autonomous and Connected Unmanned Aircraft Systems In conjunction with 2019 IEEE 90th Vehicular Technology Conference VTC2019-Fall 22-25 September 2019, Honolulu, Hawaii, USA IEEE Vehicular Technology Society (VTS) recently created an ad ho...more Jun 12 2019 - 10:19am 1 week 6 days ago
Calls for Papers HEALTH Call for Papers: Special Issue on Wearable Technologies for Smart Health CALL FOR PAPERS ACM Transactions Computing for Healthcare Special Issue on Wearable Technologies for Smart Health Guest Editors: David Kotz, Dartmouth College, USA Guoliang Xing, The Chinese University of Hong Kong Wearable consumer products such as smart watches, fitness trackers and head-moun...more Jun 4 2019 - 9:26am 3 weeks 14 hours ago
Position Announcements PostDoc position on "Real-Time Memory Management in Latest-generation CPU+FPGA SoCs" (TUM Munich, Germany) Brief Info: Institute: Chair of Cyber Physical Systems in Production Engineering, Technical University of Munich. (See http://www.professoren.tum.de/en/caccamo-marco/ ) We are currently looking for motivated a Post-doctoral researcher who would like to work at TUM, Munich in collaboration with...more Jun 4 2019 - 9:18am 3 weeks 14 hours ago
Calls for Papers Call for Submissions: Resilience Week 2019 CALL FOR SUBMISSIONS - EXTENDED to JULY 1 Resilience Week 2019 Call for Special Sessions Submissions due: April 22 Acceptance notification: April 29 Call for Papers & White papers/Lightning Talks Submissions due: June 3 July 1 EXTENDED Acceptance notification: September 9 Final sub...more Jun 3 2019 - 10:07am 3 weeks 1 day ago
Calls for Papers CS for Social Good White Paper Competition CS for Social Good White Paper Competition by Helen Wright The Computing Community Consortium (CCC), in conjunction with Schmidt Futures, will sponsor and administer a white paper competition on the future of "CS for Social Good," in order to harness CS to address societal challenges such as: Acc...more May 28 2019 - 2:15pm 4 weeks 9 hours 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 4 weeks 1 day ago
General Announcements The best Packing Tricks for the Perfect Relocation Packing should be done properly if you want the best moving without the damages. There is no doubt that many things are there to be taken care of to make the transit perfect. But if the goods are not properly organized and packed, then no matter how the rest things will be, the problems you have to...more May 24 2019 - 6:19am 4 weeks 4 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 4 weeks 5 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 7 weeks 5 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 8 weeks 6 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 9 weeks 4 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 9 weeks 6 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 10 weeks 12 hours 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 10 weeks 12 hours 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 10 weeks 6 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 12 weeks 13 hours 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 10 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 14 weeks 2 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 14 weeks 5 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 17 weeks 6 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 18 weeks 1 day 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 18 weeks 1 day 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 18 weeks 1 day 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 18 weeks 1 day 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 15 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 18 weeks 5 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 18 weeks 5 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 18 weeks 5 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 18 weeks 5 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 18 weeks 5 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 18 weeks 5 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 18 weeks 5 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 18 weeks 5 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 19 weeks 4 hours 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 19 weeks 4 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 19 weeks 4 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 19 weeks 4 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 19 weeks 4 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 19 weeks 4 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 19 weeks 4 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 19 weeks 4 days ago