CPS Community Announcements

Forum Title Content Posted Updatedsort icon
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 2 years 10 weeks 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 2 years 11 weeks 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 2 years 11 weeks 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 2 years 11 weeks 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 2 years 11 weeks 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 2 years 11 weeks 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 2 years 11 weeks 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 2 years 11 weeks 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 2 years 11 weeks 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 2 years 11 weeks 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 2 years 11 weeks 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 2 years 11 weeks 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 2 years 11 weeks 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 2 years 12 weeks 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 2 years 12 weeks 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 2 years 12 weeks 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 2 years 13 weeks 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 2 years 13 weeks 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 2 years 13 weeks 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 2 years 13 weeks 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 2 years 13 weeks 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 2 years 13 weeks 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 2 years 13 weeks 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 2 years 13 weeks 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 2 years 13 weeks 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 2 years 13 weeks 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 2 years 13 weeks 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 2 years 13 weeks 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 2 years 17 weeks 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 2 years 17 weeks 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 2 years 17 weeks 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 2 years 17 weeks 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 2 years 17 weeks 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 2 years 17 weeks 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 2 years 17 weeks 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 2 years 17 weeks 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 2 years 17 weeks 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 2 years 18 weeks 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 2 years 19 weeks 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 2 years 20 weeks 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 2 years 20 weeks 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 2 years 20 weeks 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 2 years 21 weeks ago
Position Announcements CPS Faculty Position at the University of Texas at Arlington Faculty Positions Assistant/Associate Professor The Computer Science and Engineering Department at The University of Texas at Arlington The Computer Science and Engineering Department at The University of Texas at Arlington invites applications for one tenure/tenure-track assistant/associate pro...more Nov 20 2018 - 12:12pm 2 years 21 weeks ago
Calls for Workshops & Tutorials Call for workshop proposals - SMARTCOMP 2019 CALL FOR WORKSHOP PROPOSALS IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP 2019) Washington D.C., (US) | 12-15 June 2019 | http://www.smart-comp.org Continuing the well-established tradition of this series of symposia, SMARTCOMP 2019 will provide an international technical forum for...more Nov 9 2018 - 7:18pm 2 years 23 weeks ago
Position Announcements Faculty position in power and energy CPS at Iowa State University The Department of Electrical and Computer Engineering at Iowa State University invites applications for a tenure- track or tenured faculty position in the area of power and energy systems engineering at the Assistant, Associate, or Full Professor ranks to begin in Fall 2019. Complete details about t...more Nov 4 2018 - 12:33am 2 years 24 weeks ago
Calls for Papers Call for Papers -- ISORC 2019 *** IEEE ISORC 2019 - CALL FOR PAPERS - https://isorc2019.github.io/ *** The 22nd IEEE International Symposium on Real-Time Distributed Computing *** Valencia, Spain, May 7-9, 2019 ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/compon...more Oct 23 2018 - 12:05pm 2 years 25 weeks ago
Calls for Papers CfP: The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40) The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40) Leuven, Belgium | April 29 - May 2, 2019 | http://cs-conferences.acadiau.ca/EDI40-19/ Important Dates Workshops Proposals Due: October 30, 2018 Paper Submission Due: December 6, 2018 Acceptance Notification...more Oct 8 2018 - 9:45am 2 years 28 weeks ago
Calls for Papers ACM HSCC 2019 Final Call for Papers - Deadline Oct. 17 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC) Part of CPS-IoT Week 2019 April 16-18, 2019 | Montreal, Canada | http://hscc2019.eecs.umich.edu/ Scope Hybrid Systems: Computation and Control (HSCC) 2019 is the 22nd in a series of conferences focusing on origin...more Oct 8 2018 - 9:40am 2 years 28 weeks ago
Calls for Papers CfP: OpenModelica/MODPROD Workshops Febr 2019 CALL FOR PAPERS OpenModelica/MODPROD Workshops Febr 2019 In cooperation with IEEE Computer Society Swedish Chapter and INCOSE Sweden Location: Linkoping University, Linkoping, Sweden 13th MODPROD Workshop on Model-Based Cyber-Physical Product Development, February 5-6, 2019 11th OpenMod...more Oct 8 2018 - 9:28am 2 years 28 weeks ago