CPS Community Announcements

Forum Title Content Posted Updatedsort icon
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 - 4:35am 47 weeks 2 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 - 4:34pm 47 weeks 3 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 - 2:12pm 47 weeks 4 days 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 - 12:13pm 47 weeks 4 days 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 - 11:52am 47 weeks 4 days 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 - 11:43am 47 weeks 4 days 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 - 11:32am 47 weeks 4 days 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 - 11:26am 47 weeks 4 days 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 - 11:07am 47 weeks 4 days 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 - 11:38am 48 weeks 5 days 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 - 3:45pm 49 weeks 1 day 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 - 10:04am 50 weeks 3 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 - 12:58pm 50 weeks 3 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 - 2:29pm 50 weeks 4 days 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 - 9:52am 51 weeks 3 days 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 - 11:12am 51 weeks 4 days 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 - 6:18pm 1 year 1 week 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 3 2018 - 11:33pm 1 year 1 week 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 - 11:05am 1 year 3 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 - 8:45am 1 year 5 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 - 8:40am 1 year 5 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 - 8:28am 1 year 5 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: ~ December...more Oct 8 2018 - 8:21am 1 year 5 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 - 2:59pm 1 year 6 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 - 2:05pm 1 year 6 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 - 2:04pm 1 year 6 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 - 2:02pm 1 year 6 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress ESWeek Tutorial - Spectrum of Run-time Management for Modern and Next Generation Multi/Many-core Systems CALL FOR PARTICIPATION Tutorial: Spectrum of Run-time Management for Modern and Next Generation Multi/Many-core Systems ESWEEK satellite event Sunday, September 30, 2018 9:00 a.m. - 1:00 p.m. | Torino, Italy | https://www.imitator.fr/tutorials/ESWEEK18/ Note - that tutorial registration can sti...more Oct 3 2018 - 10:27am 1 year 6 weeks ago
Position Announcements Software Engineer Position: Embedded Operating System Development Title Integrating Sytare persistence support in the RIOT operating systemKeywords Embedded Software, Microcontroller, Energy Harvesting, CheckpointingLocation CITI laboratory, INSA Lyon, FranceFunding 2-year INRIA contract (starting ASAP) with a gross salary of 2500EU per month.Deadline to apply : 2...more Oct 3 2018 - 1:54pm 1 year 6 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 - 1:51pm 1 year 6 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 - 1:48pm 1 year 6 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 - 1:08pm 1 year 6 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 - 1:00pm 1 year 6 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 S...more Oct 3 2018 - 12:50pm 1 year 6 weeks ago
Calls for Papers CfP: 6th International workshop on Mixed Criticality Systems (WMC) CALL FOR PAPERS 6th International workshop on Mixed Criticality Systems (WMC) Affiliated with the IEEE Real-Time Systems Symposium Nashville, Tennessee, USA | December 11th, 2018 | https://sites.google.com/njit.edu/wmc2018/ WORKSHOP WMC's goal is to promote sharing of new ideas, results, e...more Feb 8 2018 - 5:55pm 1 year 6 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 2018...more Oct 3 2018 - 11:46am 1 year 6 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 submissi...more Oct 3 2018 - 12:24pm 1 year 6 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 - 11:37am 1 year 6 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 - 11:20am 1 year 6 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 Acceptance...more Oct 3 2018 - 11:19am 1 year 6 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress ESWEEK Tutorial: Schedulability Analysis under Uncertainty using Formal Methods CALL FOR PARTICIPATION Tutorial: Schedulability Analysis under Uncertainty using Formal Methods ESWEEK satellite event September 30, 2018 | Torino, Italy | https://www.imitator.fr/tutorials/ESWEEK18/ Modern real-time systems must cope with different sources of variability. Modern hardware proces...more Oct 3 2018 - 10:27am 1 year 6 weeks ago
Calls for Papers CfP: RTSS@Work Workshop RTSS@Work - Open Demo Session of Real-Time Systems RTSS 2018 - Nashville, Tennessee, USA RTSS@Work is the open demo session organized as a part of the IEEE Real-Time Systems Symposium, the premier conference in the area of Real-Time Systems. The goal of RTSS@Work is to provide a platform for resea...more Feb 8 2018 - 5:55pm 1 year 6 weeks ago
Position Announcements Two Post-doctoral Positions in SUTD on Verification/Validation of Timing-channel Freedom The Automated Systems Security research group (https://asset-group.github.io/) at the Singapore University of Technology and Design is looking for: Two (2) Post-Doctoral Positions on techniques for analyzing, validating and shielding micro-architectural timing-channels. The ASSET research group in...more Oct 3 2018 - 9:03am 1 year 6 weeks ago
Calls for Papers CfP: The Fourth International Conference on Information Security and Digital Forensics (ISDF2018) The Fourth International Conference on Information Security and Digital Forensics (ISDF2018) December 3-7, 2018 | Thessaloniki, Greece The Conference Welcomes Papers On The Following (But Not Limited To) Research Topics: CYBER SECURITY Distributed and Pervasive Systems Security Formal Methods...more Oct 2 2018 - 6:20am 1 year 6 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress 2018 CPS Challenge The 2018 CPS challenge is designed for undergraduate teams participating in a capstone project course. The goal of this challenge is to use a quadrotor aircraft with downward facing cameras to search an area for interesting objects, and land at a position where directed. Interested teams can sign up...more Apr 19 2017 - 10:54am 1 year 6 weeks ago
Calls for Papers CALL FOR PAPERS - 2nd IFAC Conference on Cyber-Physical & Human Systems CALL FOR PAPERS | The 2nd IFAC Conference on Cyber-Physical & Human Systems December 14-15, 2018, Miami, USA Submission Deadline: April 15, 2018 Acceptance notification: September 1, 2018 Final Submission Deadline: October 1, 2018 Steady advances in controls, communications, and computing ar...more Dec 21 2017 - 2:35pm 1 year 6 weeks ago
Position Announcements Faculty position: Northeastern University Automation in Civil and Environmental Engineering As part of a strategic initiative in the area of Urban Engineering, Northeastern University seeks faculty candidates for tenured or tenure-track appointments at the assistant, associate, or full professor level in the Department of Civil and Environmental Engineering in the area of Automation in Civ...more Sep 25 2018 - 12:58pm 1 year 7 weeks ago
Calls for Papers ACM/IEEE ICCPS 2019 - Only 3 weeks left! The 10th ACM/IEEE International Conference on Cyber-Physical Systems (ACM/IEEE ICCPS 2019) Full paper submission deadline: October 17, AoE, 2018 April 16-18, 2019 in Montreal, Canada, part of CPSWeek 2019http://iccps.acm.org/2019 Overview: As digital computing and communication become faster,...more Sep 24 2018 - 10:30am 1 year 7 weeks ago
Calls for Papers Extended deadline: 1st International Workshop on Trustworthy and Real-time Edge Computing for Cyber-Physical Systems (TREC4CPS) CALL FOR PAPERS - EXTENDED DEADLINE: Thursday 27th Sept 2018 (23:59 UTC-12) (firm) 1st International Workshop on Trustworthy and Real-time Edge Computing for Cyber-Physical Systems (TREC4CPS) in conjunction with the 39th IEEE Real-Time Systems Symposium 11 December 2018 | Nashville, TN The incre...more Sep 18 2018 - 11:54am 1 year 8 weeks ago
Position Announcements CDD Post-Doc (H/F) - Localization and Positioning 3D for Industrial Application Date of starting: from 01/12/2018 Duration: 12 months renewableSalary: according to UGA grids / diploma and experienceRequired degree: PhD in Automatic, signal processing (with experience in navigation and positioning)Location: Gipsa-lab, Grenoble Campus / Saint-Martin d'Hères Send cv and cover...more Sep 19 2018 - 9:11am 1 year 8 weeks ago