CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Student Posters on Unmanned Aircraft Systems (UAS) Communications and Networking Research Call for Student Posters on Unmanned Aircraft Systems (UAS) Communications and Networking Research AUVSI XPONENTIAL is an industrial conference and exhibition organized by the Association of Unmanned Vehicles and Systems International. During this annual event, the largest global community of lead...more Jan 24 2017 - 7:53am 2 hours 42 min ago
General Announcements Draft "Smart Cities and Communities Federal Strategic Plan: Exploring Innovation Together" Draft "Smart Cities and Communities Federal Strategic Plan: Exploring Innovation Together" Federal Register Notice Request for Comments Due: Tuesday, February 28, 2017 The draft Smart Cities and Communities Federal Strategic Plan was released January 12th for public comments by the Networking and...more Jan 23 2017 - 8:26pm 14 hours 8 min ago
Calls for Papers CfP: IEEE INDIN 2017 - Track on Factory Automation and Communication, Mechatronics and Robotics CALL FOR PAPERS IEEE 15th International Conference on Industrial Informatics The Undergoing Industrial Informatics R-Evolution (INDIN'2017) Emden, Germany | July 24-26, 2017 | indin2017.i2ar.deTrack on: Factory Automation and Communication, Mechatronics and RoboticsPapers dealing with the followin...more Jan 23 2017 - 1:31pm 21 hours 3 min ago
Calls for Papers CFP: IEEE D&T Special Issue on Self-Awareness in SoCs - FINAL CALL CALL FOR CONTRIBUTIONS FINAL CALL FOR PAPERS IEEE Design & Test Special Issue on Self-Awareness in Systems on Chip Inspired by biological examples, self-awareness has become a hot research topic in a variety of disciplines and its applicability has been explored in various applica...more Dec 28 2016 - 3:15pm 21 hours 12 min ago
Calls for Papers CfP: 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (CPSWeek 2017) Call for Submissions 4th International Workshop on Applied Verification for Continuous and Hybrid Systems CMU campus alongside CPS Week Pittsburgh, USA, April 17, 2017 | http://cps-vo.org/group/ARCH The workshop on applied verification for continuous and hybrid systems (ARCH) brings together re...more Jan 23 2017 - 1:20pm 21 hours 15 min ago
Calls for Papers 2nd CfP: Workshop SNR affiliated with ETAPS 2017 CALL FOR PAPERS 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2017) April 22, 2017 | Uppsala, Sweden | http://snr2017.pages.ist.ac.at/ Affiliated with ETAPS 2017 Important Dates Abstract submission: January 27, 2017 Paper submission: February 3,...more Dec 28 2016 - 3:38pm 21 hours 24 min ago
Calls for Papers CFP - RTSS 2017 - Submission deadline May, 1, 2017 CALL FOR PAPERS The 38th IEEE Real-Time Systems Symposium - RTSS 2017 Paris, France | December 5-8, 2017 | http://2017.rtss.org Sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems **** Submission Deadline: May 1st, 2017 (FIRM submission deadline) ****Scope of the Co...more Jan 23 2017 - 1:09pm 21 hours 26 min ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: FactoryHack2017 in Lemgo/Germany CALL FOR PARTICIPATION FactoryHack2017 Lemgo, Germany | March 3-5, 2017 | www.factoryhack.com FactoryHack2017 - It sounds like a criminal act, in reality it is a digital programming festival. At the world's largest industrial hackathon creative minds from computer and engineering sciences are inv...more Jan 23 2017 - 12:57pm 21 hours 38 min ago
Calls for Papers SEMANTiCS 2017, Amsterdam, Sep 11-14, Call for Research & Innovation Papers Call for Research & Innovation Papers SEMANTiCS 2017 - The Linked Data Conference 13th International Conference on Semantic Systems Amsterdam, Netherlands | September 11 -14, 2017 | http://2017.semantics.cc The Research & Innovation track at SEMANTiCS welcomes the submission of papers on...more Jan 23 2017 - 12:04pm 22 hours 31 min ago
Calls for Papers CfP for the 3rd International Workshop GRAPHS AS MODELS (GaM 2017) CALL FOR PAPERS 3rd International Workshop GRAPHS AS MODELS (GaM 2017) Uppsala, Sweden | April 22-29, 2017 | http://www.dcs.gla.ac.uk/gam2017a Satellite Event of ETAPS 2017Important Dates Abstract Submission: February 3, 2017 Paper Submission: February 10, 2017 Author Notification: March 10, 20...more Jan 23 2017 - 11:44am 22 hours 51 min ago
Calls for Papers VPT 2017 (@ETAPS) - Call for Papers CALL FOR PAPERS Fifth International Workshop on Verification and Program Transformation (VPT 2017) April 29th, 2017 | Uppsala, Sweden | http://refal.botik.ru/vpt/vpt2017 Co-located with the 20th European Joint Conferences on Theory and Practice of Software (ETAPS 2017) http://www.etaps.org/index...more Jan 23 2017 - 11:30am 23 hours 5 min ago
Calls for Papers CFP: 17th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP-2017) CALL FOR PAPERS 17th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP-2017) August 21-23, 2017 | Helsinki, Finland | https://research.comnet.aalto.fi/ICA3PP2017/ ICA3PP 2017 will be held jointly with IEEE CIT 2017 and NSS 2017 Important News! Keynote spea...more Jan 23 2017 - 11:13am 23 hours 21 min ago
Calls for Papers CfP: The 11th International Conference on Network and System Security (NSS 2017) - UPDATED INFORMATION CALL FOR PAPERS - UPDATED INFORMATION The 11th International Conference on Network and System Security (NSS 2017) August 21-23, 2017 | Helsinki, Finland | https://research.comnet.aalto.fi/NSS2017/ NSS 2017 will be held jointly with IEEE CIT 2017 and ICA3PP 2017 IMPORTANT NEWS! Keynote Speakers...more Dec 15 2016 - 3:56pm 23 hours 32 min ago
Calls for Papers CFP: 7th International Symposium on Internet of Ubiquitous and Pervasive Things (IUPT 2017) CALL FOR PAPERS The 7th International Symposium on Internet of Ubiquitous and Pervasive Things (IUPT 2017) To be held in conjunction with Ambient Systems, Networks and Technologies Conference (ANT'17) May 16-19, 2017 | Madeira, Portugal | http://cs.adelaide.edu.au/~iupt2017/ IMPORTANT DATES Pa...more Jan 23 2017 - 10:53am 23 hours 41 min ago
Calls for Papers CfP: The 6th Mediterranean Conference on Embedded Computing (MECO 2017) CALL FOR PAPERS The 6th Mediterranean Conference on Embedded Computing (MECO 2017) Bar, Montenegro | June 11-15, 2017 | http://embeddedcomputing.me/en/meco-2017 The 6th Mediterranean Conference on Embedded Computing (MECO 2017) is a continuation of very successful MECO events. It is an Internatio...more Jan 23 2017 - 10:34am 1 day 59 sec ago
Calls for Papers CfP: ECYPS’2017 - the 5th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems CALL FOR PAPERS 5th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS'2017) Bar * Montenegro * June 11-15, 2016 * http://embeddedcomputing.me The 5th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems will be held in the scope of MECO'2017 - the 6th Mediterranean C...more Jan 23 2017 - 10:18am 1 day 16 min ago
Calls for Papers TAP 2017: Call for Papers First Call for Papers 11th International Conference on Tests And Proofs (TAP 2017) Marburg (Germany) | 19-20 July 2017 | http://www.seceng.de/tap2017Part of STAF 2017 http://www.informatik.uni-marburg.de/staf2017/Important Dates Abstract: 17 February 2017 Paper: 24 February 2017 Notification:...more Jan 20 2017 - 3:25pm 3 days 19 hours ago
Calls for Papers CFP::CYBERSEC2017 & ICETC2017- Ethiopia CALL FOR PAPERS The Fourth International Conference on Education, Technologies and Computers (ICETC2017)The Fifth International Conference on Cyber Security, Cyber Welfare and Digital Forensic (CyberSec2017) St. Mary's University, Addis Ababa, Ethiopia | April 22-24, 2017 | http://sdiwc.net/ All...more Jan 20 2017 - 3:10pm 3 days 19 hours ago
Calls for Papers CfP: Special Session on Mixed-Criticality System Design, Implementation and Analysis (MCSDIA) at DSD'17 Call for Papers Special Session on Mixed-Criticality System Design, Implementation and Analysis (MCSDIA) at 20th Euromicro Conference on Digital System Design (DSD) Aug. 30th - Sept. 1st, Vienna, Austriahttp://dsd-seaa2017.ocg.atSPECIAL SESSION SCOPE Modern embedded appliances already integrate...more Jan 20 2017 - 2:47pm 3 days 19 hours ago
Calls for Papers GCTC SuperClusters and Call for Papers to SCOPE-GCTC Dear Global City Teams Challenge (GCTC) community, Exciting new year has finally arrived. 2017 will be a special year for GCTC as our activities move to creating and expanding the SuperClusters - groups of cities, communities and technology providers to produce blueprints of replicable, scalable, a...more Jan 20 2017 - 2:37pm 3 days 19 hours ago
General Announcements First School on Foundations of Programming and Software systems -- Probabilistic programming It is our greatest pleasure to announce the first edition of the School on Foundations of Programming and Software systems. The school is jointly funded by EATCS, ETAPS, ACM SIGLOG, and ACM SIGPLAN. The topic of the first edition is Probabilistic programming. It will take place in Braga, Portuga...more Jan 20 2017 - 2:33pm 3 days 20 hours ago
Calls for Papers CFP - AROSA @ the 26th IEEE WETICE and Special Issue AROSA @ the 26th IEEE WETICE and Special Issue Track on Adaptive and Reconfigurable Systems and Architectures http://arosa2017.redcad.org Conference Track @ the 26th IEEE WETICE Conference Poznan Poland | June 21-23, 2017. | http://wetice.ue.poznan.pl Best papers of AROSA2017 will be invited to...more Jan 20 2017 - 2:32pm 3 days 20 hours ago
Calls for Papers Combined Workshops Call for Papers at CPS Week 2017 Combined Workshops Call for Papers at CPS Week 2017 The CPS Week 2017 will host the following outstanding workshops: Title: ARCH 2017 - 4th Applied Verification for Continuous and Hybrid Systems Organizers:Goran Frehse (UJF-Verimag, France), Matthias Althoff (TU Munich, Germany) Title: CMAAS 2017...more Jan 20 2017 - 2:27pm 3 days 20 hours ago
Calls for Papers CfP: SPIN 2017 - impending paper submission deadline! CALL FOR PAPERS - impending paper submission deadline! 24th International Symposium on Model Checking of Software (SPIN 2017) Santa Barbara, CA, USA | July 13-14, 2017 | http://conf.researchr.org/home/spin-2017 Collocated with ISSTA The SPIN symposium aims at bringing together researchers and...more Nov 9 2016 - 9:41am 3 days 20 hours ago
Position Announcements 2 PhD positions @University of Twente: Fewer train delays via big data, fault trees, model checking Fewer train delays via big data analytics, fault trees, and stochastic model checking? The University of Twente seeks 2 PhD candidates We seek two excellent PhD candidates to work on the SEQUOIA project. We aim to improve the reliability of the (Dutch) railroads by deploying big data analytics to p...more Jan 20 2017 - 2:20pm 3 days 20 hours ago
Calls for Papers CfP special issue "Real-Time Embedded Systems" of MDPI Electronics journal Call for papers for the Special Issue of MDPI Electronics journal: "Real-Time Embedded Systems" http://www.mdpi.com/journal/electronics/special_issues/embedded_systems Deadline May 31, 2017 This MDPI Electronics journal special issue is dedicated to the cyberphysical and real time embedded syste...more Jan 20 2017 - 2:13pm 3 days 20 hours ago
Position Announcements Two Positions - PostDoc and Research Group Leader in Resilience path at TU Dresden, Germany Research Group Leader: Orchestration of Resilience Mechanisms The Cluster of Excellence 'Center for Advancing Electronics Dresden' (cfaed) offers, subject to granted funds, a position as Research Group Leader Orchestration of Resilience Mechanisms (Subject to personal qualification employees are...more Jan 20 2017 - 2:09pm 3 days 20 hours ago
Position Announcements Student Scholarship for ACM Turing Award Celebration Call for Applications Attachments: CALL FOR APPLICATIONS SCHOLARSHIP FOR ACM TURING AWARD CELEBRATION: CELEBRATING 50 Years of Computing's Greatest Achievements San Francisco | June 23-24, 2017 | https://www.acm.org/awards/turing-award-50-conference. SIGAI would like to sponsor 2 student scholarship recipients to attend the 50th...more Jan 20 2017 - 2:05pm 3 days 20 hours ago
Calls for Papers Call for Open Communications: COMPLEXIS 2017 - Int'l Conf. on Complexity, Future Information Systems and Risk CALL FOR OPEN COMMUNICATIONS IMPORTANT DEADLINE: *February 17, 2017* (no deadline extension) COMPLEXIS 2017 - 2nd International Conference on Complexity, Future Information Systems and Risk (Porto/Portugal) April 24 - 26, 2017| Porto, Portugal | http://www.complexis.org In Cooperation with: EATC...more Jan 20 2017 - 1:53pm 3 days 20 hours ago
Calls for Papers CFP COMPLEXIS 2017 - Doctoral Consortium on Complexity, Future Information Systems and Risk CALL FOR PAPERS Doctoral Consortium on Complexity, Future Information Systems and Risk April 24 - 26, 2017 | Porto/Portugal | http://www.complexis.org/DoctoralConsortium.aspx IMPORTANT DEADLINES Doctoral Consortium Submission: February 17, 2017 Author Notification: March 3, 2017 Camera Ready a...more Jan 20 2017 - 1:49pm 3 days 20 hours ago
Calls for Papers CfP: 8th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART2017) CALL FOR PAPERS The 8th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART2017) 7-9 June 2017 | Bochum, Germany | http://www.isheart.org/HEART2017 Important dates: Submission deadline for conference papers: February 20, 2017 Acceptance notification:...more Jan 20 2017 - 1:38pm 3 days 20 hours ago
Calls for Papers CFP: Self-Awareness in Cyber-Physical Systems workshop, in frame of CPSWeek 2017 Call for Contributions Self-Awareness in Cyber-Physical Systems (SelPhyS) CPSWeek 2017 Pittsburgh Workshop on 21 April 2017https://www.ict.tuwien.ac.at/selphys/https://cpsweek2017.ece.cmu.edu/index.php/events/DESCRIPTION The concept of self-awareness has become a hot research topic in a variety...more Jan 20 2017 - 1:28pm 3 days 21 hours ago
Calls for Papers CFP: The Fourth International Conference on Software Defined Systems (SDS-2017) Deadline Extension CALL FOR PAPERS - Deadling extended to January 31, 2017 The Fourth International Conference on Software Defined Systems (SDS-2017) Valencia, Spain | May 8-11, 2017 | http://emergingtechnet.org/SDS2017/index.php Next generation cloud systems will require a paradigm shift in how they are constructe...more Dec 1 2016 - 1:50pm 3 days 21 hours ago
Calls for Papers RV'17 - First call for papers and tutorials Call for Papers and Tutorials The 17th International Conference on Runtime Verification (RV 2017) September 13-16 | Seattle, WA, USA | http://rv2017.cs.manchester.ac.uk | rv2017@easychair.org Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software...more Jan 20 2017 - 1:19pm 3 days 21 hours ago
Calls for Papers CFP: International Conference on Logic Programming 2017 Call for Papers 33rd International Conference on Logic Programming (ICLP 2017) (co-located with CP and SAT and following IJCAI) Melbourne, Australia | August 28 - September 1, 2017 | http://iclp17.a4lp.orgConference Scope Since the first conference held in Marseille in 1982, ICLP has been the pr...more Jan 20 2017 - 12:54pm 3 days 21 hours ago
Calls for Papers CfP: Second International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) CALL FOR PAPERS Second International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) in partnership with Global City Teams Challenge (GCTC) - SCOPE 2017 with GCTC April 21, 2017, Pittsburg, PA (Co-located with CPS Week) Workshop URL: http://cps-vo.org/group/SCOPE-1...more Jan 4 2017 - 3:39pm 3 days 21 hours ago
Calls for Papers CFP: Special Issue on Cross-layer Design of Cyber-Physical Systems IEEE Design & Test Call for Contributions to Special Issue on Cross-layer Design of Cyber-Physical Systems Submission Deadline: 30 June, 2017Topics of Interest: ------------------- This special issue will be on problems and innovative solutions on cross-layer design of all forms of cyber-ph...more Jan 20 2017 - 12:27pm 3 days 22 hours ago
Calls for Papers CfP: SEFM 2017 Call For Papers The 15th International Conference on Software Engineering and Formal Methods (SEFM 2017) Trento, Italy | September 6-10, 2017 | http://sefm17.fbk.eu/ The conference aims to bring together leading researchers and practitioners from academia, industry and government, to advance the...more Jan 20 2017 - 12:24pm 3 days 22 hours ago
Calls for Workshops & Tutorials SEFM 2017: Call for Workshops CALL FOR WORKSHOP PROPOSALS 15th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2017) 6-10 September 2017 | Trento, Italy | http://sefm17.fbk.euIMPORTANT DATES 31 January 2017 - Workshop proposals submission deadline 17 February 2017 - Notification of workshop approval...more Jan 20 2017 - 12:16pm 3 days 22 hours ago
Calls for Papers SCOPES 2017 - Call For Papers CALL FOR PAPERS 20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2017) June 12-14, 2017 | 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 in...more Jan 20 2017 - 12:03pm 3 days 22 hours ago
Calls for Papers IEEE IECON 2017 Call for papers CALL FOR PAPERS 2017 43rd Annual Conference of IEEE Industrial Electronics Society (IECON2017) October 29 - November 1, 2017 | Beijing, China | http://www.iecon2017.com IECON2017 focuses on industrial and manufacturing theory and applications of electronics, controls, communications, instrumentat...more Jan 20 2017 - 11:56am 3 days 22 hours ago
Calls for Papers CFP: IEEE Design & Test Special Issue on Time-Critical Systems Design CALL FOR PAPERS IEEE Design & Test Call for Contributions Special Issue on T I M E - C R I T I C A L S Y S T E M S D E S I G N Submission Deadline 31 March 2017 Time-critical computing systems, designed to meet real-time deadlines, have conventionally been restricted to niche application...more Jan 20 2017 - 11:45am 3 days 22 hours ago
Position Announcements 2016 European PhD Award on Control for Complex and Heterogeneous Systems 2016 European PhD Award on Control for Complex and Heterogeneous Systems As every year, we would like to encourage young researchers that have recently obtained their PhD degree to participate in the process for the selection of the best PhD thesis defended in a European University in the field of...more Jan 20 2017 - 11:40am 3 days 22 hours ago
Position Announcements Call for Application: Computing Research Association (CRA) Graduate Fellows Program The Computing Research Association Education Committee (CRA-E) is now accepting applications for the CRA-E Graduate Fellows Program (http://cra.org/crae/activities/fellows/). The program provides opportunities for Ph.D. candidates in computing fields to contribute to CRA-E projects, network with com...more Jan 20 2017 - 11:37am 3 days 22 hours ago
Calls for Papers CfP: PETRA '17 - Extended Deadline Jan 30th, 2017 CALL FOR PAPERS - Extended Deadline Jan 30th, 2017 10th International Conference on Pervasive Technologies Related to Assistive Environments June 21-23, 2017 | Rhodes, Greece | www.petrae.org The PErvasive Technologies Related to Assistive Environments (PETRA) conference is a highly interdiscipl...more Sep 19 2016 - 1:17pm 3 days 23 hours ago
Calls for Papers 2nd CfP: 2nd International Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies (CREST 2017) 2nd CALL FOR PAPERS - abstracts due: January 27, 2017 2nd International Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies (CREST 2017) April 29, 2017 | Uppsala, Sweden | http://se.uni-konstanz.de/crest2017A satellite event of ETAPS 2017 Topic Today's IT systems,...more Dec 1 2016 - 3:15pm 3 days 23 hours ago
Calls for Papers Deadline Extended (Jan 24): Work in Progress session of RTAS'17 CALL FOR WiP PAPERS - Deadline Extended (Jan 24) The 23rd IEEE Real-Time Embedded Technology & Applications Symposium Work-in-Progress Session (RTAS-WIP 2017) 18 April, 2017 - Pittsburgh, PA, USA The Work-in-Progress (WiP) session at RTAS 2017 is dedicated to new and on-going research in the...more Jan 20 2017 - 11:16am 3 days 23 hours ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress OpenModelica/MODPROD Workshops Febr 2017 REGISTRATION OPEN! OpenModelica & MODPROD Workshops February 6-8, 2017 | Linkoping, Sweden Registration Open OpenModelica/MODPROD Workshops Febr 2017 Early registration until January 22: www.modprod.liu.se NOTE: Higher registration fee after January 22, 2017. The program is available at w...more Dec 28 2016 - 4:24pm 3 days 23 hours ago
Calls for Papers Application of Concurrency to System Design 2017: (extended deadlines!) abstracts due Jan 27 CALL FOR PAPERS AND ANNOUNCEMENT 17th International Conference on Application of Concurrency to System Design (ACSD 2017) Zaragoza, Spain | June 28-30, 2017 | http://pn2017.unizar.es |http://pn2017.unizar.es/wp-content/uploads/2017/01/ACSD-2017-CFP.pdfIMPORTANT DATES submission deadline (abst...more Jan 20 2017 - 11:03am 3 days 23 hours ago
Calls for Papers 2017 International Conference on Unmanned Aircraft System 2017 INTERNATIONAL CONFERENCE ON UNMANNED AIRCRAFT SYSTEMShttp://www.uasconferences.com June 13-16, 2017 Miami Marriott Biscayne Bay 1633 North Bayshore Drive Miami, FL 33132 The 2017 International Conference on Unmanned Aircraft Systems, ICUAS'17, will be held on June 13-16, in the luxurious M...more Jan 19 2017 - 7:20pm 4 days 15 hours ago