CPS Community Announcements

Title Posted Updatedsort icon Content Forum Promoted to VO Archived
1st CfP: ABZ 2016 Mar 2 2015 - 5:30pm 1 day 21 hours ago 5th International ABZ 2014 Conference (ASM, Alloy, B, TLA, VDM, Z) May 23-27, 2016 -- Linz, Austria http://www.cdcc.faw.jku.at/ABZ2016/ The ABZ conference is dedicated to the cross-fertilization of si...more Calls for Papers
F-IDE 2015: Call for papers (FM2015 Workshop) Mar 2 2015 - 5:22pm 1 day 21 hours ago The 2nd Formal Integrated Development Environment Workshop (F-IDE 2015) 22 June 2015, Oslo, Norway | http://www.eecs.qmul.ac.uk/~masci/fide2015 OVERVIEW The 2nd Formal Integrated Development Environm...more Calls for Papers
Extension CFP: ICINCO 2015 - Int'l Conf. on Informatics in Control, Automation and Robotics (Colmar, Alsace/France) Mar 2 2015 - 5:18pm 1 day 21 hours ago 12th International Conference on Informatics in Control, Automation and Robotics ICINCO website: http://www.icinco.orgIn Cooperation with: EUROMICRO, AAAI, APCA, INNS, APNNA and euRobotics AISBLCo-Spo...more Calls for Papers
FORMATS 2015 - First Call for Papers Mar 2 2015 - 5:04pm 1 day 22 hours ago FORMATS 2015 - 13th International Conference on Formal Modeling and Analysis of Timed Systems http://formats2015.unifi.it Objective Timing aspects of systems from a variety of computer science domains...more Calls for Papers
CfP: WATERS 2015: 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems Mar 2 2015 - 4:51pm 1 day 22 hours ago 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS'15) http://waters2015.inria.fr July 7, 2015 in Lund, Sweden In conjunction with ECRTS'15 The...more Calls for Papers
Conference on Simulation-Based Test Beds for Smart Grids at CMU March 30 Mar 2 2015 - 4:41pm 1 day 22 hours ago Save the Date! The Tenth Anniversary of the Carnegie Mellon University Electricity Conference Monday, March 30 through Wednesday, April 1, 2015 (Conference) and Thursday, April 2-Friday, April 3 (Wo...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
GCM 2015: Call for Papers Mar 2 2015 - 4:32pm 1 day 22 hours ago 6th International Workshop on GRAPH COMPUTATION MODELS 20 July, 2015, L'Aquila, Italyco-located with ICGT 2015, part of STAF 2015http://www-users.cs.york.ac.uk/~det/GCM2015/cfp.html The aim of GCM 201...more Calls for Papers
Mark your Calendar: MPSoC 2015 July 13-17, 2015, Ventura, CA, http://www.mpsoc-forum.org Mar 2 2015 - 4:23pm 1 day 22 hours ago 15th International Forum on MPSoC for Software-defined Hardware July 13-17, 2015, Ventura Beach Marriott, CA USA. MPSoC This year will again feature a strong program with emphasis on Software defined...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
CALL FOR PAPERS AND CONTRIBUTION - ACM Transactions on Cyber-Physical Systems Mar 2 2015 - 10:38am 2 days 4 hours ago Cyber-Physical Systems (CPS) has emerged as a unifying name for systems where the cyber parts, i.e., the computing and communication parts, and the physical parts are tightly integrated, both at the...more Calls for Papers
TechJam Webcast and Presentations Now Available Feb 26 2015 - 2:55pm 6 days 18 min ago Thanks to all of the participants for a very successful Tech Jam earlier this month. More than 250 people attended the event and hundreds more participated via webcast. Representatives of 34 existing...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
VSTTE 2015 Call For Papers Feb 24 2015 - 12:35pm 1 week 1 day ago 7th Working Conference on Verified Software: Theories, Tools, and Experiments July 18 - 19, 2015 San Francisco, California, USAhttp://www.eecs.berkeley.edu/vstte15 Co-located with 25th Conference on...more Calls for Papers
DARPA LAUNCHES Robots4Us VIDEO CONTEST FOR HIGH SCHOOL STUDENTS Feb 23 2015 - 1:03pm 1 week 2 days ago This is a great way for high school students to get a first-hand experience of the progress being made within the DARPA Robotics Challenge (DRC). Winners Will Earn Opportunity to Attend DARPA Robotic...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Software and Systems Modeling Nov 6 2014 - 8:11pm 1 week 3 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
international conference on Intelligent Information Processing, Security and Advanced Communication IPAC 2015 (published by ACM) Feb 21 2015 - 1:01pm 1 week 4 days ago international conference on intelligent information processing, security and advanced communication (ipac'2015) http://www.ipac.awict.net/Publications_Journals.html november ,23-25. 2015 batna algeri...more Calls for Papers
CFP: 3rd ACM Int. Workshop on Many-core Embedded Systems (MES) @ ISCA-15 Feb 18 2015 - 5:44pm 1 week 6 days ago Submission deadline: March 15th Call for Paper Third ACM International Workshop on Many-core Embedded Systems (MES) in conjunction with the 42nd International symposium on Computer Architecture (ISC...more Calls for Papers
ACM SIGBED CPSWeek 2015 Travel Grants (http://sigbed.blogspot.com/) Feb 18 2015 - 5:40pm 1 week 6 days ago To promote excellence in Cyber-Physical Systems (CPS) education and research, SIGBED offers TRAVEL GRANTS for STUDENTS to attend CPSWeek 2015, the premier forum in the cyber-physical system area. The...more General Announcements
CfP: Embedded Software Engineering Track at SEEA 2015 Feb 18 2015 - 5:35pm 1 week 6 days 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: Formal Aspects of Computing: Formal Engineering Methods Feb 18 2015 - 5:31pm 1 week 6 days ago Formal Aspects of Computing Special Issue on Formal Engineering Methods Guest editors: Stephan Merz (INRIA Nancy), Jun Pang (University of Luxembourg) This special issue is devoted to the scope of the...more Calls for Papers
FDL2015 > Call for Papers Feb 18 2015 - 5:22pm 1 week 6 days ago Forum on specification & Design Languages CALL FOR PAPERS September 14-16, 2015 | Barcelona, Spain FDL is an international forum to exchange experiences and promote new trends in the applicatio...more Calls for Papers
STAF 2015: Joint Call for Papers Feb 18 2015 - 5:02pm 1 week 6 days ago Joint Call for Papers for STAF 2015 - Software Technologies: Applications and Foundations 20-24 July 2015, L'Aquila, Italyhttp://www.disim.univaq.it/staf2015/https://twitter.com/staf2015 STAF 2015 ev...more Calls for Papers
CfP: SPECIAL SESSION on On-chip Communication Architectures for Multi-Core and Many-Core Systems in IEEE MCSoC Symposium Feb 18 2015 - 4:45pm 1 week 6 days ago On-chip Communication Architectures for Multi-Core and Many-Core Systems (OCA-MC) Special session in IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-15) http://...more Calls for Papers
ESWEEK 2015 Call for Tutorial Proposals Feb 18 2015 - 4:37pm 1 week 6 days ago ESWeek is the premier event covering all aspects of embedded systems and software. By bringing together three leading conferences (CASES, CODES+ISSS, and EMSOFT), 2 symposia (ESTIMedia, Internet-of-Th...more Calls for Workshops & Tutorials
LOPSTR 2015: 2nd Call for Papers Feb 18 2015 - 4:27pm 1 week 6 days ago 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015) Special Issue of Formal Aspects of Computing http://alpha.diism.unisi.it/lopstr15/ University of Siena, S...more Calls for Papers
CFP: "ARCHITECTURES & SYSTEMS FOR AUTOMOTIVE AND INTELLIGENT TRANSPORTATIONS" (ASAIT), DSD'2015 SPECIAL SESSION Feb 18 2015 - 4:18pm 1 week 6 days ago Special Session on: Architectures & Systems for Automotive and Intelligent Transportations, ASAIT'1518th Euromicro Conference on Digital System Design, Funchal, Madeira, Portugal - August 26-28,...more Calls for Papers
NSF CPS Week 2015 Student Travel Awards Feb 18 2015 - 4:09pm 1 week 6 days ago NSF CPS Week 2015 Student Travel Support Grants, Seattle, WA, USA, April 13-16, 2015http://www.cpsweek.org/2015/ The CPS Week 2015 has secured limited number funds for student travel support through...more General Announcements
IPSN 2015 call for PhD Forum submissions (deadline extended to February 22, 2015) Feb 18 2015 - 3:47pm 1 week 6 days ago The PhD Forum of IPSN 2015 seeks to provide a friendly, supportive, and constructive environment where PhD students can present their research in progress for an open discussion guided by a panel of e...more Calls for Papers
CALL FOR PAPERS - SIES 2015: New Extended Submission Deadline Feb 18 2015 - 3:41pm 1 week 6 days ago 10th IEEE Symposium on Industrial Embedded Systems - SIES 2015 University of Siegen, Siegen, Germany June 8-10, 2015 *** New Extended Submission Deadli...more Calls for Papers
WearSys 2015 call for papers Feb 18 2015 - 3:24pm 1 week 6 days ago Workshop on Wearable Systems and Applications (WearSys 2015) To be held in conjunction with MobiSys 2015 at Florence, Italy The off-the-shelf availability of wearable devices and the commercial prol...more Calls for Papers
WearSys 2015 call for poster and demo Feb 18 2015 - 3:23pm 1 week 6 days ago Workshop on Wearable Systems and Applications (WearSys 2015) To be held in conjunction with MobiSys 2015 at Florence, Italy The off-the-shelf availability of wearable devices and the commercial prol...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
WearSys 2015 call for poster and demo Feb 18 2015 - 3:21pm 1 week 6 days ago Workshop on Wearable Systems and Applications (WearSys 2015) To be held in conjunction with MobiSys 2015 at Florence, Italy The off-the-shelf availability of wearable devices and the commercial prol...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
14th meeting of the Software Certification Consortium Jan 20 2015 - 11:03am 2 weeks 5 days 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
NSF CPS Week 2015 Student Travel Support Grants Feb 12 2015 - 10:29am 2 weeks 6 days ago CPS Week 2015 (Seattle, WA, USA, April 13-16, 2015) has secured limited number funds for student travel support through the generous support of the National Science Foundation. It is anticipated that...more General Announcements
invitation to DATE 2015 Tutorial on The power of Power in future wireless smart systems for the Internet of Things Feb 5 2015 - 1:00pm 3 weeks 6 days ago DATE 2015 Tutorial Low Power: The power of Power in future wireless smart systems for the Internet of Things Grenoble ALPEXPO-ALPES Congres Monday 9 March, 2015 14:30-18:00 http://www.date-conference....more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Call for Papers RADIANCE @ DSN 2015 Feb 5 2015 - 12:53pm 3 weeks 6 days ago International Workshop on Recent Advances in the DependabIlity AssessmeNtof Complex systEms http://www.devasses.eu/index.php/radiance Important Dates: Submission deadline: March 8th, 2015 Author noti...more Calls for Papers
F-IDE 2015: Call for papers (FM2015 Workshop) Feb 5 2015 - 12:44pm 3 weeks 6 days ago The 2nd Formal Integrated Development Environment Workshop (F-IDE 2015) 22 June 2015, Oslo, Norway http://www.eecs.qmul.ac.uk/~masci/fide2015 OVERVIEW The 2nd Formal Integrated Development Environment...more Calls for Papers
CfP: VIPES 2015 - 3rd Workshop on Virtual Prototyping of Parallel and Embedded Systems Feb 5 2015 - 12:28pm 3 weeks 6 days ago 3rd Workshop on Virtual Prototyping of Parallel and Embedded Systems - ViPES www.vipes-workshop.org July 19th, 2015, Samos, Greece The 3rd Workshop on Virtual Prototyping of Parallel and Embedded Syst...more Calls for Papers
CfP: ATVA 2015, 13th International Symposium on Automated Technology for Verification and Analysis Feb 5 2015 - 12:17pm 3 weeks 6 days ago ATVA 2015, 13th International Symposium on Automated Technology for Verification and Analysis October 12-15, 2015, Shanghai, China, http://atva2015.ios.ac.cn/ BACKGROUND The purpose of ATVA is to prom...more Calls for Papers
CfP: 18th Euromicro Conference on Digital System Design SPECIAL SESSION... Feb 5 2015 - 12:10pm 3 weeks 6 days ago 18th Euromicro Conference on Digital System Design Funchal, Madeira, Portugal - August 26-28, 2015http://www.euromicro.org/dsd CfP for SPECIAL SESSION ON "MIXED-CRITICALITY SYSTEM DESIGN, IMPLEMENTAT...more Calls for Papers
Deadline Extension for FM'15 Industry Submissions Feb 5 2015 - 12:06pm 3 weeks 6 days ago FM 2015 Industry Track as part of the 20th International Symposium on Formal Methods | Oslo, Norway, June 22-26, 2015 http://fm2015.ifi.uio.no/fm2015-industry-track/ IMPORTANT DATES: Feb 15, 2015:...more Calls for Papers
IEEE INDIN 2015 Deadline extension Feb 5 2015 - 11:57am 3 weeks 6 days ago INDIN'15 extended paper submission deadline: 17th February 2015 The 2015 edition of the IEEE International Conference on Industrial Informatics (INDIN) will be hosted in the historical city of Cambrid...more Calls for Papers
2015 NSF Early-Career Investigators Workshop on Cyber-Physical Systems for Smart Cities Jan 26 2015 - 10:49am 3 weeks 6 days ago The 2015 NSF Early-Career Investigators Workshop on Cyber-Physical Systems in Smart Cities Background on CPS and Smart Cities Cyber-physical systems (CPS) are engineered systems that are built from,...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Save The Date - GCTC Tech Jam Dec 22 2014 - 3:38pm 4 weeks 1 hour 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
Call for Participation: NSF Workshop on achieving ultra-low latencies in wireless networks Jan 29 2015 - 2:26pm 4 weeks 2 hours ago The National Science Foundation will be sponsoring a workshop on the topic of ultra-low latencies in wireless networks, to be held on March 26-27 at Arizona State University, Phoenix, Arizona. The wo...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control Nov 21 2014 - 5:01pm 4 weeks 2 hours ago To be held on April 13, 2015 in conjunction with CPS Week 2015. Cyber-physical systems research to date has focused on the development of synergy and tight coupling of the physical and computational...more Calls for Papers
Tech Jam Agenda and Registration Jan 27 2015 - 5:44pm 4 weeks 3 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
Registration Open - OpenModelica/MODPROD Workshops Febr 2015 Attachments: Dec 22 2014 - 2:38pm 4 weeks 3 hours ago Registration Open - OpenModelica/MODPROD Workshops Febr 2015 Location: Linkoping University, Linkoping, Sweden 9th MODPROD Workshop on Model-Based Product Development, February 3-4, 2015 7th OpenMode...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Registration Soon Open - OpenModelica/MODPROD Workshops Febr 2015 Dec 2 2014 - 1:14pm 4 weeks 3 hours ago Registration Soon Open - OpenModelica/MODPROD Workshops Febr 2015 Location: Linkoping University, Linkoping, Sweden 9th MODPROD Workshop on Model-Based Product Development, February 3-4, 2015...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems Preliminary Call for Contributions Nov 20 2014 - 3:23pm 4 weeks 3 hours ago ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems Preliminary Call for Contributions MODELS is the premier conference series for model-based software and systems...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
ICESS 2015 - First Call for Papers Nov 4 2014 - 7:22pm 4 weeks 3 hours ago The 12th IEEE International Conference on Embedded Software and Systems August 24-26, 2015 in New York, USA http://cse.stfx.ca/~icess2015/ Co-located with HPCC 2015 and CSS 2015 *IMPORTANT DATES* Abst...more Calls for Papers
CfP: ADHS 2015 Nov 4 2014 - 5:52pm 4 weeks 3 hours ago Call for Papers ADHS 2015 5th IFAC Conference on Analysis and Design of Hybrid Systems Georgia Tech Campus, Atlanta, USA. 14-16 October, 2015. http://adhs15.gatech.edu Submission: Apr. 1...more Calls for Papers