CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Workshops & Tutorials 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Second Call for Workshop Proposals Second Call for Workshop Proposals 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017) St. Raphael Resort, Limassol, Cyprus | March 13-16, 2017 | http://iui.acm.org/2017 Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serve...more May 17 2016 - 4:45pm 8 years 28 weeks ago
Calls for Papers Call for Papers and Tutorials - RV 2016 - Extended Deadlines Following several requests, the deadlines have been extended as follows: - Abstract deadline: Friday May 20 (AoE). - Paper and tutorial deadline: Friday May 27 (AoE). 16th International Conference on Runtime Verification (RV 2016) September 23-30, 2016 | Madrid, Spain | http://rv2016.imag.fr Sc...more Jan 27 2016 - 3:26pm 8 years 28 weeks ago
Calls for Papers CfP: The 14th Overture Workshop CALL FOR PAPERS The 14th Overture Workshop 7 November 2016 | Cyprus, Greece | http://overturetool.org/workshops/14th-Overture-Workshop.html co-located with The Formal Methods Europe Symposium 2016 INTRODUCTION This workshop is of interest to those working in the filed of Cyber-Physical syste...more May 17 2016 - 4:04pm 8 years 28 weeks ago
Calls for Papers CfP: 14th International Workshop on Real-Time Networks (RTN 2016) - Deadline Extension CALL FOR PAPERS - Deadline Extension 19th May 2016 (23:59 GMT-12) 14th International Workshop on Real-Time Networks (RTN 2016) July 5th, 2016 | Toulouse, France| http://ecrts.eit.uni-kl.de/rtn2016 IMPORTANT DATES: Submission deadline: Extended 19th May 2016 (23:59 GMT-12) Notification of ac...more Feb 15 2016 - 1:43pm 8 years 28 weeks ago
Calls for Papers Call for papers - ICTAC 2016 FINAL CALL FOR PAPERS - New hard deadline: 16 May 13th International Colloquium on Theoretical Aspects of Computing (ICTAC 2016) 24-31 October 2016 | Taipei, Taiwan, ROC | http://cc.ee.ntu.edu.tw/~ictac2016 DEADLINE FOR ABSTRACT SUBMISSIONS: 23 APRIL, 2016 *************************************...more Jan 28 2016 - 2:25pm 8 years 28 weeks ago
Calls for Papers CFP - Third Workshop on Low-Power Dependable Computing (LPDC) CALL FOR PAPERS The Third Workshop on Low-Power Dependable Computing (LPDC) In conjunction with The 7th International Green and Sustainable Computing Conference (IGSC) November 7-9, 2016 | Hangzhou, China | http://www.cs.utsa.edu/~dzhu/2016-LPDC.html ** NEWS: IEEE Transactions on Sustainable...more May 9 2016 - 3:54pm 8 years 29 weeks ago
Calls for Papers LOPSTR 2016: 1st Call for Papers CALL FOR PAPERS 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) Edinburgh, UK | September 6-8, 2016 | http://cliplab.org/Conferences/LOPSTR16/ (co-located with PPDP 2016 and SAS 2016) DEADLINES: Abstract submission: June 7, 2016 Paper/Extende...more May 9 2016 - 3:23pm 8 years 29 weeks ago
Calls for Papers CfP: Workshop on Embedded and Cyber-Physical Systems Education (WESE 2016) Call for papers Workshop on Embedded and Cyber-Physical Systems Education (WESE 2016) October 6, 2016 | Pittsburgh, PA, USA | http://www.emsig.net/conf/2016/wese/ Part of the Embedded Systems Week (http://www.esweek.org/ ) Paper submission deadline: August 1st (midnight, Central European Time...more Apr 25 2016 - 11:15am 8 years 29 weeks ago
Calls for Papers CFP: 24th International Conference on Real-Time Networks and Systems (RTNS 2016) CALL FOR PAPERS - Submission Deadline: 25th July 2016 24th International Conference on Real-Time Networks and Systems (RTNS 2016) Brest, Brittany, France | October 19-21, 2016 | http://rtns16.univ-brest.fr CONFERENCE RTNS is a friendly conference with a great sense of community that presents...more May 9 2016 - 3:06pm 8 years 29 weeks ago
Position Announcements NSF DCL: Supplemental Funding for Graduate Students to Enter Workforce Dear Colleague Letter: Improving Graduate Student Preparedness for Entering the Workforce, Opportunities for Supplemental Support Please find attached a Dear Colleague Letter (DCL) describing a variety of opportunities for NSF-funded graduate students to pursue professional development experiences...more May 9 2016 - 2:55pm 8 years 29 weeks ago
Calls for Papers CfP: 5th International Workshop on Hybrid Systems Biology (HSB 2016) First Call for Papers and Posters/Demos 5th International Workshop on Hybrid Systems Biology (HSB 2016) 20-21 October 2016 | Grenoble (France) | http://hsb2016.imag.fr/ Proceedings in Springer LNCS/LNBI series Previous editions have been held in Newcastle upon Tyne (UK), Taormina (Italy), Vienn...more May 9 2016 - 2:52pm 8 years 29 weeks ago
Position Announcements Research Scientist and PhD positions at University of Luxembourg - Real-time embedded systems A Research Scientist (up to 5 year fixed term contract) and 2 PhD position openings in the Critical Real-Time Embedded Systems (CRTES) group at the University of Luxembourg. *Research Scientist position*: Status: fixed-term contract, up to 5 years, competitive salary. Keywords: real-time em...more May 9 2016 - 2:36pm 8 years 29 weeks ago
Calls for Papers First Call for Papers: The 16th IEEE International Symposium on Signal Processing and Informatio First Call for Papers, Special Sessions and Tutorials The 16th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2016) December 12-14, 2016 | St. Raphael Resort, Limassol, Cyprus | http://cyprusconferences.org/isspit2016/ IEEE ISSPIT 2016 is the sixteenth in...more May 9 2016 - 2:25pm 8 years 29 weeks ago
General Announcements New Connected Vehicle Data Environments from the Following Projects are Now Available in 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 May 9 2016 - 2:17pm 8 years 29 weeks ago
Calls for Papers CfP: Domain-Specific Modeling '16 at SPLASHCon CALL FOR PAPERS The 16th workshop on Domain-Specific Modeling (DSM16) 30 Oct 2016 | Amsterdam, Netherlands | http://www.dsmforum.org/events/DSM16/ Colocated with SPLASH Submission deadline: 15 August Domain-Specific Modeling (DSM) provides a modern solution to demands for higher productivity by...more May 9 2016 - 2:10pm 8 years 29 weeks ago
Calls for Papers Deadline Extension: 1st IFAC/IFIP Workshop on Computers and Control - WOCO 2016 CALL FOR PAPERS Deadline Extended to May 16, 2016 1st IFAC/IFIP Workshop on Computers and Control (WOCO 2016) 18-20 October 2016, Valencia, Spain | http://woco2016.upv.es Sponsored and Organised by IFAC TC3.1 Technical Committee on Computers for Control Co-Sponsored by IFIP WG 10.5 Design and E...more Jan 28 2016 - 4:30pm 8 years 29 weeks ago
Calls for Papers CfP: Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE 2016) CALL FOR PAPERS - Submission deadline May 20, 2016 Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE 2016) in conjunction with ETFA 2016 Berlin, Germany | 23-27,September 06-09, 2016 | http://www.socne.org Selected Topics Networked Embedded Syst...more May 9 2016 - 1:55pm 8 years 29 weeks ago
Calls for Papers 1st CFP: SLE 2016 (9th ACM SIGPLAN International Conference on Software Language Engineering) CALL FOR PAPERS 9th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2016) Oct 31-Nov 1, 2016 | Amsterdam, Netherlands (Co-located with SPLASH 2016) General chair: Tijs van der Storm, CWI, Netherlands Program co-chairs: Daniel Varro, Budapest University of Tech...more May 9 2016 - 1:49pm 8 years 29 weeks ago
Calls for Papers Call for Open Communications: ICINCO 2016 - Int'l Conf. on Informatics in Control, Automation and Robotics CALL FOR OPEN COMMUNICATIONS IMPORTANT DEADLINE: *May 31st, 2016* (no deadline extension) 13th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2016) In Cooperation with: AAAI, EUROMICRO, INNS, euRobotics AISBL, APCA, APNNA, RSJ, ACM SIGAI, Brazillian Society of...more May 9 2016 - 1:35pm 8 years 29 weeks ago
Calls for Papers CfP: CCSNA 2016: The Fifth IEEE International Workshop on Cloud Computing Systems, Networks, and Applications The Fifth IEEE International Workshop on Cloud Computing Systems, Networks, and Applications (CCSNA) organized in conjunction with IEEE Global Communications Conference (GLOBECOM 2016) 4-8 December 2016, Washington, DC USA http://www.ieee-ccsna.org/ccsna_gc16/ Cloud Computing, as well as Cloud-...more May 9 2016 - 1:02pm 8 years 29 weeks ago
Calls for Papers CfP: IEEE ETFA 2016 - EXTENDED WIP DEADLINE - 20 MAY 2016 EXTENDED DEADLINE - 20 MAY 2016 CALL FOR WORK IN PROGRESS PAPERS 21th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA 2016) Berlin, Germany | 6-9 September 2016 | Web site: http://www.etfa2016.org/ The aim of the ETFA 2016 conference is to bring together res...more Dec 4 2015 - 4:21pm 8 years 29 weeks ago
Calls for Papers CfP: Resilience Week - EXTENDED! Due May 16 (Firm) CALL FOR PAPERS Due to numerous requests, the Call for Papers has been extended to May 16, 2016! (firm) Resilience Week 2016 Chicago, IL | August 16 - 18 | http://www.resilienceweek.com/ Resilience Week includes IEEE technically co-sponsored symposia dedicated to promising research in resilient...more Jan 28 2016 - 5:18pm 8 years 31 weeks ago
Calls for Papers CfP: 2nd Workshop on Security Information Workers CALL FOR PAPERS 2nd Workshop on Security Information Workers June 22 2016 | Denver CO. | http://cyberdna.uncc.edu/wsiw16/ The human element is often considered the weakest element in security. Although many kinds of humans interact with systems that are designed to be secure, one particular type...more Apr 27 2016 - 3:59pm 8 years 31 weeks ago
Calls for Papers CfP Extended Deadline - Special Issue on JSA "Reliable Software Technologies for Dependable Distributed Systems" CALL FOR PAPERS - Extended Deadline Special Issue on "Reliable Software Technologies for Dependable Distributed Systems" JOURNAL OF SYSTEMS ARCHITECTURE (JSA), Elsevier. (Indexed by JCR) Submission deadline: May 7th, 2016 (Extended) Expected publication date: December'16 / April'17 SCOP...more Jan 28 2016 - 5:31pm 8 years 31 weeks ago
Calls for Papers CFP: CyberC 2016 - Chengdu, China, Oct 13-15 CALL FOR PAPERS 8th CyberC - International Conference on Cyber-enabled distributed computing and knowledge discovery technically sponsored by IEEE, IEEE Computer Society, IEEE Big Data, IEEE SDN, IEEE CS Computer Society on Simulation, and IEEE ComSoc Technical SubCommittee on Big Data October 13...more Apr 27 2016 - 3:46pm 8 years 31 weeks ago
Calls for Papers 2nd CfP: ICCD 2016 in Phoenix, AZ Call for Papers 2016 IEEE International Conference on Computer Design (ICCD) Oct 3-5, 2016 | Phoenix, AZ | http://www.iccd-conf.com IMPORTANT DATES: May 13 Abstract submission May 20 Full paper submission July 29 Notification of Acceptance August 19 Final paper The International C...more Mar 31 2016 - 11:19am 8 years 31 weeks ago
Calls for Papers CfP: WCET Workshop 2016 - New Deadlines CALL FOR PAPERS - New Deadlines 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) Toulouse, France | 5th July 2016 | http://wcet2016.compute.dtu.dk in conjunction with the Euromicro Conference on Real-Time Systems (ECRTS) WCET 2016 is kindly supporte...more Jan 28 2016 - 5:27pm 8 years 31 weeks ago
Calls for Papers CFP: 19th ACM/IEEE MSWiM 2016 Conference CALL FOR PAPERS 19th ACM*/IEEE* 19th Annual International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2016) Malta, Nov 13-17, 2016 | http://www.mswimconf.com/2016 IMPORTANT: Submission deadline: May 30th, 2016 *Pending Upon Approval ACM/IEEE* MSW...more Apr 27 2016 - 3:28pm 8 years 31 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Solutions: Transformation Tool Contest 2016 CALL FOR SOLUTIONS 7th Transformation Tool Contest 2016 8th July 2016 | Vienna, Austria | http://www.transformation-tool-contest.eu Part of STAF 2016 (https://www.cs.york.ac.uk/staf/) The 2016 Transformation Tool Contest (TTC) seeks your solutions to a challenging transformation problem, inv...more Apr 27 2016 - 3:20pm 8 years 31 weeks ago
Calls for Papers Final CfP: 19th Euromicro Conference on Digital System Design (DSD 2016) FINAL CALL FOR PAPERS 19th Euromicro Conference on Digital System Design (DSD 2016) Aug. 31st - Sept. 2nd, 2016 | St. Raphael Resort, Limassol, Cyprus | http://dsd2016.cs.ucy.ac.cy *** Extended Submission Deadline: April 24, 2016 *** Collocated with the 42nd Euromicro Conference on Software En...more Apr 26 2016 - 6:05pm 8 years 31 weeks ago
Calls for Papers CfP: AICCSA 2016: 13th ACS/IEEE International Conference on Computer Systems and Applications CALL FOR PAPERS 13th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2016) Nov 29th - Dec 2nd, 2016 | Royal Atlas and Spa, Agadir, Morocco | http://www.aiccsa.net/AICCSA2016/ The ACS/IEEE International Conference on Computer Systems and Applications (AICCSA) is t...more Apr 26 2016 - 5:52pm 8 years 31 weeks ago
Calls for Papers TIPS'16 Call for Papers CALL FOR PAPERS 1st International workshop on TIming Performance in Safety Engineering (TIPS'16) 20 September 2016 | Trondheim, Norway | http://www.ntnu.edu/web/safecomp2016/tips16 Goals The purpose of the TIPS Workshop is to provide a forum for both practitioners and researchers to present cont...more Apr 26 2016 - 5:33pm 8 years 31 weeks ago
Position Announcements Research Scientist Position on Cyber-Physical Systems; CISTER, Porto, Portugal OPEN POSITIONS - RESEARCH SCIENTIST - Cyber-Physical Systems REF: RSCPS/2016/3 CISTER Research Center Porto, PORTUGAL www.cister.isep.ipp.pt/jobs/ The CISTER Research Center (www.cister.isep.ipp.pt), located in Porto, Portugal, an international reference in the area of real-time and embedded...more Apr 26 2016 - 5:21pm 8 years 31 weeks ago
Calls for Papers CFPs: The Third International Workshop on the Future of the Internet of Things (FIT 2016) CALL FOR PAPERS The Third International Workshop on the Future of the Internet of Things (FIT 2016) in conjunction with The 11th International Conference on Future Networks and Communications August 15-18, 2016 | Montreal, Quebec, Canada | https://sites.google.com/site/3rdfitworkshop Recent ad...more Apr 26 2016 - 3:42pm 8 years 31 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress 2016 Safe and Secure Systems and Software Symposium (S5) - Save the Date! 2016 Safe and Secure Systems and Software Symposium (S5) - Save the Date! July 12-14, 2016 | Dayton, Ohio Dear Colleagues, The Air Force Research Laboratory, Aerospace Systems Directorate, Power and Control Division will be hosting the 2016 Safe and Secure Systems and Software Symposium (S5) on 1...more Apr 26 2016 - 3:31pm 8 years 31 weeks ago
Calls for Papers CfP: EUC 2016 - Deadline Extension April 29 Call for Papers 14th IEEE International Conference on Embedded and Ubiquitous Computing (EUC 2016) Paris, France | August 24-26, 2016 | http://euc2016.conferences-events.org/ In conjunction with DCABES 2016 and CSE 2016 by MINES ParisTech - Research University, CentraleSupelec and UFC/FEMTO-ST I...more Apr 26 2016 - 2:59pm 8 years 31 weeks ago
Calls for Papers Extended deadline for DSD2016 SPECIAL SESSION ON DESIGN OF CYBER-PHYSICAL SYSTEMS 19th Euromicro Conference on Digital System Design Limassol, Cyprus | Aug. 31st - Sept. 2nd, 2016 SPECIAL SESSION ON DESIGN OF CYBER-PHYSICAL SYSTEMS Important Dates EXTENDED Deadline for paper submission: April 24th Notification of acceptance: May 30th Camera ready papers: June 27th...more Apr 26 2016 - 2:37pm 8 years 31 weeks ago
Position Announcements PhD Student / Research Assistant Position: Formal Methods in Software and Systems Engineering PhD Student / Research Assistant Position: Formal Methods in Software and Systems Engineering In my group at the University of Konstanz, Germany, I have an opening for a full-time PhD Student / Research Assistant Position in Formal Methods in Software and Systems Engineering to be filled starting A...more Apr 26 2016 - 1:19pm 8 years 31 weeks ago
Calls for Papers CfP: The Second International Workshop on Future Information Security, Privacy and Forensics for Complex systems (FISP 2016) CALL FOR PAPERS The Second International Workshop on Future Information Security, Privacy and Forensics for Complex systems (FISP 2016) https://sites.google.com/site/icsrg13/fisp2016 | August 15-18, 2016 | Montreal, Quebec, Canada In Conjunction with the 11th International Conference on Future...more Apr 26 2016 - 1:03pm 8 years 31 weeks ago
Calls for Papers CFP: IoTNAT, August 15-18, 2016, Montreal, Quebec, Canada CALL FOR PAPERS The Second International Workshop on Internet of Things: Networking Applications and Technologies (IOTNAT 2016) http://www.staffs.ac.uk/personal/engineering_and_technology/eb26/IoTNAT-2016/index.html August 15-18, 2016 | Montreal, Quebec, Canada In Conjunction with the 11th Inter...more Apr 26 2016 - 12:55pm 8 years 31 weeks ago
Calls for Papers 3rd CfP: 21st International Symposium on Formal Methods (FM 2016) CALL FOR PAPERS FM 2016: 21st International Symposium on Formal Methods Limassol, Cyprus | 7-11 November 2016 | fm2016.cs.ucy.ac.cy FM 2016 is the latest in a series of symposia organized by Formal Methods Europe, an independent association that encourages the use of, and research on, formal met...more Dec 17 2015 - 4:06pm 8 years 31 weeks ago
Calls for Papers Last CFP - VECoS 2016 - Deadline Extension May 6 CALL FOR PAPERS - Deadline Extension May 6, 2016 10th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2016) Tunis, Tunisia, October 6-7, 2016 | http://www.vecos-world.org Important dates Paper Submission Deadline extended: May 6, 2016 (firm...more Feb 15 2016 - 12:13pm 8 years 31 weeks ago
Calls for Papers ASSURE 2016 Call for Papers - 4th International Workshop on Assurance Cases for Software-intensive Systems CALL FOR PAPERS 4th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2016) September 20, 2016 | Trondheim, Norway | Collocated with SAFECOMP 2016. DESCRIPTION Software plays a key role in high-risk systems, e.g., safety-, security-, and mission-critical systems....more Apr 4 2016 - 5:57pm 8 years 34 weeks ago
Position Announcements Senior Researcher Position in Software Testing at SICS Swedish ICT Västerås, Sweden Senior Researcher Position in Software Testing at the Swedish Institute of Computer Science (SICS), SICS Swedish ICT Vasteras, Sweden Application deadline: April 7th, 2016 The position is fulltime for one year and mainly concerns research. The position has a specialization in Software Testing,...more Mar 31 2016 - 11:37am 8 years 35 weeks ago
Calls for Papers Work-in-Progress CFPs -11th IEEE Symp. on Industrial Embedded Systems CALL FOR WORK-IN-PROGRESS PAPERS SIES 2016 11th IEEE International Symposium on Industrial Embedded Systems (SIES) Sponsored by: IEEE Council on Electronic Design Automation (IEEE CEDA) AGH University of Science & Technology in Krakow Intel Poland AGH University of Science & Technology,...more Mar 31 2016 - 11:31am 8 years 35 weeks ago
Calls for Papers FORECAST 2016: Call for Papers FIRST CALL FOR PAPERS FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016) affiliated with SEFM as part of STAF 2016 8 July 2016 | Vienna | http://forecast.disia.unifi.it/ IMPORTANT DATES April 30, 2016 Abstract submission May 5, 2016 Paper s...more Mar 31 2016 - 11:06am 8 years 35 weeks ago
Calls for Papers CAV 2016: CfP for 9th International Workshop on Numerical Software Verification (NSV) CALL FOR PAPERS 9th International Workshop on Numerical Software Verification (NSV 2016) colocated at 9th International Workshop on Numerical Software Verification (CAV 2016) July 17-18, 2016 | Toronto, Ontario, Canada | http://nsv2016.pages.ist.ac.at/ Important Dates Submissions deadline:...more Mar 31 2016 - 10:51am 8 years 35 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: NetSoft 2016 at Seoul (2nd IEEE CONFERENCE ON NETWORK SOFTWARIZATION) CALL FOR PARTICIPATION 2nd IEEE CONFERENCE ON NETWORK SOFTWARIZATION - NetSoft 2016 Softwarization of Networks, Clouds, and Internet of Things SEOUL, KOREA | June 6-10, 2016 | http://sites.ieee.org/netsoft/ The IEEE International Conference on Network Softwarization (NetSoft 2016) will be held in...more Mar 31 2016 - 10:36am 8 years 35 weeks ago
Calls for Papers Winter Simulation Conference 2016 - Deadline coming (April 6) CALL FOR PAPERS 2016 Winter Simulation Conference December 11-14, 2016 | Washington, D.C. | http://www.wintersim.org/ The Winter Simulation Conference (WSC) is the premier international forum for disseminating recent advances in the field of dynamic systems modeling and simulation. In addition to...more Mar 31 2016 - 10:20am 8 years 35 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress ANNOUNCEMENT: NYCDOT CV Pilot Site Concept of Operations Webinar The U.S. Department of Transportation's Intelligent Transportation Systems Joint Program Office (ITS-JPO) announces a webinar which will focus on presenting the Concept of Operations for the New York City Department of Transportation (NYCDOT) Pilot site. New York City Department of Transportation (...more Mar 31 2016 - 10:05am 8 years 35 weeks ago