CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress QBFEVAL'16 - Solver submission deadline approaching Second Call for Solvers & Benchmarks QBFEVAL'16 - Competitive evaluation of QBF solvers A joint event with SAT 2016 - The Nineteenth International Conference on Theory and Applications of Satisfiability Testing Bordeaux, France, July 5-8, 2016 QBFEVAL'16 will be the 2016 competitive evaluat...more Feb 24 2016 - 12:33pm 8 years 40 weeks ago
Calls for Papers TIME 2016 --- First Call for Papers CALL FOR PAPERS 23rd International Symposium on Temporal Representation and Reasoning (TIME 2016) October 17-19, 2016 | Technical University of Denmark, Kongens Lyngby | http://time2016.compute.dtu.dk Aim TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects...more Feb 24 2016 - 12:20pm 8 years 40 weeks ago
Calls for Papers Deadline Ext: SAMOS XVI 2016-IEEE International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation CALL FOR PAPERS - DEADLINE EXTENSION International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XVI) Samos, Greece | July 18-21, 2016 | http://www.samos-conference.com *** EXTENDED PAPER SUBMISSION DEADLINE: MARCH 7, 2016 *** SAMOS is a unique conf...more Jan 28 2016 - 5:10pm 8 years 40 weeks ago
Calls for Papers First CFP - ESTIMedia'16 - 14th IEEE Symposium on Embedded Systems for Real-Time Multimedia The 14th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2016) 6th - 7th Oct 2016 | Pittsburgh, USA | http://www.estimedia.org/ The IEEE ESTIMedia'16 is organized as a part of the Embedded Systems Week 2016 New Themes: - Camera-based Processing for IoT, CPS, Healthcare,...more Feb 24 2016 - 11:56am 8 years 40 weeks ago
Calls for Papers FMCAD 2016: 1st CALL FOR PAPERS CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD) Mountain View, CA, USA | October 3-6, 2016 | http://www.fmcad.org/FMCAD16 IMPORTANT DATES Abstract Submission: May 02, 2016 Paper Submission: May 09, 2016 Author Response Peri...more Feb 24 2016 - 11:43am 8 years 40 weeks ago
General Announcements Report on the Impact of CPS on Transportation The U.S. Department of Transportation Intelligent Transportation Systems Join Program Office published a report titled, "the Smart/Connected City and its Implications for Connected Trasnportation" (FHWA-JPO-14-148). This white paper outlines the potential for the emerging connected transportation s...more Jan 2 2015 - 11:35am 8 years 40 weeks ago
Calls for Papers CFP-EXTENDED: Special Session on Automotive Communications at the 14th IEEE Conference on Industrial Informatics (INDIN 2016) CALL FOR PAPERS (EXTENDED DEADLINE) 14th IEEE CONFERENCE on INDUSTRIAL INFORMATICS (INDIN'16) 18-21 JULY 2016 | FUTUROSCOPE-POITIERS, FRANCE | http://ieee-indin2016.sciencesconf.org/ Special Session on "Automotive Communications" Organized by: Lucia Lo Bello, University of Catania, Italy,...more Dec 23 2015 - 1:46pm 8 years 41 weeks ago
Calls for Papers CFP: IEEE IWCMC 2016 - Mobile Computing, extended deadline, 29 Feb. 2016 CALL FOR PAPERS The 12th International Wireless Communications and Mobile Computing Conference (IWCMC 2016) Paphos, Cyprus | September 5-9, 2016 | http://iwcmc.org/2016 Mobile Computing Symposium (http://swimsys.cs.odu.edu/iwcmc-mc/2016/) **** Due to several requests, the deadline is extended...more Feb 11 2016 - 5:41pm 8 years 41 weeks ago
Calls for Papers CFP: IEEE IWCMC 2016 - Mobile Computing - Extended Deadline CALL FOR PAPERS The 12th International Wireless Communications and Mobile Computing Conference (IWCMC 2016) Paphos, Cyprus | September 5-9, 2016 | http://iwcmc.org/2016 Mobile Computing Symposium | http://swimsys.cs.odu.edu/iwcmc-mc/2016/ Due to several requests, the deadline is extended to Feb...more Feb 16 2016 - 2:24pm 8 years 41 weeks ago
Calls for Papers CfP - Deadline Extension: 1st International Workshop on Verification and Validation of Cyber-Physical Systems (VVCPS 2016) CALL FOR PAPERS - Deadline Extension 1st International Workshop on Verification and Validation of Cyber-Physical Systems (VVCPS 2016) co-located with iFM 2016 1-4 June 2016 | Reykjavik, Iceland | http://www.cs.ox.ac.uk/conferences/VVCPS16/ Workshop on Verification and Validation of Cyber-Physica...more Feb 3 2016 - 5:11pm 8 years 41 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation and Tools Demos: International Workshop on Early Reliability Modeling for Aging & Variability Silicon Sys Call for Participation and Tools Demos International Workshop on Early Reliability Modeling for Aging and Variability in Silicon Systems (ERMAVSS) Dresden, Germany (co-located with DATE) | Friday March 18th, 2016 | http://ermavss.iroctech.com/ About the Workshop With the proliferation of i...more Feb 15 2016 - 1:52pm 8 years 41 weeks ago
Calls for Papers CfP: 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016) CALL FOR PAPERS 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016) May 23-25, 2016 | 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 i...more Aug 25 2015 - 2:51pm 8 years 41 weeks ago
Calls for Papers CfP: The 4th IEEE Non-Volatile Memory Systems and Applications Symposium (NVMSA) CALL FOR PAPERS The 4th IEEE Non-Volatile Memory Systems and Applications Symposium (NVMSA) Daegu, Korea | August 17-19, 2016 | https://sites.google.com/a/camelab.org/nvmsa-2016/ Non-Volatile memory (NVM) technologies have demonstrated great potentials on improving many aspects of present and f...more Feb 15 2016 - 1:22pm 8 years 41 weeks ago
Calls for Papers CALL FOR PAPERS: The 27th International Conference on Concurrency Theory (CONCUR2016) CALL FOR PAPERS The 27th International Conference on Concurrency Theory (CONCUR2016) Quebec City, Canada | 23-26 August 2016 | http://www.concur2016.ulaval.ca/ co-located with the 13th QEST International Conference on Quantitative Evaluation of SysTems (QEST) and the 14th International Conference...more Feb 15 2016 - 1:12pm 8 years 41 weeks ago
Calls for Papers CfP: Work-in-Progress Session in WFCS 2016. May 3-6, 2016. CALL FOR PAPERS WORK-IN-PROGRESS SESSION 12th IEEE World conference on Factory Communication Systems (WFCS 2016) May 3-6, 2016 | Aveiro, Portugal | http://www.av.it.pt/wfcs2016/ Sponsored by: University of Aveiro, Portugal Telecommunications Institute, Portugal IEEE Industrial Electronics Socie...more Feb 15 2016 - 12:56pm 8 years 41 weeks ago
Calls for Papers FORMATS 2016 - First Call for Papers First Call for Papers 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016) August 24-26, 2016 | Quebec City, Canada | http://formats2016.lsv.fr FORMATS'16 takes place at Hotel Chateau Laurier in Quebec City, Canada, where it is colocated with CONCUR'16...more Feb 15 2016 - 12:43pm 8 years 41 weeks ago
Calls for Papers The Second International Conference on Electronics and Software Science CALL FOR PAPERS The Second International Conference on Electronics and Software Science (ICESS2016) November 14-16, 2016 | Kagawa University, Takamatsu, Japan | Venue: Takamatsu Sunport Hall Building Website: http://goo.gl/Nr9Dh8 | E-mail: icess16@sdiwc.net The submission is open until Septembe...more Jan 23 2016 - 4:12am 8 years 42 weeks ago
Position Announcements Postdoc position on Privacy, University of Gothenburg Postdoc in Computer Science: Privacy Department of Computer Science and Engineering University of Gothenburg, Sweden As part of a project funded by the Swedish Research Council (Vetenskapsradet), we are seeking excellent applicants for a postdoc position to perform research on privacy-related pro...more Feb 12 2016 - 11:30am 8 years 42 weeks ago
Calls for Papers Call For Papers WATERS 2016 (Deadline: 28th April 2016) CALL FOR PAPERS 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2016) 5 July, 2016 | Toulouse, France | http://waters2016.inria.fr a satellite workshop of the 28th Euromicro Conference on Real-Time Systems (ECRTS 2016) The goal of the WAT...more Feb 12 2016 - 11:24am 8 years 42 weeks ago
Calls for Papers Cfp: 11 IEEE Symposium on Industrial Embedded Systems - Special Session on Mixed-criticality Systems CALL FOR PAPERS SIES'2016 - 11th IEEE International Symposium on Industrial Embedded Systems Special Session "Mixed-criticality Systems" 23-25 May 2016 | Krakov, Poland | http://sies2016.org Sponsored by: IEEE Council on Electronic Design Automation and AGH Univ. of Science & Technology...more Feb 11 2016 - 5:51pm 8 years 42 weeks ago
Calls for Papers Call for Papers: TERMGRAPH 2016 (Extended Deadline) CALL FOR PAPERS 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016) a Satellite Event of ETAPS 2016 Eindhoven, NL, April 8, 2016 | http://www.win.tue.nl/~hzantema/tg.html Background Research in term and graph rewriting ranges from theoretical questions to practical...more Dec 17 2015 - 4:45pm 8 years 42 weeks ago
Calls for Papers CfP: GCM - Graph Computation Models 2016 CALL FOR PAPERS Seventh International Workshop on Graph Computation Models (GCM 2016) Vienna, Austria | 4 July 2016 | http://gcm2016.inf.uni-due.de | A satellite event of STAF 2016 The aim of the International Workshop GCM 2016 is to bring together researchers interested in all aspects of com...more Feb 11 2016 - 5:27pm 8 years 42 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress SynCoP 2016 (ETAPS Satellite Event): Call for Informal Presentations Call for informal presentations (abstracts) SynCoP 20163rd International Workshop on the SYNthesis of COmplex Parameters ( SynCoP 2016) (ETAPS satellite event) http://lipn.univ-paris13.fr/SynCoP2016/ SynCoP 2016 (ETAPS satellite event) will feature a session for informal presentations where auth...more Feb 11 2016 - 5:19pm 8 years 42 weeks ago
Calls for Papers Call for Papers: 8th International Workshop on Dependable Many-Core Computing (DMCC 2016) CALL FOR PAPERS AND PARTICIPATION The 8th International Workshop on Dependable Many-Core Computing (DMCC 2016) As part of The International Conference on High Performance Computing & Simulation (HPCS 2016) http://hpcs2016.cisedu.info or http://cisedu.us/rp/hpcs16 | July 18 - July 22, 2016...more Feb 11 2016 - 5:11pm 8 years 42 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress IPSN '16 Call for Ph.D Forum - * Extended Deadline * CALL FOR Ph.D FORUM - * Extended Deadline * The 15th International Conference on Information Processing in Sensor Networks (IPSN '16) April 11, 2016 | Vienna, Austria | http://ipsn.acm.org/2016/phdforum.html?v=1 The Ph.D. Forum at the 15th ACM/IEEE Int. Conference on Information Processing in Sen...more Feb 11 2016 - 4:46pm 8 years 42 weeks ago
Position Announcements Toyota Post-Doc Researcher, Virtual Vehicle Prototyping APPLY FOR THIS JOB Job Summary: Demand for highly-dependable automotive systems is a common challenge in the past, present and future. In order to address the increasing importance of advanced vehicle control features, Toyota InfoTechnology Center, Systems and Software Research Team is conducting...more Feb 8 2016 - 11:53am 8 years 42 weeks ago
Position Announcements Post-doctoral Researcher in Decision-Support for Security of Cyber-Physical Systems Post-doctoral Researcher in Decision-Support for Security of Cyber-Physical Systems Security Lancaster Research Centre Salary: PS26,537 to PS30,738 Closing Date: Monday 29 February 2016 Details and application link: https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=A1427 This is a fixed term posi...more Feb 8 2016 - 12:09pm 8 years 42 weeks ago
Calls for Papers CFP - ReCoSoC 2016 - June 27-29 2016 - Tallinn, Estonia CALL FOR PAPERS 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016) June 27-29, 2016 | Tallinn - ESTONIA | http://www.recosoc.org/ Over the past decade ReCoSoC has established itself as a international reference event for research in the areas of re...more Feb 8 2016 - 12:05pm 8 years 42 weeks ago
Position Announcements Postdoc and PhD Positions at Aalborg University, ERC Adv Grant LASSO PostDoc and PhD Openings at CISS, Aalborg University on Learning, Analysis, Synthesis and Optimization for Cyber Physical Systems As part of the ERC Advanced Grant won by prof. Kim G. Larsen with the 5-year project LASSO (Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems), we...more Feb 3 2016 - 6:27pm 8 years 43 weeks ago
Calls for Papers CFP - Software Engineering for Smart CPS (SEsCPS 2016) - Final deadline extension - February 5th, 2016 FINAL CALL FOR PAPERS - Deadline extension till February 5th, 2016, abstracts till February 3th 2nd INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SEsCPS) In conjunction with ICSE 2016 May 14-22, 2016 | Austin, TX, USA) | http://d3s.mff.cuni.cz/conferences/sescps...more Feb 3 2016 - 5:28pm 8 years 43 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Empirical Research for Software Security: Foundations and Experience--Call for Book Chapters Call for Book Chapters: Empirical Research for Software Security: Foundations and Experience, Taylor & Francis Group, LLC Scope This book introduces the reader to using empirical research methods in exploring software security challenges. These methods include data analytics, questionnaires...more Feb 3 2016 - 5:18pm 8 years 43 weeks ago
Calls for Papers CfP: STAF 2016 - Software Technologies: Applications and Foundations CALL FOR PAPERS STAF 2016 - Software Technologies: Applications and Foundations July 4-8, 2016 | TU Wien, Vienna, Austria | http://staf2016.conf.tuwien.ac.at Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed...more Feb 3 2016 - 5:04pm 8 years 43 weeks ago
Calls for Papers CfP: 2016 Joint Workshop on Cyber-Physical Security and Resilience in Smart Grids (CPSR-SG2016) Deadline Extension CALL FOR PAPERS 2016 Joint Workshop on Cyber-Physical Security and Resilience in Smart Grids (CPSR-SG2016) 12th April 2016 | Vienna, Austria | http://www.salvage-project.com/cpsr-sg-2016.html at CPS week 2016, 11th - 14th April 2016, Vienna, Austria Future power systems and smart grids will incl...more Feb 3 2016 - 1:51pm 8 years 43 weeks ago
Calls for Workshops & Tutorials IEEE - Smart City Security and Privacy Workshop SCSP-W Call for Workshop Papers IEEE - Smart City Security and Privacy Workshop SCSP-W http://www.scsp-w.org In Conjunction with the 2016 IEEE/ACM Cyber-Physical Systems Week (CPS Week) April 11, 2016, Vienna, Austria-- http://www.cpsweek.org/2016 ** Scope ** The Smart City Security and Privacy...more Jan 7 2016 - 1:25am 8 years 43 weeks ago
Calls for Papers CFP: 1st Workshop on Security and Privacy in Big Data (SPBD 2016) CALL FOR SUBMISSIONS 1st Workshop on Security and Privacy in Big Data (SPBD 2016) co-organized with CPSWeek 2016 Introduction Nowadays, huge amounts of data from sensors, individual archives, social networks, Internet of Things, enterprise and Internet are collected, shared and analysed. The fea...more Jan 13 2016 - 12:58pm 8 years 43 weeks ago
Position Announcements Tenure-track Positions at Pace University, NY The Seidenberg School of Computer Science and Information Systems at Pace University NY, invites outstanding applications for full-time tenure-track faculty positions at the rank of Assistant Professor or Associate Professor in *Computer Science, Software Engineering, Information Systems, and Info...more Jan 29 2016 - 12:13pm 8 years 44 weeks ago
Calls for Papers 1st International Workshop on Verification and Validation of Cyber-Physical Systems CALL FOR PAPERS 1st International Workshop on Verification and Validation of Cyber-Physical Systems co-located with iFM 2016 1-4 June 2016 | Reykjavik, Iceland | http://www.cs.ox.ac.uk/conferences/VVCPS16/ Workshop on Verification and Validation of Cyber-Physical Systems is targeted at methods r...more Jan 29 2016 - 12:03pm 8 years 44 weeks ago
Calls for Papers CFP: Self-Awareness in Cyber-Physical Systems workshop, in frame of CPSWeek2016 Vienna on 11-14 April 2016 CALL FOR CONTRIBUTIONS Self-Awareness in Cyber-Physical Systems A CPS Week Workshop in frame of CPSWeek 2016 Vienna, Austria | 11-14 April 2016 | http://www.ict.tuwien.ac.at/selphys/ | http://www.cpsweek.org/2016/events.html DESCRIPTION: Inspired by biological examples, self-awareness has be...more Jan 29 2016 - 11:57am 8 years 44 weeks ago
Calls for Papers CfP: IoT for Healthcare Workshop at IEEE SMARTCOMP 2016 Call for papers for the following Workshop at IEEE SmartComp'16: IoT for Healthcare Workshop http://vco.ett.utu.fi/IoT4Health-SMARTCOMP-2016/ IMPORTANT DATES: Submission deadline: March 7, 2016 Paper notifications: April 7, 2016 Camera ready: April 22, 2016 The annual IEEE International...more Jan 28 2016 - 6:05pm 8 years 44 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Transformation Tools Contest 2016 - Call for cases ** Call for cases ** 9th Transformation Tool Contest 2016 8th July 2016 | Vienna, Austria. | http://www.transformation-tool-contest.eu Part of STAF 2016 (http://staf2016.conf.tuwien.ac.at/) About TTC The aim of this event is to evaluate and compare transformation tools, with respect to th...more Jan 28 2016 - 5:45pm 8 years 44 weeks ago
Calls for Papers CFP: Sixth International Workshop on Information Systems Security Engineering CALL FOR PAPERS Sixth International Workshop on Information Systems Security Engineering - WISSE'16 Ljubljana, Slovenia | 13 June 2016 | http://gsya.esi.uclm.es/WISSE2016 In conjunction with the 28th International Conference on Advanced Information Systems Engineering (CAiSE'16) http://caise2...more Jan 28 2016 - 4:58pm 8 years 44 weeks ago
Calls for Papers CfP: MECO 2016 - the 5th Mediterranean Conference on Embedded Computing CALL FOR PAPERS 5th Mediterranean Conference on Embedded Computing (MECO'2016) Bar, Montenegro | June 12-16, 2016 | http://embeddedcomputing.me MECO'2016 - the 5th Mediterranean Conference on Embedded Computing (MECO 2016) is the next of a series of very successful MECO events. It is an Interna...more Jan 28 2016 - 4:19pm 8 years 44 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress IPSN '16 Call for Demos and Posters Call for Demos and Posters International Conference on Information Processing in Sensor Networks (IPSN 2016) April 11-14, 2016 | Vienna, Austria | http://ipsn.acm.org/2016/posters.html?v=1 The 15th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2016) draws u...more Jan 28 2016 - 1:55pm 8 years 44 weeks ago
Calls for Papers IPSN 2016 - Call for Papers The 15th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN '16) April 11-14, 2016 | Vienna, Austria | http://ipsn.acm.org/2016/ The International Conference on Information Processing in Sensor Networks (IPSN) is a leading annual forum on research in networked sen...more Aug 25 2015 - 1:31pm 8 years 44 weeks ago
General Announcements New Connected Vehicle Data Sets from Safety Pilot Model Deployment (SPMD) Program Now Available on the Research Data Exchange The Research Data Exchange (RDE) is a web-based data resource provided by the USDOT Intelligent Transportation Systems (ITS) Program. It collects, manages, and provides access to archived and real-time multi-source and multi-modal data to support the development and testing of ITS applications. The...more Jan 28 2016 - 12:50pm 8 years 44 weeks ago
Calls for Papers CfP: SCOPE 2016 w/GCTC - Position Paper Deadline Extended to January 29! CALL FOR PAPERS Deadline Extended to January 29! First International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) in partnership with Global City Teams Challenge (GCTC) April 11, 2016, Vienna, Austria (Collocated with CPS Week) | scope.isis.vanderbilt.edu/worksho...more Nov 23 2015 - 4:10pm 8 years 44 weeks ago
Position Announcements Postdoctoral Position at Virginia Tech Postdoctoral Research Associate - Virginia Tech A postdoctoral position is available in the Systems Software Research Group (http://www.ssrg.ece.vt.edu/) at Virginia Tech (http://www.vt.edu/) on a project that involves developing compiler, run-time, and language support for emerging heterogeneous m...more Jan 27 2016 - 4:57pm 8 years 44 weeks ago
Calls for Papers CfP: Robocup Symposium 2016 Call for Papers RoboCup International Symposium 2016 Leipzig, Germany | July 4, 2016 | http://www.robocup2016.org | robocupsymposium2016@easychair.org OVERVIEW The 20th Annual RoboCup International Symposium will be held in conjunction with RoboCup 2016. The Symposium is a primary venue for...more Jan 27 2016 - 4:48pm 8 years 44 weeks ago
Position Announcements Research positions in dependable systems at MDH SENIOR LECTURER, RESEARCHER, PHD STUDENTS IN EMBEDDED SYSTEMS AT MDH The research profile Dependable Platforms for Autonomous systems and Control (DPAC) at MDH is recruiting new staff for research in engineering of dependable embedded systems. Read more about the goals and content of DPAC at http:...more Jan 27 2016 - 4:34pm 8 years 44 weeks ago
Calls for Papers CFP 3rd Int. Workshop on Information Fusion for Smart Mobility Solutions CALL FOR PAPERS Third International Workshop on Information Fusion for Smart Mobility Solutions (IFSMS16) 19-22 September, 2016, London, United Kingdom | http://www.multiagent.fr/Conferences:IFSMS16 In conjunction with the 7th International Conference on Emerging Ubiquitous Systems and Pervasive...more Jan 27 2016 - 3:35pm 8 years 44 weeks ago