CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Papers CfP: MeMo (DisCoTec) 1st International Workshop on Meta Models for Process Languages == CALL FOR PAPERS == 1st International Workshop on Meta Models for Process Languages (MeMo) 2014 affiliated to DisCoTec (http://www.discotec.org) June 6th, 2014, Berlin, Germanyhttp://www.itu.dk/research/models/wiki/index.php/MeMo2014 == Aim and Topics: == The workshop targets research in and ne...more Mar 12 2014 - 4:41pm 5 years 27 weeks ago
Calls for Papers CfP - Workshop on Mixed Criticality for Industrial Systems (WMCIS'2014) Workshop on Mixed Criticality for Industrial Systems (WMCIS'2014): Challenges of Mixed Criticality approaches and benefits for the industry Held in conjunction with the 19th International Conference on Reliable Software Technologies, Ada-Europe 2014 (http://www.ada-europe2014.org/) Jun...more Mar 12 2014 - 5:11pm 5 years 27 weeks ago
General Announcements IPSN 2014 Call for Participation - EARLY REGISTRATION DEADLINE IN 4 DAYS! Dear colleagues and friends, This year we are proud to present you a five-star plus conference program at IPSN! Please join us at CPSWeek with another 600+ participants and let us experience together the cutting edge research! IPSN 2014 (part of CPSWeek 2014) Berlin, Germany April 14-17, 2014htt...more Mar 12 2014 - 5:37pm 5 years 26 weeks ago
Calls for Papers CfP: FHIES/SEHC 2014 Fourth Symposium on Foundations of Health Information Engineering and Systems (FHIES) & Sixth Software Engineering in Healthcare (SEHC) Workshop July 17-18, Washington DChttp://fhies-sehc.in.tu-clausthal.de/ =======================================================================================...more Mar 13 2014 - 1:20pm 5 years 26 weeks ago
Calls for Papers CfP: International Workshop on High Performance Interconnection Networks (HPIN) Call for Paper International Workshop on High Performance Interconnection Networks (HPIN) in conjunction with the International Conference on HPCS 2014 Bologna, Italy (July 21-25) http://hpcs2014.cisedu.info/2-conference/workshops/workshop-04-hpin General Scope Computational, storage, accelerators...more Mar 13 2014 - 1:31pm 5 years 26 weeks ago
Calls for Papers CfP - Workshop on Dependability and CPS (Ada-Europe 2014) CEA and Thales are glad to invite you to submit a position paper for workshop on "Challenges and new Approaches for dependable and Cyber-Physical Systems engineering", in conjunction with 19th International Conference on Reliable Software Technologies, Ada-Europe 2014, located in Paris, 23 June 201...more Mar 13 2014 - 1:43pm 5 years 26 weeks ago
Calls for Papers CfP: EMSICC 2014 - International Workshop on Energy Management for Sustainable Internet-of-Things and Cloud Computing EMSICC 2014 - International Workshop on Energy Management for Sustainable Internet-of-Things and Cloud Computing http://cedric.cnam.fr/workshops/emsicc14/ In conjunction with FiCloud 2014, the 2nd IEEE International Conference on Future Internet of Things and Cloud Barcelona, Spain, 27-29 August 20...more Mar 13 2014 - 1:46pm 5 years 26 weeks ago
Calls for Papers SummerSim 2014: Paper Submission Deadline Approaching Society for Modeling & Simulation International Summer Simulation Multiconference 2014 http://scs.org/summersim July 6-10, 2014 Monterey, CA, USA "Between Now and the Future with Modeling and Simulation" Important Dates (Please note: these are extended deadlines that apply to all tracks exce...more Mar 13 2014 - 1:52pm 5 years 26 weeks ago
General Announcements Extended Deadline: SDIWC-Lebanon Conferences The Society of Digital Information and Wireless Communications (SDIWC), would like to invite you to attend the following conferences that will be held at the Faculty of Engineering - Lebanese University, Campus of Hadath, Beirut- Lebanon, from Apr. 29- May 1, 2014: =================================...more Mar 13 2014 - 1:58pm 5 years 26 weeks ago
General Announcements Call for participation: COMPASS Summer School ++++++++++++++++++++++++++++++++++++++++++++++++++ COMPASS Summer School: New Developments in Model-Based Systems of Systems Engineering ++++++++++++++++++++++++++++++++++++++++++++++++++ * Call for Participation: Deadline 14 March 2014 * We invite PhD students and post-doctoral researchers to pa...more Mar 13 2014 - 2:08pm 5 years 26 weeks ago
Calls for Papers CfP: DreamCloud Workshop 2014 International Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing May 28 2014 - Montpellier, France http://www.dreamcloud-project.org/forum/workshop2014 DreamCloud is the first workshop aiming to encourage technical and scientific exchang...more Mar 13 2014 - 2:25pm 5 years 26 weeks ago
Calls for Papers SSV 2014: Call for Papers ======================================================================== SSV 2014 Call for Papers http://www.ssv-conference.org/ 8th International Workshop on Systems Software Verification Vienna, July 23-24, 2014 co-located with CAV and ITP, as part of the Vienna Summer of Logic 2014. =========...more Mar 13 2014 - 2:34pm 5 years 26 weeks ago
Position Announcements 5 PhD Positions in Computer Architecture UU/IT/Open Positions Applications are due no later than March 26, 2014. Uppsala University's Department of Information Technology has five open PhD positions for research in computer architecture. These positions will leverage our leading work in analyzing, modeling and desi...more Mar 13 2014 - 2:41pm 5 years 26 weeks ago
Calls for Papers CFP: VtRES 2014 Call for Papers ---------------------------------------------------------------------------- CALL FOR PAPERS - VtRES'2014 ---------------------------------------------------------------------------- 2nd Workshop on Virtualization for Real-Time Embedded Systems (VtRES 2014), http://www.mrtc.mdh.se/vtres2014/ In conj...more Mar 13 2014 - 2:45pm 5 years 26 weeks ago
Calls for Papers CfP: Extended Deadline (March 17, 2014): SETS 2014 CALL FOR PAPERS -- SETS 2014 ******************************************************************************** 1st International Workshop about Sets and Tools (SETS 2014) June 3, 2014, Toulouse, France Affiliated to ABZ 2014 http://sets2014.cnam.fr/ *************************************...more Mar 13 2014 - 2:53pm 5 years 26 weeks ago
Calls for Papers EUC 2014: CFP - Embedded and Ubiquitous Computing - Deadline Extended to March 28, 2014 The 12th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing Milan, Italy, August 26-28, 2014 http://euc14.necst.it ******************************************************************** EUC 2014 is organized as a part of the P2CWeek 2014 (Parallel and Pervasive Computing Week) e...more Mar 13 2014 - 2:59pm 5 years 26 weeks ago
General Announcements Transportation Systems Safety HAT The U.S. Department of Transportation Volpe National Transportation Systems Center will make a new software tool that can assist transportation professionals in conducting hazard analyses. The Safety Hazard Analysis Tool (SafetyHAT) is a software tool that facilitates System Theoretic Process Analys...more Mar 23 2014 - 9:02pm 5 years 25 weeks ago
Calls for Papers CFP: Special Session on Mixed-Criticality System Design, Implementation and Analysis (MCSDIA) at DSD 2014 (deadline extension) Call for Papers of Special Session onMixed-Criticality System Design, Implementation and Analysis (MCSDIA) at 17th Euromicro Conference on Digital System Design (DSD), 27-29 August 2014, Verona, ItalyDESCRIPTION Modern embedded appliances already integrate a multitude of functionalities with poten...more Mar 25 2014 - 3:12pm 5 years 25 weeks ago
Calls for Papers RTSS 2014 Call for papers CALL FOR PAPERS The 35th IEEE Real-Time Systems Symposium, Sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems, will be held December 2 - December 5, 2014 in Rome, Italy. Scope of the Conference The IEEE Real-Time Systems Symposium (RTSS) is the premier conference in t...more Mar 25 2014 - 3:55pm 5 years 25 weeks ago
Calls for Papers WCET 2014 - Call for Papers -------------------------------------------------------------------------------- CALL FOR PAPERS -------------------------------------------------------------------------------- The 14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014) will...more Mar 25 2014 - 4:10pm 5 years 25 weeks ago
Calls for Papers Save the Date for The 5th Annual Safe and Secure Systems and Software Symposium (S5) The Air Force Research Laboratory, Aerospace Systems Directorate, Autonomous Control Branch (AFRL/RQQA) will be hosting the 5th annual Safe and Secure Systems and Software Symposium (S5) on 10, 11 and 12 June 2014 in Dayton, Ohio. Please mark your calendars! The Safe and Secure Systems and Software...more Mar 25 2014 - 4:13pm 5 years 25 weeks ago
Calls for Papers CfP: FPL2014 - Deadline: March 28, 2014 24th International Conference on Field Programmable Logic and Applications FPL2014 Munich, Germany, Sep. 2 - 4, 2014 Important dates: Submission deadline for conference papers: March 28, 2014 Acceptance Notification: June 6, 2014 Camer...more Mar 25 2014 - 4:37pm 5 years 25 weeks ago
Calls for Papers EUC 2014: CFP - Embedded and Ubiquitous Computing - Deadline Extended to March 28, 2014 The 12th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing Milan, Italy, August 26-28, 2014 http://euc14.necst.it ******************************************************************** EUC 2014 is organized as a part of the...more Mar 26 2014 - 11:24am 5 years 25 weeks ago
Position Announcements Post-doctoral Position at INRIA Grenoble Proposal for a Post-doctoral Position at INRIA Grenoble Title ===== Advanced dataflow programming Model of computation and parallel schedule generation. Programmation flot de donnees avancee Modele de calcul et generation d'ordonnancement paralleles Location, supervisors,...more Mar 26 2014 - 11:39am 5 years 25 weeks ago
Calls for Papers CfP: SCOPES 2014 - Extended deadline 17th International Workshop on Software and Compilers for Embedded Systems SCOPES 2014 June 10-11, 2014 Schloss Rheinfels, St. Goar, Germanyhttp://www.scopesconf.org A next edition of the workshop on Software and Compilers for Embedded Systems (SCOPES) will be organized in 2014. The workshop wil...more Mar 26 2014 - 11:41am 5 years 25 weeks ago
Calls for Papers Deadline Approaching: Numerical Software Verification 2014 7th International Workshop on Numerical Software Verification July 17-18, 2014 A Sattelite Workshop of Vienna Summer of Logic 2014, Collocated with CAV 2014 Vienna, Austria Web Page: http://www.lix.polytechnique.fr/~bouissou/NSV14 Important Dates =============== Submissions deadline: March 2...more Mar 26 2014 - 11:57am 5 years 25 weeks ago
Calls for Papers REMINDER: Deadline for IECON Papers Submission Extended to April 10, 2014! 40th Annual Conference of the IEEE Industrial Electronics Society (IECON) Submit your paper NOW for IECON'2014 Throughout the past forty years, IECON has excelled in showcasing creativity, providing an ideal environment for technical exchange and networking, and most importantly emphasizing on the...more Mar 26 2014 - 1:44pm 5 years 25 weeks ago
Calls for Papers ICGT 2014: Final Call for Papers CALL FOR PAPERS ICGT 2014 The Seventh International Conference on Graph Transformation - Modelling and Analysis of Dynamic Structures - July 22-24, 2014, York, UK Affiliated with STAF (Software Technologies: Applications and Foundations)http://www.2014.icgt-conferences.org ====================...more Mar 26 2014 - 2:12pm 5 years 25 weeks ago
Calls for Papers Call for papers--PRISM2--In conjunction with ISCA The Second International Workshop on Parallelism in Mobile Platforms (PRISM-2) In conjunction with the 41st International Symposium on Computer Architecture (ISCA-41)http://prism.sejong.ac.kr/ June 14, 2014 Minneapolis, MN, USA IMPORTANT DATES - Extended abstract submission (2 pages)...more Mar 26 2014 - 2:18pm 5 years 25 weeks ago
Position Announcements Computer Science: SENIOR LECTURER / ASSOCIATE PROFESSOR /PROFESSOR University of Pretoria Posting - Academic FACULTY OF ENGINEERING, BUILT ENVIRONMENT AND INFORMATION TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE SENIOR LECTURER / ASSOCIATE PROFESSOR / PROFESSOR (ONE POST) In pursuit of the ideals of excellence and diversity, the University of Pretoria wishes to inv...more Mar 26 2014 - 2:38pm 5 years 25 weeks ago
Calls for Workshops & Tutorials M05 Tutorial at DATE 2014 Wireless NoC as Interconnection Backbone for Multicore Chips: Promises, Challenges, and Recent Developments (http://www.date-conference.com/conference/tutorial-m05) Organizers: Partha Pratim Pande, Washington State University, USA Radu Marculescu, Carnegie Mellon University, USA Speakers: Radu M...more Mar 26 2014 - 3:10pm 5 years 25 weeks ago
Calls for Papers CONCUR 2014: 2nd Call for Papers CALL FOR PAPERS - CONCUR 2014 =================================== 25th International Conference on Concurrency Theory September 1-6, 2014 - Rome, Italy http://concur2014.org The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the...more Mar 26 2014 - 3:20pm 5 years 25 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress RePP 2014 workshop call for participation: Grenoble, France, Sunday April 6th, 2014 RePP 2014 http://repp14.inria.fr Reconciling Performance with Predictability Grenoble, France, Sunday April 6th, 2014 An ETAPS 2014 satellite event ================================= Final program ================================= 9.15 - 9.30 Opening 9.30 - 10.30 Sebastian Hahn, Jan Re...more Mar 26 2014 - 3:23pm 5 years 25 weeks ago
Calls for Papers CFP: [submission deadline extended to April 11] RTNS Track at ETFA 2014 19th IEEE International Conference on Emerging Technologies and Factory Automation; 16-19 September 2014, Barcelona, Spain Track on REAL-TIME AND (NETWORKED) EMBEDDED SYSTEMS --------------------------------------------------------------------------- Conference web site: http://www.etfa2014.org/...more Mar 26 2014 - 3:26pm 5 years 25 weeks ago
Calls for Papers CfP: ICSAI 2014, Shanghai: Submission Deadline 30 May The 2014 International Conference on Systems and Informatics (ICSAI 2014) 15-17 November 2014 in Shanghai, China. ICSAI 2014 aims to be a premier international forum for scientists and researchers to present the state of the art of systems engineering and information science. Keynote speakers includ...more Mar 26 2014 - 3:33pm 5 years 25 weeks ago
Calls for Papers ESWeek 2014 - Second CfP E M B E D D E D S Y S T E M S W E E K New Delhi, India, October 12 - 17, 2014www.esweek.org ======================================================================== = ++ CASES ++ CODES+ISSS ++ EMSOFT ++ Symposia ++ Workshops ++ Tutorials ++ ++ ============================================...more Mar 26 2014 - 4:03pm 5 years 25 weeks ago
Calls for Papers Automated Vehicle Symposium July 15-17 in San Francisco The Automated Vehicles Symposium 2014 (AVS2014), jointly supported by the Transportation Research Board (TRB) and the Association for Unmanned Vehicles International is planned for 15-17 July at the Hyatt Regency San Francisco Airport. The web site is open to registration and quickly being populate...more Apr 15 2014 - 5:09pm 5 years 22 weeks ago
General Announcements Connected Vehicle Pilot Deployment Program Workshop The U.S. Department of Transportation is hosting a free public meeting and webinar on the Connected Vehicle Pilot Deployment Program on Wednesday, April 30, 2014. The purpose of the meeting is to inform private sector stakeholders on upcoming opportunities and to seek input from public sector imple...more Apr 16 2014 - 1:17pm 5 years 22 weeks ago
Position Announcements Job Opening: Technical Lead for Analytics and Computation The Applied Innovation Center (AIC) aims to develop commercially relevant solutions to real-world problems through the integration of data analysis (data acquisition, communication, processing, and management), cyber-physical systems (real time stream processing, sensor-actuator networks, time-frequ...more Apr 17 2014 - 11:35am 5 years 21 weeks ago
Calls for Papers OSPERT'14 Call for Papers -------------------------------------------------------------------------------- CALL FOR PAPERS - OSPERT 2014 -------------------------------------------------------------------------------- The 10th Annual Workshop on Operating Systems Pla...more Apr 21 2014 - 1:56pm 5 years 21 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: Formal Methods for Timing Verification (FMTV'14) Call for Participation: Formal Methods for Timing Verification (FMTV'14) May 12th, 2014, Singapore www.merge-project.eu/fmtv14-workshop We invite you to participate to the first Workshop on Formal Methods for Timing Verification to be held in Singapore in conjunction with the 19th International Symp...more Apr 21 2014 - 1:58pm 5 years 21 weeks ago
Calls for Papers SLE 2014 - Call for papers CALL FOR PAPERS 7th International Conference on Software Language Engineering (SLE) 2014 Vasteras, Sweden , September 15-16, 2014 http://www.sleconf.org/2014/ Co-located with: 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) 13th International Conference on Gener...more Apr 21 2014 - 2:04pm 5 years 21 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: FormaliSE 2014 (co-located with ICSE 2014) Call For Participation: FormaliSE 2014 Hyderabad, India, 3 June 2014 www.formalise.org *** NOTICE: EARLY REGISTRATION CLOSES ON 14 APRIL *** FormaliSE 2014 received a good number of high-quality submissions this year and we are proud to announce an excellent programme. The FormaliSE w...more Apr 21 2014 - 2:10pm 5 years 21 weeks ago
Calls for Papers Call for papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014) Call for Papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014) Singapore Nov 18-21, 2014 PRDC 2014 is the twentieth in this series of symposia started in 1989 that are devoted to dependable and fault-tolerant computing. PRDC is recognized as the main event in...more Apr 21 2014 - 2:33pm 5 years 21 weeks ago
Calls for Papers RTCSA 2014 - Final Call for Papers RTCSA 2014 Aug 20-22, 2014, Chongqing, China Continuing the great success of 2010 at Macau, 2011 at Toyama, 2012 at Seoul, and 2013 at Taipei, RTCSA 2014, the 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, will be held on Aug 20-22, 2014, at Chongqin...more Apr 21 2014 - 1:50pm 5 years 21 weeks ago
Calls for Papers Call for Papers - International Workshop on Embedded Multi-core Systems and Applications (Co-located with RTCSA 2014) Call for Papers: International Workshop on Embedded Multi-core Systems and Applications (IWMSA 2014) Co-located with IEEE RTCSA 2014, August 20-22, 2014, Chongqing, China Website: http://www.cs.cqu.edu.cn:8085/iwmsa2014/ Accepted papers WILL BE INCLUDED in the IEEE RTCSA 2014 proceedings. _______...more Apr 21 2014 - 3:00pm 5 years 21 weeks ago
Position Announcements Two open PhD Position @ Bosch Corporate Research In the corporate research division ,,Software Intensive Systems" of the Bosch Group in Stuttgart Area, Germany, there are currently two open PhD positions in the same line of research: 1) Verification of Hybrid Systems: Many innovations in Bosch products and services are based on embedded software...more Apr 21 2014 - 3:09pm 5 years 21 weeks ago
Calls for Papers CfP: Service-Oriented Cyber-Physical Systems in Converging Networked Environments ---------------------------------------------------------------------------- CALL FOR PAPERS ---------------------------------------------------------------------------- SOCNE 2014 8th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments in conj...more Apr 21 2014 - 3:13pm 5 years 21 weeks ago
Calls for Papers CfP: ES Week - Deadline Extended UPDATE: Deadline extended by 1 week (new dates given below) ------------------------------------------------------------------------- Call for Papers ------------------------------------------------------------------------- E M B E D D E D S Y S T E M S W E E K New Delhi, India, October 12...more Apr 21 2014 - 3:23pm 5 years 21 weeks ago
Calls for Papers Call for Abstracts and Registration Now Open for the 5th Annual Safe & Secure Systems & Software Symposium (S5) Safe and Secure Systems and Software Symposium (S5) Call for Abstracts and Registration is Open! You are cordially invited to submit an abstract for your proposed presentation or demonstration in one of the topic areas listed below. Submitted abstracts should enhance the discussion of the various i...more Apr 21 2014 - 3:26pm 5 years 21 weeks ago