CPS Community Announcements

Forum Title Content Posted Updatedsort icon
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
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 19 weeks 4 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 19 weeks 5 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 19 weeks 5 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 19 weeks 5 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 19 weeks 5 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 20 weeks 6 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 21 weeks 1 day 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 21 weeks 1 day 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 21 weeks 1 day 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 21 weeks 1 day 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 21 weeks 1 day 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 21 weeks 1 day 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 21 weeks 1 day ago
Calls for Papers CfP: 22nd IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING (ISORC 2019) CALL FOR PAPERS 22nd IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING (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-oriented real-time di...more Jan 28 2019 - 3:27pm 21 weeks 1 day ago
Calls for Papers CfP: 22nd International Workshop on Software and Compilers for Embedded Systems CALL FOR PAPERS 22nd International Workshop on Software and Compilers for Embedded Systems (SCOPES 2019) Sankt Goar (Germany) | May 27th till May 29th, 2019 | https://www.scopesconf.org/scopes-19/ A next edition of the workshop on Software and Compilers for Embedded Systems (SCOPES) will be organ...more Jan 28 2019 - 3:17pm 21 weeks 1 day ago
Calls for Papers CfP: The 9th International Conference on Sustainable Energy Information Technology (SEIT-19) CALL FOR PAPERS The 9th International Conference on Sustainable Energy Information Technology (SEIT-19) Halifax, Canada | August 19-21, 2019 | http://cs-conferences.acadiau.ca/seit-19 Important Dates Workshops Proposals Due: February 15, 2019 Paper Submission Due: March 28, 2019...more Jan 28 2019 - 3:02pm 21 weeks 1 day ago
Calls for Papers CfP: 24th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS2019) CALL FOR PAPERS 24th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS2019) Providence, RI, U.S.A | April 13-17, 2019 | https://asplos-conference.org ASPLOS is the premier forum for multidisciplinary systems research spanning computer ar...more Jan 28 2019 - 2:17pm 21 weeks 1 day ago
General Announcements NYU's Smart Cities Postdoctoral Fellows Smart Cities Postdoctoral Fellows New York University's CUSP, WIRELESS, CCS, VIDA and C2SMART invite applications for the inaugural cohort of NYU's Smart Cities Postdoctoral Fellows. We seek outstanding applicants with a strong record of interdisciplinary work in developing and applying conc...more Jan 22 2019 - 4:43pm 22 weeks 8 hours ago
Position Announcements Precision Medicine Faculty position at the University of California Santa Cruz (Medical CPS) The Department of Electrical and Computer Engineering at the University of California, Santa Cruz invites applications for a tenure track (Assistant Professor) in Precision Medicine. We seek outstanding applicants who have demonstrated research and teaching expertise in one or more areas related to...more Dec 8 2018 - 7:26pm 22 weeks 1 day ago
Calls for Papers CfP: 9th International Conference on the Internet of Things (IoT 2019) CALL FOR PAPERS 9th International Conference on the Internet of Things (IoT 2019) October 22-25th 2018 | Bilbao, Spain | https://iot-conference.org/iot2019 Driven by connected low-cost sensing and actuation and the large host of scientifically and economically relevant application scenarios that...more Jan 21 2019 - 2:48pm 22 weeks 1 day ago
Position Announcements MS and PhD Programs in ECE next to Silicon Valley -- Application window closes on January 22 (PhD) and February 1 (MS)! The Department of Electrical and Computer Engineering at the University of California, Santa Cruz is offering MS and PhD programs with four core tracks: - Electronic Circuits and Energy Systems - Photonics and Electronic Devices - Robotics, Controls, and Cyber-Physical Systems - Signals, Image P...more Jan 20 2019 - 12:25am 22 weeks 3 days ago
Calls for Papers Extended Deadlines - 5th IEEE Intl Conference on Smart Computing (SMARTCOMP-19), Washington D.C. CALL FOR PAPERS - Extended Deadlines 5th IEEE International Conference on Smart Computing (SMARTCOMP) Washington DC, USA | June 12-15, 2019 | http://www.smart-comp.org/ Important Dates Workshop Proposal Submission: 23 November 2018 Notification of Workshop Acceptance: 15 December 2018 Paper Re...more Jan 18 2019 - 4:00pm 22 weeks 4 days ago
Calls for Papers CfP: 2nd IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2019) CALL FOR PAPERS The 2nd IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2019) Taipei, Taiwan | May 6-9, 2019 | http://www.icps19.org IEEE ICPS 2019 is a premier conference series presenting the state of the art and future perspectives of Industrial Cyber-Physical Systems....more Jan 17 2019 - 10:42am 22 weeks 5 days ago
Calls for Papers CfP: IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2019) CALL FOR PAPERS IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2019) May 6-9, 2019 | Taipei, Taiwan | http://icps19.org/ The aim of the IEEE International Conference on Industrial Cyber-Physical Systems and IEEE International Conference on Multisensor Fusion and Integrat...more Jan 17 2019 - 2:52pm 22 weeks 5 days ago
Calls for Papers CfP: 26th Reconfigurable Architectures Workshop (RAW 2019) CALL FOR PAPERS 26th Reconfigurable Architectures Workshop (RAW 2019) May 20-21 2019 | Rio de Janeiro, Brazil | raw.necst.it The 26th Reconfigurable Architectures Workshop (RAW 2019) will be held in Rio the Janeiro, Brazil in May 2019. RAW 2019 is associated with the 33rd Annual IEEE Internationa...more Jan 17 2019 - 2:36pm 22 weeks 5 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Extended Deadline: ACM/IEEE DESTION 2019 CALL FOR PAPERS AND DEMOS Extended Deadline: January 25, AOE, 2019 ACM/IEEE DESTION 2019 CALL FOR PAPERS & DEMOS Design Automation for CPS and IoT (DESTION 2019) April 15, 2019 | Montreal, Canada | https://cps-vo.org/group/DESTION19 part of CPS-IoT Week 2019 Overview: Cyber-Physical Systems (CPS) and Internet-of-T...more Jan 17 2019 - 1:34pm 22 weeks 5 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress VerifyThis Verification Competition @ ETAPS 2019 ACCOUNCEMENT AND CALL FOR PROBLEMS VerifyThis Verification Competition 2019 to be held at ETAPS 2019 Get involved, even if you cannot participate in the competition: provide a challenge! ABOUT THE COMPETITION VerifyThis 2019 will take place as part of the European Joint Conferences on Theory an...more Jan 17 2019 - 12:17pm 22 weeks 5 days ago
Position Announcements Chair in Systems Engineering of Autonomous Vehicles The Department of Systems and Computer Engineering and the Department of Mechanical and Aerospace Engineering at Carleton University (Ottawa, Canada) invite applications from qualified candidates for a Canada Research Chair (CRC) Tier 2 appointment in the field of Systems Engineering of Autonomous V...more Jan 17 2019 - 11:06am 22 weeks 5 days ago
Calls for Papers CfP: 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019) CALL FOR PAPERS 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019) October 28-31, 2019 | Taipei, Taiwan | http://atva2019.iis.sinica.edu.tw/ ATVA 2019 is the 17th in a series of symposia dedicated to the promotion of research on theoretical and practica...more Jan 17 2019 - 11:00am 22 weeks 5 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress CPS&IoT’2019 Summer School on Cyber-Physical Systems and Internet-of-Things CALL FOR PARTICIPATION CPS&IoT'2019 Summer School on Cyber-Physical Systems and Internet-of-Things Budva, Montenegro | June 10-14, 2019 | http://embeddedcomputing.me/en/cps-iot in collaboration with Euromicro, IEEE and MANT collocated with ECYPS 2019 - 7th EUROMICRO/IEEE Workshop on Embedde...more Jan 16 2019 - 1:30pm 22 weeks 6 days ago
Calls for Papers CfP: 7th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS 2019) CALL FOR PAPERS 7th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS 2019) June 10-14, 2019 | Budva, Montenegro | http://embeddedcomputing.me held in the scope of MECO'2019 - the 8th Mediterranean Conference on Embedded Computing Cyber-physical systems (CPS) are smart compou...more Jan 16 2019 - 1:12pm 22 weeks 6 days ago
General Announcements GCTC-SC3 Expo - Announcing Expo Speaking and Exhibit opportunities and Federal Smart City Guide Dear SC3 community, Winter is coming fast in Washington DC, but the National Institute of Standards and Technology (NIST) and the U.S. Department of Homeland Security Science and Technology Directorate (DHS S&T) are working hard to prepare for the upcoming Global City Teams Challenge Smart a...more Jan 16 2019 - 12:41pm 22 weeks 6 days ago
Calls for Papers 4th Int'l Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST@ETAPS) CFP: 4th Int'l Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST@ETAPS) Topic Today's IT systems, and the interactions between them, become increasingly complex. Power grid blackouts, airplane crashes, failures of medical devices and ma...more Dec 20 2018 - 5:35am 26 weeks 5 days ago
Position Announcements UVA Tenured/Tenure Track Open Rank Cyber-Physical Systems The School of Engineering and Applied Science at the University of Virginia seeks innovative and collaborative applicants to join its world class center of research excellence in Cyber-Physical Systems (CPS). Qualified faculty will join the Link Lab (http://linklab.virginia.edu/), where over 30 facu...more Dec 19 2018 - 5:34pm 26 weeks 6 days ago
Calls for Papers CfP: 19th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2019) CALL FOR PAPERS 19th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2019) Aachen, Germany | June 23-28, 2019 | http://www.petrinets2019.de/acsd-2019/ co-located with the 40th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Ne...more Dec 18 2018 - 3:12pm 27 weeks 9 hours ago
Calls for Papers CfP: ANT-2019 Workshop on Activity Recognition in Smart Environements (ARISE) CALL FOR PAPERS ANT-2019 Workshop on Activity Recognition in Smart Environments (ARISE) April 29 - May 2, 2019 | Leuven, Belgium | http://www.uqac.ca/liara/ant19-workshop-arise.htm in conjunction with the The 10th International Conference on Ambient Systems, Networks and Technologies Importants...more Dec 18 2018 - 1:13pm 27 weeks 11 hours ago
Calls for Papers CfP: 3rd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) CALL FOR PAPERS 3rd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) April 22, 2019 | Xi'an - China | http://www.mrtc.mdh.se/ITEQS/2019/ Co-located with the 12th IEEE International Conference on Software Testing, Verification an...more Dec 18 2018 - 12:52pm 27 weeks 11 hours ago
Position Announcements Post-doc Offer : Constraint Programming and Symmetric Cryptography 1 year Post-doc Position on Constraint Programming for Cryptanalysis of Symmetric Encryption Schemes in LIMOS, Clermont-Ferrand, France Your Profile: A PhD in Computer Science, Applied Mathematics, Cryptography or related field. Competitive research record in symmetric cryptography or in constrai...more Dec 18 2018 - 12:43pm 27 weeks 12 hours ago
Calls for Papers CfP: Bx 2019: 8th International Workshop on Bidirectional Transformations (Deadline: Feb. 19) CALL FOR PAPERS (Deadline: Feb. 19) Bx 2019: 8th International Workshop on Bidirectional Transformations (Bx 2019) Philadelphia, PA, USA | http://bx-community.wikidot.com/bx2019:home exact date TBD (some day during 3-7 June 2019) part of Philadelphia Logic Week (PLW) 2019 Bidirectional transfor...more Dec 18 2018 - 12:32pm 27 weeks 12 hours ago
Calls for Papers CfP: SI on Intelligent Embedded Systems Architectures and Applications CALL FOR PAPERS Special Issue on Intelligent Embedded Systems Architectures and Applications (Elsevier Microprocessors and Microsystems) https://www.journals.elsevier.com/microprocessors-and-microsystems/call-for-papers/special-issue-on-intelligent-embedded-systems-architectures The purpose of th...more Dec 18 2018 - 12:26pm 27 weeks 12 hours ago
Position Announcements Faculty position on CPS security and resilience at UGA Security and Resilience for Internet of Things/Cyber-Physical SystemsThe College of Engineering at the University of Georgia is seeking applications for a tenure-track faculty position at the rank of assistant professor, associate professor, or professor with expertise in the area of security and re...more Dec 18 2018 - 12:07pm 27 weeks 12 hours ago
Position Announcements Open Rank Faculty position in socio-technical cybersecurity at the University of Maryland College of Information Studies University of Maryland College of Information Studies Open Rank Tenure / Tenure-Track Faculty (Assistant Professor, Associate Professor, or Professor) Best Consideration Date: 1/4/2019 To Apply: https://ejobs.umd.edu/postings/65528 A socio-technical approach to cybersecurity recognizes that t...more Dec 10 2018 - 12:38pm 28 weeks 1 day ago
Calls for Papers CfP: DESTION 2019 CALL FOR PAPERS The 1st Workshop on Design Automation for CPS (ACM/IEEE DESTION 2019) April 15, 2019 | Montreal, Canada | https://cps-vo.org/group/DESTION19 part of CPS-IoT Week 2019 Overview: Cyber-Physical Systems (CPS) such as autonomous vehicles, industrial robots, and medical devices, pr...more Dec 7 2018 - 4:45pm 28 weeks 4 days ago
Calls for Papers CFP:   SCOPE 2019 with GCTC - Co-located with CPSWeek 2019  4th International Science of Smart City Operations and Platforms Engineering SCOPE 2019 with GCTC Co-located with CPSWeek 2019 in Montreal, Canada   Theme: Trustworthy Analytics and Privacy and Smart City Applications   Smart cities have emerged as a priority for Cyber-Physical Systems (CPS)...more Nov 29 2018 - 5:41pm 29 weeks 5 days ago
Calls for Papers CfP: The Third IEEE International Workshop on Exploitation of Hardware Accelerators (WHEA 2014) - Deadline extension The Third IEEE International Workshop on Exploitation of Hardware Accelerators July 21-25, 2014 Bologna, IThttp://hpcs2014.cisedu.info/2-conference/workshops/workshop-03-weha held in conjunction with IEEE HPCS 2014Call For Papers The hardware accelerators (GPUs, co-Processors, FPGAs, ...) have...more Mar 26 2014 - 11:04am 29 weeks 6 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Solutions -- Transformation Tool Contest 2014 7th Transformation Tool Contest 2014. http://www.transformation-tool-contest.eu 25th July 2014 York, United Kingdom. Part of STAF 2014 (https://www.cs.york.ac.uk/staf/) ** Call for Solutions ** The 2014 Transformation Tool Contest (TTC) seeks your solutions to two challengi...more Mar 26 2014 - 1:58pm 29 weeks 6 days ago
Calls for Papers Call for papers: Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, CPSWeek, Montreal, 2019 " src="blob:https://cps-vo.org/3786d3db-06b2-4dfc-87be-56a5e8362f7e" style="opacity:1"> Call for Papers MSCPES 2019 Montreal, CANADA April 15th, 2019. Apologies if you receive multiple copies of this CFP. The workshop series on Modeling and Simulation of Cyber-Physical Energy Sy...more Nov 27 2018 - 3:29pm 30 weeks 9 hours ago
Position Announcements Post-doc position on human-system partnership (TUDelft) Faculty Industrial Design Engineering The faculty of Industrial Design Engineering at the Delft University of Technology, the Netherlands, is the largest and broadest scientific design institute in the world, with over 2,000 students, more than 6,000 alumni and 300 staff (researchers and lecturers,...more Nov 21 2018 - 10:52am 30 weeks 6 days ago