CPS Community Announcements

Forum Title Content Postedsort icon Updated
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...more Jan 18 2019 - 4:00pm 5 years 46 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 5 years 46 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 5 years 46 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 5 years 46 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 5 years 46 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 5 years 46 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 5 years 46 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 5 years 46 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 5 years 46 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 5 years 46 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 5 years 46 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...more Dec 20 2018 - 5:35am 5 years 50 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 5 years 50 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 5 years 50 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 5 years 50 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 5 years 50 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 constr...more Dec 18 2018 - 12:43pm 5 years 50 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 5 years 50 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 5 years 50 weeks ago
Position Announcements Faculty position on CPS security and resilience at UGA Security and Resilience for Internet of Things/Cyber-Physical Systems The 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...more Dec 18 2018 - 12:07pm 5 years 50 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 5 years 51 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 5 years 45 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 5 years 52 weeks ago
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 5 years 27 weeks 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 5 years 13 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 6 years 1 week 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 6 years 2 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 6 years 2 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 6 years 3 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 6 years 4 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/comp...more Oct 23 2018 - 12:05pm 6 years 6 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 Notificati...more Oct 8 2018 - 9:45am 6 years 8 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 6 years 8 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 OpenM...more Oct 8 2018 - 9:28am 6 years 8 weeks ago
Calls for Workshops & Tutorials Call for Workshops Proposals in conjonction with ANT-19 CALL FOR WORKSHOP PROPOSALS The 9th International Conference on Ambient Systems, Networks and Technologies (ANT-2019) Leuven, Belgium | April 29- May 2, 2019 | http://cs-conferences.acadiau.ca/ant-19/#workshop Important Dates Workshop Proposal Due: October 30, 2018 Paper Submission: ~ Decembe...more Oct 8 2018 - 9:21am 6 years 8 weeks ago
Calls for Papers CfP: The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019) CALL FOR PAPERS The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019) 18-21 June, 2019 | Valencia, Spain | https://eics.acm.org/2019/ EICS 2019 is the eleventh international conference devoted to engineering usable and effective interactive computing systems. Work...more Oct 3 2018 - 3:59pm 6 years 9 weeks ago
Position Announcements Research scientist (including tenured-track) positions available at CISTER-Labs We have at CISTER Labs a number of research scientist positions available, including a tenured-track position. All positions are in the areas of real-time & embedded computing systems, cyber-physical systems, internet of things, etc. Deadlines for applications are already early October, and det...more Oct 3 2018 - 3:05pm 6 years 9 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress 2018 ACM SIGAI Student Essay Contest on Artificial Intelligence Technologies Win one of several $500 monetary prizes or a Skype conversation with a leading AI researcher, including Joanna Bryson, Murray Campbell, Eric Horvitz, Peter Norvig, Iyad Rahwan, Francesca Rossi, or Toby Walsh. The ACM Special Interest Group on Artificial Intelligence (ACM SIGAI) supports the develop...more Oct 3 2018 - 3:04pm 6 years 9 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress SYNCHRON 2018 Open Workshop, 26-30 Nov. Fréjus : Registrations are open Registrations are open ! SYNCHRON 2018 https://project.inria.fr/synchron2018/ | Villa Clythia, Frejus, FRANCE | November 26th to 30th, 2018 The 25th International Open Workshop on Synchronous Programming and related technologies will be held this year in France, in the "Villa Clythia" CNRS resort...more Oct 3 2018 - 3:02pm 6 years 9 weeks ago
Position Announcements Software Engineer Position: Embedded Operating System Development Title Integrating Sytare persistence support in the RIOT operating system Keywords Embedded Software, Microcontroller, Energy Harvesting, Checkpointing Location CITI laboratory, INSA Lyon, France Funding 2-year INRIA contract (starting ASAP) with a gross salary of 2500EU per month. Deadline to a...more Oct 3 2018 - 2:54pm 6 years 9 weeks ago
Position Announcements NSF Graduate Research Fellowship Program Dear CISE Community, The National Science Foundation (NSF) Graduate Research Fellowship Program (GRFP) is an important but, from our experience, an often overlooked funding opportunity for the Computer and Information Science and Engineering (CISE) community. The program recognizes and supports...more Oct 3 2018 - 2:51pm 6 years 9 weeks ago
Calls for Papers CfP (IMPENDING DEADLINE): SPECIAL SESSION ON Energy Efficient Cyber Physical Systems@ICM2018 CALL FOR SPECIAL SESSION PAPERS The 30th International Conference on Microelectronics (ICM 2018) SPECIAL SESSION ON Energy Efficient Cyber Physical Systems Important Dates: Research Paper Submission: October 10, 2018 Notification of Acceptance: October 30, 2018 Camera Ready Submission...more Oct 3 2018 - 2:48pm 6 years 9 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: VECoS 2018 Call for Participation 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018) Grenoble, France | September 26-28, 2018 | https://vecos.ensta-paristech.fr/2018/ VECoS is focused on formal approaches, methods and techniques for the verificati...more Oct 3 2018 - 2:08pm 6 years 9 weeks ago
Calls for Papers CfP: 22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019) JOINT CALL FOR PAPERS 22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019) Prague, Czech Republic | 6-11 April 2019 | http://www.etaps.org/2019 ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ET...more Oct 3 2018 - 2:00pm 6 years 9 weeks ago
Calls for Papers CfP: IEEE ICPS 2019 & IEEE MFI 2019 CALL FOR PAPERS IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2019) IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2019) May 6-9, 2018 | Howard Plaza Hotel Taipei, Taiwan | http://icps19.org/ Important dates: Special...more Oct 3 2018 - 1:50pm 6 years 9 weeks ago
Calls for Papers CfP: Reliability, safety and security of railway systems (RSSRail 2019) CALL FOR PAPERS International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification (RSSRail 2019) June 4-6, 2019 | Lille, France | https://conferences.ncl.ac.uk/rssrail2019/ The important dates: January 5, 2019 - abstract submis...more Oct 3 2018 - 1:24pm 6 years 9 weeks ago
Calls for Papers CfP: 11th Annual NASA Formal Methods Symposium (NFM 2019) CALL FOR PAPERS 11th Annual NASA Formal Methods Symposium (NFM 2019) Challenges for Future Exploration 7 - 9 May 2019 | Rice University, Houston, Texas, USA | https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html Important Dates: Abstract Submission: 7 Dec 2018 Paper Submission: 14 Dec 201...more Oct 3 2018 - 12:46pm 6 years 9 weeks ago
Position Announcements Assistant/Associate Professor Positions in the Electronic Systems group at TU Eindhoven The Electronic Systems group at TU Eindhoven has two positions available for qualified candidates with a research profile in nano-electronic circuit design/VLSI and efficient machine learning/deep learning systems. Tenure-track Assistant Professor, Nano-Electronic Digital Circuits and Systems (V36...more Oct 3 2018 - 12:37pm 6 years 9 weeks ago
Position Announcements Call for Applications: Helmut Veith Stipend for Female Master´s Students in Computer Science Female students in the field of computer science (CS) who plan to pursue (or are currently pursuing) one of the master's programs in Computer Science at the Vienna University of Technology - TU Wien taught in English are invited to apply for the annually awarded Helmut Veith Stipend. The computer sc...more Oct 3 2018 - 12:20pm 6 years 9 weeks ago
Calls for Papers CfP: 10th International Conference on Ambient Systems, Networks and Technologies (ANT-2019) 10th International Conference on Ambient Systems, Networks and Technologies (ANT-2019) Leuven, Belgium | April 29 - May 2, 2019 | http://cs-conferences.acadiau.ca/ant-19/ Important Dates Workshops Proposals Due: October 30, 2018 Paper Submission Due: December 6, 2018 Acceptanc...more Oct 3 2018 - 12:19pm 6 years 9 weeks ago