CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Papers CfP: Second Workshop on Adaptive Technology (WAT 2018) - DEADLINE EXTENDED -- FINAL DEADLINE EXTENDED TO JANUARY 7, 2018 -- Second Workshop on Adaptive Technology (WAT 2018) May 9-11, 2017 | Porto, Portugal | http://www.lta.poli.usp.br/lta/wat/wat-2018 The Second Workshop on Adaptive Technology (WAT 2018) is a development of a 10+ years national event held at University...more Jan 4 2018 - 12:46pm 1 year 48 weeks ago
General Announcements New Course on Modeling and Simulation of Cyber-Physical Systems New Course on Modeling and Simulation of Cyber-Physical Systems Cyber-physical systems (CPS for short) combine digital and analog devices, interfaces, networks, computer systems, and the like, with the natural and man-made physical world. The inherent interconnected and heterogeneous combination of...more Dec 24 2017 - 5:11pm 1 year 50 weeks ago
Position Announcements Trustworthy IoT and Cyber-physical Systems Positions_#12213 The Ira A. Fulton Schools of Engineering at Arizona State University (ASU), the School of Computing, Informatics, and Decision Systems Engineering (CIDSE) and the School of Engineering and Electrical, Computer and Energy Engineering (ECEE) seeks applicants for tenure-track/tenured faculty positions...more Dec 20 2017 - 1:06pm 1 year 51 weeks ago
Calls for Papers CfP: 11th International Conference on Model Transformation (ICMT 2018) CALL FOR PAPERS 11th International Conference on Model Transformation (ICMT 2018) June 25-28, 2018 | Toulouse (France) | https://twitter.com/icmtconf IMPORTANT DATES Abstract submission: February 23, 2018 Paper submission: March 2, 2018 Notification of acceptance: April 9, 2018 Camera-ready ve...more Dec 14 2017 - 11:07am 1 year 52 weeks ago
Position Announcements Post Doctoral Researcher in Resilient and Secure Cyber-Physical Systems The Institute for Software Integrated Systems (ISIS) in the School of Engineering at Vanderbilt University invites applications for Post Doctoral Researcher positions in the area of Cyber Physical Systems (CPS) with emphasis on security and resilience. CPS is one of the strategic research areas at I...more Dec 13 2017 - 2:44pm 1 year 52 weeks ago
Calls for Papers CfP: 13th Workshop on Parallel Systems and Algorithms (PASA 2018) CALL FOR PAPERS - Submission Deadline: 12 January 2018 13th Workshop on Parallel Systems and Algorithms (PASA 2018) Braunschweig, Germany | 9-10 April 2018 | https://www.cs12.tf.fau.de/conf/pasa2018/in conjunction with ARCS 2018 - 31st International Conference on Architecture of Computing Systems...more Dec 13 2017 - 10:46am 2 years 1 hour ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress USDOT & ITS America to host webinar on ATTRI Project Greetings, We wanted to inform you of a webinar which will be taking place next week on the USDOT Accessible Transportation Technologies Research Initiative (ATTRI). This webinar will provide updates from TRX Systems and the City College of New York about their wayfinding and navigation projects...more Dec 13 2017 - 10:33am 2 years 1 hour ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress CES in Vegas, NSF and PSCR funding, DGSC webinar and Feb kickoff Dear Global City Teams Challenge (GCTC) community, First, don't forget to register for upcoming 2018 Kickoff conference in Feb https://pages.nist.gov/GCTC/event/gctc-kickoff-2018/ - more details at the end of this email, including limited travel support for city/community officials. We have...more Dec 13 2017 - 10:07am 2 years 1 hour ago
Calls for Papers CfP: IEEE Transactions on Industrial Informatics Special Section Call for Papers: Resilience in Energy Industries IEEE Transactions on Industrial Informatics Special Section Call for Papers: Resilience in Energy Industries - Recent Advances, Open Challenges, and Future Directions Resilience is the capacity of critical infrastructure systems to proactively maintain a safe level of operational normalcy in respon...more Dec 8 2017 - 9:25am 2 years 4 days ago
Calls for Papers CfP: 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018) CALL FOR PAPERS 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018) May 28 - 30, 2018 | Schloss Rheinfels | St. Goar, Germany | http://www.scopesconf.org A next edition of the workshop on Software and Compilers for Embedded Systems (SCOPES) will be organized...more Dec 8 2017 - 10:27am 2 years 5 days ago
Calls for Papers CfP: 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2018) CALL FOR PAPERS 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2018) April 21, 2018 | Thessaloniki, Greece | https://www.react.uni-saarland.de/crest2018/A satellite event of ETAPS 2018 Today's IT systems, and the interactions be...more Dec 8 2017 - 10:16am 2 years 5 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress CSEdWeek Dear CISE Colleagues, This year's CSEdWeek is underway--with students, parents, teachers, school officials, and out-of-school providers focused on showing kids--all kids--that computing can be creative, fun, and empowering. And thanks to so many of you, computer science (CS) education is becoming m...more Dec 8 2017 - 10:06am 2 years 5 days ago
Calls for Papers CfP: 22nd International Symposium on Formal Methods (FM 2018) CALL FOR PAPERS 22nd International Symposium on Formal Methods (FM 2018) Oxford, UK | July 15-17, 2018 | http://www.fm2018.org/ Important Dates: Abstract registration deadline January 8, 2018 Submission deadline January 22, 2018 Notification April 9,...more Dec 8 2017 - 10:03am 2 years 5 days ago
Calls for Papers CFP: JETCAS special issue on energy-quality scalable circuits and systems for sensing and computing CALL for PAPERS Energy-Quality Scalable Circuits and Systems for Sensing and Computing: from Approximate, to Communication-Inspired and Learning-Based Guest Editors Massimo Alioto*, National University of Singapore, malioto@ieee.org Vivek De, Intel Labs, vivek.de@intel.com Andrea Marongiu, ETH...more Dec 8 2017 - 9:50am 2 years 5 days ago
Calls for Papers CfP: IEEE Computer Special Issue on Resiliency in CPS CALL FOR PAPERS IEEE Computer Special Issue on Resiliency in CPS Important dates: Abstract submission (by e-mail to co-1018@computer.org): 1 February 2018 Full paper submission: 1 March 2018 Expected publication date: October 2018 Guest editors: Oleg Sokolsky, University of Pennsylvania (sokol...more Dec 8 2017 - 9:46am 2 years 5 days ago
General Announcements GCTC-SC3 2018 - Data Governance SuperCluster webinar, Urban-X funding opportunity for startups, News from Virginia We have a few exciting updates and opportunities in addition to the Kickoff conference in Feb (https://pages.nist.gov/GCTC/event/gctc-kickoff-2018/ - more details at the end of the email). Data Governance & Exchange SuperCluster (DGSC) will host a webinar on December 14, 2017 (Thursday) at 12-1...more Dec 8 2017 - 9:27am 2 years 5 days ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call For Participation: BigDat 2018 4th INTERNATIONAL WINTER SCHOOL ON BIG DATA (BigDat 2018) Timisoara, Romania | January 22-26, 2018 | http://grammars.grlmc.com/BigDat2018/ Organized by: West University of Timisoara Rovira i Virgili University SCOPE: BigDat 2018 will be a research training event with a global scope aimi...more Dec 8 2017 - 9:21am 2 years 5 days ago
Calls for Papers CFP: OpenModelica and MODPROD workshops Call for Presentations OpenModelica and MODPROD workshops February 5-7, 2018, Linkoping, Sweden Location: Linkoping University, Linkoping, Sweden 12th MODPROD Workshop on Model-Based Product Development, February 6-7, 2018 10th OpenModelica Annual Workshop, February 5, 2018 Theme for this year...more Nov 8 2017 - 11:55am 2 years 5 days ago
Calls for Papers CFP: OpenModelica/MODPROD Workshops Febr 2018 CALL FOR PAPERS OpenModelica/MODPROD Workshops Febr 2018 Technical co-sponsor: IEEE Computer Society Swedish Chapter. Location: Linkoping University, Linkoping, Sweden 12th MODPROD Workshop on Model-Based Product Development, February 6-7, 2018 10th OpenModelica Annual Workshop, February 5, 201...more Oct 24 2017 - 2:54pm 2 years 5 days ago
Position Announcements Post-doctoral position opening at the Army Research Laboratory for Experimental Guidance, Navigation, and Control Integration En Position: Experimental Guidance, Navigation, and Control Integration Engineer BS/MS in electrical, mechanical, aerospace engineering or other appropriate discipline or related Associates degree in with 3+ years' experience or equivalent significant flight testing and integration experience of 5+ yea...more Dec 7 2017 - 9:44am 2 years 6 days ago
Position Announcements Postdoctoral position in Hybrid Systems at the Australian National University Cyber-Physical Systems Laboratory led by Dr Sergiy Bogomolov is seeking applications for a postdoctoral position on the topic "Verification of Hybrid Systems". The successful candidate will work on algorithms and techniques to support scalable verification of hybrid systems. Candidates working on ad...more Dec 3 2017 - 5:53pm 2 years 1 week ago
Position Announcements University of Virginia - Tenured/Tenure-Track Faculty Positions in 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 20 facu...more Nov 30 2017 - 7:05pm 2 years 1 week ago
Calls for Papers CfP - Security & Privacy in Automotive & Aerospace CPS - Springer Journal of Hardware & Systems Security CALL FOR PAPERS Springer Journal of Hardware and Systems Security Special Issue on Security & Privacy in Automotive and Aerospace Cyber-Physical Systems Submission Link: https://www.editorialmanager.com/hass/default.aspxDeadline: December 31, 2017. AIMS and SCOPE: Modern cars and aerona...more Nov 29 2017 - 11:56pm 2 years 1 week ago
Position Announcements Open PhD Positions on Systems and Control The Laboratory for Autonomy, Control, Information, and Systems (LACIS, http://lacis.eng.usf.edu/) at the University of South Florida is looking for exceptional doctoral students with solid background and creative skills. The LACIS is a highly-active research laboratory on systems and control with p...more Sep 16 2017 - 5:51pm 2 years 1 week ago
Position Announcements Tenure-Track Faculty Position in ECE – Secure & Resilient Cyber-Physical Systems The College of Engineering at the University of Georgia (UGA) is seeking applications for a tenure-track assistant professor with expertise in the area of security and resilience for Cyber-Physical Systems (CPS). The position has an expected start date of August 1, 2018 or earlier. The succes...more Oct 18 2017 - 7:52pm 2 years 1 week ago
Position Announcements Missouri University of S&T Mechanical and Aerospace Engineering Department - Assistant Professor Position The Department of Mechanical and Aerospace Engineering at the Missouri University of Science and Technology (formerly the University of Missouri - Rolla) invites applications for a full-time tenure-track Assistant Professor position in the general area of autonomous systems, such as small spacecraft...more Oct 30 2017 - 9:59pm 2 years 1 week ago
Position Announcements Postdoctoral opportunities in Multi-Agent Systems and Robotics at KAUST The Robotics, Intelligent Systems, and Control (RISC) lab at KAUST is seeking postdoctoral researchers in the areas of multi-agent systems, autonomy, and distributed robotics. The RISC lab is engaged in a variety of projects involving distributed decision architectures with a network of autonomous a...more Oct 31 2017 - 8:27am 2 years 1 week ago
Position Announcements Assistant/Associate/Full Professors The Computer Science and Engineering Department at The University of Texas at Arlington Assistant/Associate/Full Professors 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 5 tenure/tenure-track assistant, associate, and full profess...more Nov 1 2017 - 8:45am 2 years 1 week ago
Position Announcements Faculty Positions - MIT Faculty Positions in Mechanical Engineering (also in AERO and CEE, see below) The Massachusetts Institute of Technology (MIT) Department of Mechanical Engineering seeks candidates for faculty positions starting July 2018 or on a mutually agreed date thereafter. Appointments will be at the assista...more Nov 29 2017 - 4:13pm 2 years 1 week ago
Position Announcements IoT/CPS position at the University of Iowa The University of Iowa invites applicants for two tenure-track assistant professor positions, one in the area of cyber-physical systems or Internet of Things and the other in augmented or virtual reality. A PhD in Electrical or Computer Engineering, or a closely related field is required. Detaile...more Nov 1 2017 - 2:23pm 2 years 1 week ago
Position Announcements Faculty Positions in Mechanical Engineering, Aero, and CEE (Massachusetts Institute of Technology) The Massachusetts Institute of Technology (MIT) Department of Mechanical Engineering seeks candidates for faculty positions starting July 2018 or on a mutually agreed date thereafter. Appointments will be at the assistant or untenured associate professor level. In special cases, a senior faculty app...more Nov 29 2017 - 4:11pm 2 years 1 week ago
Calls for Papers CfP: IEEE Transactions on Industrial Informatics Special Section on Resilience in Energy Industries CALL FOR PAPERS IEEE Transactions on Industrial Informatics special section on Resilience in Energy Industries- Recent Advances, Open Challenges, and Future Directions Theme: Resilience is the capacity of critical infrastructure systems to proactively maintain a safe level of operational norma...more Nov 29 2017 - 3:36pm 2 years 1 week ago
Position Announcements Faculty Positions in Aerospace Engineering Sciences at the University of Colorado Boulder - Open Rank The Ann and H.J. Smead Department of Aerospace Engineering Sciences in the College of Engineering and Applied Science at the University of Colorado Boulder invites applications for two tenure-track/tenured faculty position in all areas of aerospace engineering sciences. The Department's vision of...more Nov 29 2017 - 2:52pm 2 years 1 week ago
Calls for Papers Call for Papers: First Workshop on Formal Methods for ML-Enabled Autonomous Systems (FOMLAS 2018) First Workshop on Formal Methods for ML-Enabled Autonomous Systems (FOMLAS 2018) April 21, 2018 Affiliated With ETAPS 2018 Thessaloniki, Greece https://fomlas2018.fortiss.org/en/ AIM: After the well-known DARPA Urban challenge, there have been significant improvements t...more Nov 29 2017 - 11:48am 2 years 2 weeks ago
Position Announcements PolytechnicPositions - Faculty Positions in Polytechnic Universities Research Associate - Level A or Level B in Water Research Centre University of New South Wales Australiahttp://www.polytechnicpositions.com/announcement,a351.html In your application, please refer to Polytechnicpositions.com PhD Scholarships in Stem Cell Biology University of Queensland Aust...more Nov 29 2017 - 11:14am 2 years 2 weeks ago
General Announcements Summer School on Cyber-Physical Systems, CPS 2017 Summer School on Cyber-Physical Systems, CPS 2017 | July 17-21, 2017 - Halmstad University, Sweden The Summer School on Cyber-Physical Systems brings together the theoretical foundations and the industrial practice of the area in Halmstad, a place known both for innovation in embedded systems and p...more Apr 20 2017 - 1:32pm 2 years 2 weeks ago
Calls for Papers CfP: The 29th International Conference on Concurrency Theory (CONCUR 2018) CALL FOR PAPERS The 29th International Conference on Concurrency Theory (CONCUR 2018) Beijing, China | September 4-7, 2018 | http://lcs.ios.ac.cn/concur2018/ The purpose of CONCUR 2018, the 29th International Conference on Concurrency Theory, is to bring together researchers, developers, and stud...more Nov 21 2017 - 1:25pm 2 years 3 weeks ago
Position Announcements Postdoctoral position in Hybrid Systems at the Australian National University Cyber-Physical Systems Laboratory led by Dr Sergiy Bogomolov is seeking applications for a postdoctoral position on the topic "Verification of Hybrid Systems". The successful candidate will work on algorithms and techniques to support scalable verification of hybrid systems. Candidates working on ad...more Nov 21 2017 - 1:17pm 2 years 3 weeks ago
Position Announcements [CPS] Research Experience for Undergraduates (REU) Summer Site at Nebraska! The NIMBUS Lab is proud to announce that beginning in Summer 2018, we will be hosting a 10 week Research Experience for Undergraduates (REU) Summer Site in coordination with the University of Nebraska-Lincoln's Summer Research Programs. For more information, and to apply, please visit the Summer R...more Nov 21 2017 - 12:59pm 2 years 3 weeks ago
Calls for Papers CfP: 23rd Conf. Reliable Software Technologies, Ada-Europe 2018 CALL FOR PAPERS 23rd International Conference on Reliable Software Technologies (Ada-Europe 2018) 18-22 June 2018 | Lisbon, Portugal | http://ae2018.di.fc.ul.pt/index.html Organized by U.Lisboa on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED (pending), SIGPLAN (pending) and the Ad...more Nov 21 2017 - 12:56pm 2 years 3 weeks ago
Calls for Papers CfP: 10th International Conference on Formal Ontology in Information Systems (FOIS 2018) CALL FOR PAPERS 10th International Conference on Formal Ontology in Information Systems (FOIS 2018) September 17-21, 2018 | Cape Town, South Africa | http://fois2018.cs.uct.ac.za/ DEFINITION AND SCOPE ----------------------------------- The advent of complex information systems which rely on ro...more Nov 21 2017 - 12:33pm 2 years 3 weeks ago
Calls for Papers CfP: The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018) CALL FOR PAPERS The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018) July 13-15, 2018 | Gran Canaria, Spain | http://cs-conferences.acadiau.ca/mobispc-18/ In Conjunction with The 13th International Conference on Future Networks and Communications (FNC 2018)...more Nov 21 2017 - 12:23pm 2 years 3 weeks ago
Calls for Papers CfP: Impending Deadline: 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO CALL FOR PAPERS 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO 22th January 2018 | Manchester, UK | http://www.rapido.deib.polimi.it co-located with HiPEAC Conference The focus of the RAPIDO workshop is on methods and tools for rapid simulation and perf...more Nov 20 2017 - 5:59pm 2 years 3 weeks ago
Calls for Papers CFP: DATE 2018 Workshop on "New Platforms for Future Cars" Call for Contributions Workshop affiliated to DATE 2018 about: "New Platforms for Future Cars" Dresden, Germany, March 23, 2018 | https://www.date-conference.com/conference/workshop-w03 Submission deadline: 14 January 2018 Acceptance notification: 31 January 2018 ==============================...more Nov 20 2017 - 5:53pm 2 years 3 weeks ago
Calls for Papers CfP: IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018) CALL FOR PAPERS The 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018) Saint Petersburg, Russia | May 15-18, 2018 | http://icps2018.net/ IEEE ICPS 2018 is going to be the first of a premier conference series presenting the state of the art and future perspectives o...more Nov 20 2017 - 4:44pm 2 years 3 weeks ago
Calls for Papers CfP Extended Deadline: The Second International Workshop on Smart Edge Computing and Networking (SmartEdge 2018) Call For Papers - Extended Deadline December 1, 2017 The Second International Workshop on Smart Edge Computing and Networking (SmartEdge 2018) In Conjunction with IEEE PerCom 2018 (http://www.percom.org/) March 23, 2018 | Athens, Greece | http://swimsys.cs.odu.edu/SmartEdge/ We are approaching...more Nov 8 2017 - 11:35am 2 years 3 weeks ago
Calls for Papers JLAMP Special Issue on Open Problems in Concurrency Theory Journal of Logical and Algebraic Methods in Programming Special Issue on Open Problems in Concurrency Theory ** Aims and Scope This special issue of the Journal of Logical and Algebraic Methods in Programming is devoted to the themes of the Research Seminar on Open Problems in Concurrency The...more Nov 20 2017 - 4:31pm 2 years 3 weeks ago
Calls for Papers Extended Deadline: JLAMP Special Issue on Open Problems in Concurrency Theory Extended Deadline: December 11, 2017 Journal of Logical and Algebraic Methods in Programming Special Issue on Open Problems in Concurrency Theory ** Aims and Scope This special issue of the Journal of Logical and Algebraic Methods in Programming is devoted to the themes of the Research Seminar...more Sep 18 2017 - 4:10pm 2 years 3 weeks ago
Calls for Papers Early Submission closes 1st Dec - Intelligent Systems Conference 2018 (London) CALL FOR PAPERS Intelligent Systems Conference (IntelliSys) 2018 Technically Co-Sponsored by IEEE IntelliSys provides a leading international forum that brings together researchers and practitioners from diverse fields with the purpose of exploring the fundamental roles, interactions as well as p...more Nov 20 2017 - 5:44pm 2 years 3 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: TuToR 2017 - 2nd Tutorial on Tools for Real-Time Systems 2nd Tutorial on Tools for Real-Time Systems (TuToR'17) (held within RTSS 2017) December 5th, 2017 | Paris, France | http://tutor2017.inria.fr/ Tools presented: CapeCode, pyCPA, SCHED_DEADLINE, UPPAAL FOCUS TuToR'17 is a one-day tutorial open to researchers from both industry and academia who w...more Nov 20 2017 - 5:39pm 2 years 3 weeks ago