CPS Community Announcements

Title Posted Updatedsort icon Content Forum Promoted to VO Archived
CFP ICINCO 2015 - Int'l Conf. on Informatics in Control, Automation and Robotics (Colmar, Alsace/France) Jan 28 2015 - 2:16pm 14 hours 2 min ago 12th International Conference on Informatics in Control, Automation and Robotics (ICINCO) July 21 - 23, 2015 | Colmar, Alsace, France website: http://www.icinco.org In Cooperation with: EUROMICRO, AA...more Calls for Papers
CfP: The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015) Jan 28 2015 - 2:08pm 15 hours 5 min ago The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015) September 27-30, 2015 | Berlin, Germanyhttp://euspn-15.dai-labor.de/<http://cs-conferences.acadi...more Calls for Papers
CfP MobiSPC-2015 Jan 28 2015 - 2:02pm 15 hours 11 min ago The 12th International Conference on Mobile Systems and Pervasive Computing August 17-20, 2015 | Belfort, Francehttp://cs-conferences.acadiau.ca/mobispc-15/ MobiSPC-2015 will provide a leading edge,...more Calls for Papers
CFP:15th International Workshop on Worst-Case Execution Time Analysis Jan 28 2015 - 1:54pm 15 hours 19 min ago 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015) July 7th, 2015 | Lund, Sweden http://www.bsc.es/caos/wcet2015 CALL FOR PAPERS The 15th Inte...more Calls for Papers
CfP: Refinement Workshop: Oslo at FM (submissions 21-28 March) Jan 28 2015 - 1:49pm 15 hours 24 min ago 2015 Refinement Workshop at FM 2015 in Oslo 22 June 2015, colocated with FM 2015 at Oslo www.refinenet.org.uk/ref15/ Refinement is one of the cornerstones of a formal approach to software engineering:...more Calls for Papers
CfP: Robotic Sensor Networks Workshop Deadline Extended to Feb/2/2015 (RSN2015) Jan 28 2015 - 1:43pm 15 hours 29 min ago Due to multiple requests, we have extended the RSN2015 workshop deadline to Feb/2/2015.The 2nd Int. Workshop on Robotic Sensor Networkspart of CPSWEEK 13 April 2015 Seattle Washingto...more Calls for Papers
CfP: FNC-2015 The 10th International Conference on Future Networks and Communications Jan 28 2015 - 1:40pm 15 hours 33 min ago The 10th International Conference on Future Networks and Communications August 17-20, 2015 Belfort, France http://cs-conferences.acadiau.ca/fnc-15/ FNC-2015 will be held in the cit...more Calls for Papers
CFP - Embedded Software Engineering Track (ESE) at SEAA 2015 Jan 28 2015 - 1:29pm 15 hours 44 min ago Embedded Software Engineering (ESE) track at 41th EUROMICRO CONFERENCE on Software Engineering and Advanced Applications (SEAA) Funchal, Madeira, Portugal, August 26-28, 2015 http://paginas.fe.up.pt...more Calls for Papers
CfP: ICARSC 2015 - Int Conf on Autonomous Robot Systems and Competitions Jan 28 2015 - 1:24pm 15 hours 49 min ago 15th IEEE(*) International Conference on Autonomous Robot Systems and Competitions http://robotica2015.utad.pt/ICARSC April 8-10, 2015 | University of Tras-os-Montes e Alto-Douro (UTAD) Vila Real, P...more Calls for Papers
FORTE 2015: Call for Papers (completely new dates) Jan 28 2015 - 1:12pm 16 hours 1 min ago FORTE 2015 A DisCoTec Member Conference 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems http://discotec2015.inria.fr/http://discotec2015.inria....more Calls for Papers
CfP: 11th International Conference on Distributed Computing in Sensor Systems (DCOSS) Jan 28 2015 - 12:33pm 16 hours 40 min ago The 11th International Conference on Distributed Computing in Sensor Systems (DCOSS) Fortaleza, Brazil | June 10 - 12, 2015 Distributed sensor systems are paving the way to novel applications unfeasib...more Calls for Papers
IPSN'15 Joint Call for Posters and Demos (Deadline Extended to January 30) Jan 28 2015 - 12:26pm 16 hours 46 min ago The 14th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2015) draws upon many disciplines including networking, signal and image processing, information and codin...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
First Call for Papers: SETS 2015 Jan 28 2015 - 12:21pm 16 hours 52 min ago 2nd International Workshop about Sets and Tools (SETS 2015) Affiliated to FM 2015 June 23, 2015, Oslo, Norwayhttp://sets2015.cnam.fr/ AIM Sets and constructs built upon them like relations, functions,...more Calls for Papers
AVoCS 2015: First Call for Papers Jan 27 2015 - 5:51pm 1 day 11 hours ago The 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) 1-4 September 2015, Edinburgh, UK https://sites.google.com/site/avocs15/avocs2015@easychair.org IMPORTANT DAT...more Calls for Papers
Tech Jam Agenda and Registration Jan 27 2015 - 5:44pm 1 day 11 hours ago Highlights from the Tech Jam's Agenda Ignite-style presentations from 20+ existing GCTC Action Clusters including: Autonomous vehicles deployment in 9 cities around the world Creating an adhoc WiFi n...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
CfP OSPERT'15: 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications Jan 27 2015 - 5:33pm 1 day 11 hours ago The 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2015) July 7th, 2015 | Lund, Sweden co-located with ECRTS'15 http://www.mpi-sws.org/~bbb/events/ospe...more Calls for Papers
FNC-2015 CFP: The 10th International Conference on Future Networks and Communications August 17-20, 2015 Belfort, France Jan 27 2015 - 5:26pm 1 day 11 hours ago The 10th International Conference on Future Networks and Communications August 17-20, 2015 | Belfort, France http://cs-conferences.acadiau.ca/fnc-15/ FNC-2015 will be held in the city of Bel...more Calls for Papers
FormaliSE 2015: Call for Papers (deadline approaching!) Jan 27 2015 - 5:22pm 1 day 11 hours ago 3rd FME Workshop on Formal Methods in Software Engineering to be held on 18 May 2015 in conjunction with ICSE 2015 (May 16th-May 24th), in Florence, Italy http://www.formalise.org/ INTRODUCTION The...more Calls for Papers
FM 2015: Joint Call for Papers at FM Satellite Workshops & Doctoral Symposium (20th Intl. Symposium on Formal Methods, Oslo) Jan 27 2015 - 5:17pm 1 day 11 hours ago 20th International Symposium on Formal Methods Oslo, Norway Workshops: June 22-23, 2015 Doctoral Symposium: June 22, 2015 (FM main event June 24-26, 2015) http://fm2015.ifi.uio...more Calls for Papers
CFP: CRV15 - 2nd Competition on Runtime Verification Jan 27 2015 - 5:10pm 1 day 12 hours ago The 2nd International Competition on Runtime Verification held with RV 2015, September 22 - 25, 2015 Vienna, Austria CRV-2015 is the 2nd International Competition on Runtime Verification and is part...more Calls for Papers
Early-Career Investigators Workshop on Smart City and Cyber-Physical Systems Jan 26 2015 - 10:49am 2 days 18 hours ago An Early Career Investigators Workshop on Smart Cities and Cyber-Physical Systems (ECI-CPS) will take place April 13th-17th, 2015 in parallel with the 2015 CPS Week in Seattle, Washington. Background...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
CfP: NSV 2015 Nov 26 2014 - 2:33pm 5 days 13 hours ago 8th International Workshop on Numerical Software Verification April 13, 2015 | Cyber-Physical Week 2015 | Seattle, WA, USA Web Page: http://nsv2015.informatik.uni-freiburg.de/ Important Dates Submi...more Calls for Papers
14th meeting of the Software Certification Consortium Jan 20 2015 - 11:03am 1 week 1 day ago Join the 14th meeting of the Software Certification Consortium, Jan 26-27, 2015, North Bethesda, MD See agenda at: http://cps-vo.org/node/17241 Register at: http://cps-vo.org/node/15846more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
APRES 2015 - Call for Papers (AdaPtive and Reconfigurable Embedded Systems) Jan 19 2015 - 4:21pm 1 week 2 days ago 7th Workshop on AdaPtive and Reconfigurable Embedded Systemshttp://apres2015.di.fc.ul.pt/ Seattle, USA, April 13, 2015in conjunction with CPSweek 2015http://www.cpsweek.org/ IMPORTANT DATES Submissio...more Calls for Papers
SaFoMe 2015 - 1st Call for Papers (June 22,2015 -- co-located with FM2015) Jan 19 2015 - 11:52am 1 week 2 days ago 2nd International Workshop on Safety and Formal Methods -- SaFoMe 2015 Co-located with FM 2015: 20th International Symposium on Formal Methods (http://fm2015.ifi.uio.no) June 22-26, 2015 -- Oslo, Norw...more Calls for Papers
CfP: Doctoral Symposium of FM 2015 Jan 19 2015 - 11:30am 1 week 2 days ago Doctoral Symposium of Formal Methods 2015 22 June 2015, Oslo, Norway Call for Papers http://fm2015.ifi.uio.no/fm-2015-doctoral-symposium/ Important Dates Submission: 20 March 2015 Notification: 3 Ap...more Calls for Papers
Extended Deadline - FMICS'15: 20th International Workshop onFormal Methods for Industrial Critical Systems Jan 19 2015 - 10:45am 1 week 2 days ago CALL FOR PAPERS (incl. deadline extension due to popular demand) FMICS 2015 20th International Workshop on Formal Methods for Industrial Critical Systems (http://fmics2015.org/) 22-23 June 2015, Osl...more Calls for Papers
CfP: High Confidence Software and Systems Conference (2015) Jan 15 2015 - 9:43am 1 week 6 days ago The Fifteenth Annual HCSS Conference (2015) Call for Presentations Introduction The fifteenth annual HCSS Conference will be held May 5-8, 2015 at the Historic Inns of Annapolis in Annapolis, Maryland...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Call for Papers: The 2nd Int. Workshop on Robotic Sensor Networks Jan 12 2015 - 1:59pm 2 weeks 2 days ago The 2nd Int. Workshop on Robotic Sensor Networks part of CPSWEEK 13 April 2015 Seattle Washington, USA http://www.cse.buffalo.edu/faculty/kdantu/rsn15/ Recent developments in sensing a...more Calls for Papers
CFP: IST-AWSN 2015 (EXTENDED DEADLINE) Jan 12 2015 - 1:40pm 2 weeks 2 days ago IST-AWSN 2015 : 10th International Symposium on Intelligent Techniques for Ad hoc and Wireless Sensor Networks Date: 2-5 June, 2015 Venue: London, United Kingdom Symposium Website: http://www.ist-a...more Calls for Papers
SCOPES 2015 - Call For Papers Jan 12 2015 - 1:55pm 2 weeks 2 days ago 18th International Workshop on Software and Compilers for Embedded Systems June 1-3, 2015 Schloss Rheinfels, St. Goar, Germany http://www.scopesconf.org A next edition of the workshop on Software and...more Calls for Papers
CFP - IEEE Transactions on Industrial Informatics Special Section on New perspectives on Wireless Communications in automation Jan 12 2015 - 1:51pm 2 weeks 2 days ago IEEE Transactions on Industrial Informatics Special Section on New perspectives on Wireless Communications in automation: From industrial monitoring and control to cyber-physical systems The Theme: Wi...more Calls for Papers
FORTE 2015: last Call for Papers Jan 12 2015 - 12:42pm 2 weeks 2 days ago FORTE 2015A DisCoTec Member Conference 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems discotec2015.inria.fr/ taking place on Jun...more Calls for Papers
ESWeek 2015 - First CfP Jan 12 2015 - 12:24pm 2 weeks 2 days ago EMBEDDED SYSTEMS WEEK Amsterdam, The Netherlands, October 4 - 9, 2015 www.esweek.org ++ CASES ++ CODES+ISSS ++ EMSOFT ++ Symposia ++ Workshops ++ Tutorials ++ ++ About ESWeek ESWeek is the premier...more Calls for Papers
ESSS 2015 (co-located with FM 2015 in Oslo): First call for papers Jan 12 2015 - 12:18pm 2 weeks 2 days ago 4th International Workshop on Engineering Safety and Security Systems June 22, 2015, Oslo, Norway Co-located with FM 2015 in Oslo, Norway, June 22-26, 2015 More information:http://pat.sce.ntu.edu.sg...more Calls for Papers
SCOPES 2015 - Call For Papers Jan 12 2015 - 12:12pm 2 weeks 2 days ago 18th International Workshop on Software and Compilers for Embedded Systems June 1-3, 2015 Schloss Rheinfels, St. Goar, Germany http://www.scopesconf.org A next edition of the workshop on Software an...more Calls for Papers
CFP: RTAS 2015, Work-In-Progress Session Jan 12 2015 - 12:08pm 2 weeks 2 days ago The Work-in-Progress (WiP) session at RTAS 2015 is dedicated to new and on-going research in the field of real-time and embedded systems. Authors are invited to submit short abstracts (up to 2 pages)...more Calls for Papers
Save The Date - GCTC Tech Jam Dec 22 2014 - 3:38pm 2 weeks 5 days ago The Global City Teams Challenge is an initiative designed to advance the deployment of Internet of Things (IoT) technologies within a smart city / smart community environment. More than 30 teams are p...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Software and Systems Modeling Nov 6 2014 - 8:11pm 2 weeks 5 days ago Theme Issue: Model-Based Design of Cyber-Physical Systems Editors: Manfred Broy, Heinrich Daembkes, Brian Murray, Janos Sztipanovits Cyber-Physical Systems (CPS) are engineered systems where essentia...more Calls for Papers
SEUS 2015 - Call for Papers Jan 6 2015 - 11:20am 3 weeks 1 day ago 11th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2015) http://www.complang.tuwien.ac.at/seus2015 in conjunction with ISORC 2015http://www.isorc2015.org April 13...more Calls for Papers
Resilience Week 2015: Call for Papers - Due April 6 Jan 6 2015 - 11:12am 3 weeks 1 day ago Resilience Week 2015 in Philadelphia, PA, August 18 - 20 https://secureweb.inl.gov/Resweek2015/Default.aspx Resilience Week includes symposia dedicated to promising research in resilient systems that...more Calls for Papers
FM 2015: Final Call for Papers (20th Intl. Symposium on FormalMethods, Oslo) Jan 6 2015 - 11:10am 3 weeks 1 day ago 20th International Symposium on Formal Methods Oslo, Norway, June 22-26, 2015 http://fm2015.ifi.uio.no/ Call for Papers NEWS: There will be special issues of the Journals - Acta Informatica...more Calls for Papers
CfP: SpringSim 2015 - Work in Progress Session Jan 6 2015 - 11:04am 3 weeks 1 day ago Work in Progress (WIP) TrackPart of the SPRING SIMULATION MULTI-CONFERENCE 2015 (http://www.scs.org/springsim) April 12-15, 2015 The Westin Alexandria; Alexandria, VA, USA (Washington DC Area) With o...more Calls for Papers
Report on the Impact of CPS on Transportation Jan 2 2015 - 10:35am 3 weeks 5 days ago 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" (FH...more General Announcements
Call for papers - ICARSC 2015 Dec 23 2014 - 1:09pm 5 weeks 1 day ago 5th IEEE(*) International Conference on Autonomous Robot Systems and Competitions http://robotica2015.utad.pt/en/ICARSC April 8-10, 2015 University of Tras-os-Montes e Alto-Douro (UTAD) Vila Real...more Calls for Papers
CFP - 9th IEEE/ACM International Symposium on Networks-on-Chip - NOCS 2015 Dec 23 2014 - 12:54pm 5 weeks 1 day ago Call for Papers 9th IEEE/ACM International Symposium on Networks-on-Chip September 28 - 30, 2015 Vancouver, Canada The International Symposium on Networks-on-Chip (NOCS) is the premier event dedicated...more Calls for Papers
Deadline January 15: Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems Dec 23 2014 - 12:43pm 5 weeks 1 day ago News: [1] Submission deadline extended to January 15. [2] 27 thematic workshops are registered http://www.iccs-meeting.org/iccs2015/registered-workshops. [3] In addition to the Full Paper submissio...more Calls for Papers
LCTES 2015: First CFP Dec 23 2014 - 12:21pm 5 weeks 1 day ago First Call for Papers LCTES 2015: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems LCTES provides a link between the programming languages and embedded syst...more Calls for Papers
CfP: Workshop in Feedback Computing at CPSWEEK 2015 Dec 23 2014 - 12:11pm 5 weeks 1 day ago 10th International Workshop on Feedback Computing Co-located with CPSWeek 2015 April 13th, Seattle, WA, USA Call for papers Feedback Computing is a unique forum built around advancing feedback syste...more Calls for Papers
Post-doctoral research position in Real-Time Systems Dec 23 2014 - 12:04pm 5 weeks 1 day ago Post-doctoral Researcher in Real-Time Systems @ University of Pennsylvania The Real-Time Systems Group (http://rtg.cis.upenn.edu) in the PRECISE Center (http://precise.seas.upenn.edu) at the Universit...more Position Announcements