CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Papers RTCSA 2013: Call for Papers http://www.rtcsa.org/ The 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, August 19 - 22, 2013, Taipei, Taiwan Embedded software has become a necessity in almost every aspect of our daily life. The types of embedded software ra...more Jan 8 2013 - 10:56am 11 years 46 weeks ago
Calls for Papers Call for Abstracts: 2nd NSF Workshop on Formal Composition of Motion Primitives We are pleased to announce the call for abstracts for the 2nd NSF Workshop on Formal Composition of Motion Primitives to be held on April 8th 2013, at Philadelphia, PA in conjunction with the Cyber-Physical Systems Week (CPSWeek) 2013. Scope: In robotics and control, achieving individual behaviors...more Jan 7 2013 - 7:18pm 11 years 46 weeks ago
Calls for Workshops & Tutorials INDIN 2013 - IEEE 11th International Conference on Industrial Informatics IEEE INDIN is the premier conference series presenting the state of the art and future perspectives of industrial information technologies, where industry experts, researchers, and academics share ideas and experiences surrounding frontier technologies, breakthrough and innovative solutions and ap...more Feb 11 2013 - 3:12pm 11 years 42 weeks ago
Position Announcements Eindhoven U: Assistant Professor Position(s) ======================================================= Opening for two full-time assistant professor positions Eindhoven University of Technology Department of Electrical Engineering Closing date: 31/03/2013 Reference number: V36.1664 Apply at: http://jobs.tue.nl/wd/plsql/wd_portal.show_j...more Feb 11 2013 - 3:25pm 11 years 42 weeks ago
Position Announcements ESTACA Internship Please find attached an offer of a master internship in the field of automotive embedded systems. The internship will be held at ESTACA engineering school (Laval) with regular travels to ENSTA ParisTech to realize experimentation on the FPGA-platform. Title: Design space exploration of an...more Feb 11 2013 - 3:27pm 11 years 42 weeks ago
Calls for Papers CFP: WORCS-2013 2nd Workshop on Open Resilient human-aware Cyber-physical Systems (WORCS-2013) http://conf.laas.fr/WORCS13 Monday June 24, 2013, Budapest, Hungary (DSN-2013) CALL FOR CONTRIBUTIONS In conjunction with the 43rd Annual IEEE/IFIP Int. Conf. on...more Feb 11 2013 - 3:27pm 11 years 42 weeks ago
Calls for Papers CFP: SEUS 2013 The 9th Workshop on Software Technologies for Embedded & Ubiquitous Systems SEUS 2013 Final Deadline Extension: 17.2.2013 Paderborn, Germany June 17-18, 2013 http://it.korea.ac.kr/SEUS2013/ (co-located with ISORC 2013, http://www.isorc.de/) Call for Papers SEUS 2013 will be a forum whe...more Feb 11 2013 - 3:58pm 11 years 42 weeks ago
Position Announcements Software Engineer, EPFL The Rigorous System Design laboratory (RiSD, http://risd.epfl.ch) at EPFL is seeking an experienced software engineer to play a key role in two industrial projects on component-based system design. RiSD focuses on methodology and tools for the design of correct-by-construction complex heterogeneo...more Feb 12 2013 - 2:58pm 11 years 42 weeks ago
Calls for Papers ICCPS 2013: Submission Deadline for Poster/Demo/Work-in-Progress extended to February 18, 2013 CALL FOR POSTERS, DEMOS, AND WORK-IN-PROGRESS ABSTRACTS **** ACM/IEEE ICCPS 2013 **** Philadelphia, USA April 8-11, 2013 http://cesg.tamu.edu/iccps2013/WiP.html Cyber-physical systems (CPS) are physical and engineered systems whose operations are monitored, coordinated, controlled, and integrat...more Feb 13 2013 - 6:45pm 11 years 42 weeks ago
Position Announcements Research Experiences for Undergraduates in Mobile Cyber-Physical Systems An Overview This summer Research Experiences for Undergraduates (REU) is open to 10 undergraduates from across the U.S. to be held at Texas State for 10 weeks over the summer. The purpose of this REU is to engage undergraduate students in research and inspire them for graduate and research careers....more Feb 21 2013 - 5:28pm 11 years 41 weeks ago
Calls for Papers CFP: WCET 2013 13th International Workshop on Worst-Case Execution Time Analysis Paris, France, July 9, 2013 http://wcet2013.imag.fr In conjunction with the 25th Euromicro International Conference on Real-Time Systems (ECRTS) http://ecrts.eit.uni-kl.de/index.php?id=115 GOALS: The goal of the workshop...more Mar 4 2013 - 1:25pm 11 years 39 weeks ago
General Announcements ICCPS'13 Call for Participation: April 8 - 11, 2013 in Philadelphia, USA with Early Registration Deadline March 17, 2013 CALL FOR PARTICIPATION **** ACM/IEEE ICCPS 2013 **** Philadelphia, USA April 8 - 11, 2013 http://cesg.tamu.edu/iccps2013/index.html The 4th IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS) will be held in Philadelphia, USA during April 8 - 11, 2013. Some highlights of the con...more Mar 12 2013 - 11:10pm 11 years 38 weeks ago
Position Announcements Research Scientist Positions Available @CISTER: Parallel/distributed computing; Middleware and SoA RESEARCH SCIENTIST POSITIONS AVAILABLE: Parallel and distributed models and runtimes Event-based middleware and service-oriented architectures The CISTER Research Centre (http://www.cister.isep.ipp.pt), an international leader in various areas of real-time and embedded computin...more Apr 3 2013 - 5:05pm 11 years 35 weeks ago
Calls for Papers CFP: SenSys 2013 -- The 11th ACM Conference on Embedded Networked Sensor Systems November 11-15, 2013 Rome, Italy Sensing systems are changing the way computers interact with the physical world -- and are driving a host of new issues in computer system design, implementation, and performance. SenSys 2013 is the premier venue to discuss system issues raised by emerging t...more Apr 3 2013 - 5:16pm 11 years 35 weeks ago
Calls for Papers Feedback Computing 2013 - CFP Deadline extended to April 10th Due to many extensions requests, the deadline for Feedback computing 2013 has been extended to April 10, 2013, 11:59 p.m. PDT. ========================================================= Feedback Computing 2013 The 8th International Workshop o...more Apr 4 2013 - 10:27am 11 years 35 weeks ago
Calls for Papers ESWeek 2013 - CFP Deadline Extended ----------------------------------------------------------------- Call for Papers ----------------------------------------------------------------- E M B E D D E D S Y S T E M S W E E K Montreal, Canada, September 29 - October 04, 2013 http://esweek.acm.org =============================...more Apr 4 2013 - 10:46am 11 years 35 weeks ago
Calls for Papers CFP: ACM International Workshop on Manycore Embedded Systems (MES) @ ISCA-13 Call for Papers ACM International Workshop on Manycore Embedded Systems (MES) in conjunction with the 40th International symposium on Computer Architecture (ISCA-2013) http://computersystems.utu.fi/MES/index.htm Special Issue: Elsevier's Microprocessors and Microsystems Journal (MICPRO) submissi...more Apr 4 2013 - 11:04am 11 years 35 weeks ago
Calls for Papers Call for Special Session Papers: SAMOS XIII - Deadline approaching: April 12 SAMOS XIII - Call for Special Sessions Papers 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII) Samos, Greece, July 15-18, 2013 http://www.samos-conference.com ====================...more Apr 4 2013 - 11:13am 11 years 35 weeks ago
Calls for Papers CFP: CPSNA 2013 *deadline extended* - The 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Application NEWS: submission deadline extended to APRIL 7 ---------------------------------------------------------------------- The 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2013) In conjunction with RTCSA 2013 Taipei, Taiwan,...more Apr 4 2013 - 12:12pm 11 years 35 weeks ago
Calls for Papers Call for Papers: The 12th International Workshop on Real-Time Networks (RTN'13) CALL FOR PAPERS - RTN'2013 ------------------------------------------------------------------------------------------------------------ The 12th International Workshop on Real-Time Networks July 9th, 2013, Paris, France http://irt.enseeiht.fr/scharbarg/RTN...more Apr 4 2013 - 11:46am 11 years 35 weeks ago
Calls for Papers 2013 Mediterranean Conference Event: Embedded and Cyber-physical Systems - CFP deadline extension Extended Paper Submission Deadline: April 10, 2013 Dear Colleague, Please feel invited to submit your papers and/or participate in the 2013 Mediterranean Conference Event: Embedded and Cyber-physical Systems, Budva, Montenegro, June 16-20, 2013. This international scientific and engineering ev...more Apr 4 2013 - 1:35pm 11 years 35 weeks ago
Position Announcements Job Posting - Advanced Laboratory on Embedded Systems S.r.l. ALES is a United Technology (UTC www.utc.com) company with offices in Rome and Trento, Italy, specialized in model based technologies and methodologies for the design and verification of distributed safety critical embedded systems. ALES' competences cross several application domains, such as avio...more Apr 4 2013 - 2:15pm 11 years 35 weeks ago
Calls for Papers CFP - First Open EIT ICT Labs Workshop on Cyber-Physical Systems Engineering First Open EIT ICT Labs Workshop on Cyber-Physical Systems Engineering Fondazione Bruno Kessler Trento, May 24th, 2013 Call for Contributions General Information The First Open Workshop on Cyber-Physical Systems Engineering will be held in Trento on May 24th, 2013. The Centre for Information Techn...more Apr 4 2013 - 2:25pm 11 years 35 weeks ago
Calls for Papers CFP - DSD 2013 16th Euromicro Conference on Digital System Design Call for Papers - New Deadline SCOPE The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-performance) digital and mixed hardware/software system engineering, covering the whole design trajectory from requirement specification down to micro-a...more Apr 4 2013 - 3:14pm 11 years 35 weeks ago
Calls for Papers CFP - 11th IEEE International Conference on Industrial Informatics (INDIN’2013) 11th IEEE International Conference on Industrial Informatics (INDIN'2013) July 29-31, 2013, Bochum, Germany Special Session on Ensuring Safety in Industrial Critical Systems (ESICS) - CALL FOR PAPERS - In many safety-critical industrial areas, such as the automotive, railway, aerospace or automa...more Apr 4 2013 - 3:33pm 11 years 35 weeks ago
Calls for Papers CFP - 1st workshop on Real-Time Mixed Criticality Systems (ReTiMiCS 2013) 1st workshop on Real-Time Mixed Criticality Systems August 21st, Taipei, Taiwan held in conjunction with the RTCSA 2013 http://igm.univ-mlv.fr/rtalgo/Events/RETIMICS CALL FOR PAPERS Scope: The 1st workshop on Real-Time Mixed Criticality Systems (ReTiMiCS 2013) will be a workshop to discuss r...more Apr 4 2013 - 3:46pm 11 years 35 weeks ago
Position Announcements PhD position in model-driven engineering at the University of Marburg A 2-year PhD position (scientific assistant) is available at the University of Marburg, starting at the next possible date. ------------------------------ In the context of the DFG priority program "Design for Future - Managed Software Evolution" the aim is to improve the versioning of models of...more Apr 19 2013 - 10:47am 11 years 33 weeks ago
Position Announcements MDE position We are looking for a software developer with knowledge in MDE technologies to join our development team. At Intelliment Security, we are developing a disruptive technology which will change the way the network security is managed. Intelliment Security is a startup, so we are looking for someone...more Apr 19 2013 - 10:58am 11 years 33 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress M-SCOPES 2013 - Call For Presentations (deadline: Apr 26th) CALL FOR PRESENTATIONS 16th International Workshop on Software and Compilers for Embedded Systems M-SCOPES 2013 June 19-21, 2013 Schloss Rheinfels, St. Goar, Germany http://www.scopesconf.org The workshop on Software and Compilers for Embedded Systems (SCOPES) and the workshop on Map...more Apr 19 2013 - 11:11am 11 years 33 weeks ago
Calls for Papers CfP: Workshop on Model-Driven and Agile Engineering for the Web (MDWE) @ ICWE 2013 ****** CALL FOR PAPERS ****** MDWE 2013 9th International Workshop on Model-Driven and Agile Engineering for the Web Workshop at ICWE 2013 http://mdwe2013.dlsi.ua.es Aalborg, Denmark July 8th, 2013 ****** OVERVIEW ****** Web Engineering is a specific domain in which systematic develo...more Apr 19 2013 - 12:43pm 11 years 33 weeks ago
Calls for Papers 2nd CfP: 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2013) ************************************************************************************************************ 2nd CALL FOR PAPERS Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems...more Apr 19 2013 - 12:56pm 11 years 33 weeks ago
Calls for Papers CFP RSP-2013 at ESWeek 24th IEEE International Symposium on Rapid System Prototyping October 3-4, 2013 Montreal, Canada, part of ESWeek 2013 http://www.rsp-symposium.org *IEEE pending approval = Import...more Apr 19 2013 - 1:10pm 11 years 33 weeks ago
Calls for Papers 2nd CFP: 8th International Symposium on Trustworthy Global Computing (TGC 2013) == CALL FOR PAPERS =================================================== 8th International Symposium on Trustworthy Global Computing (TGC 2013) Buenos Aires, 30-31 August 2013 (co-located with CONCUR, QEST & FORMATS 2013) http://sysma.lab.imtlucca.it/tgc2013/ Call for Papers ============...more Apr 19 2013 - 1:30pm 11 years 33 weeks ago
Calls for Papers CFP PATMOS 2013 CALL FOR PAPERS, SPECIAL SESSION PROPOSALS, SPECIAL TRACK PROPOSALS, PANEL SESSION PROPOSALS 23th International Workshop on Power and Timing Modeling, Optimization and Simulation Karlsruhe, Germany, September 9-11, 2013 About PATMOS PATMOS 2013 is co-located with VARI 2013 in Karlsruhe, Germany....more Apr 19 2013 - 2:40pm 11 years 33 weeks ago
Calls for Papers CFP MODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE) WORKSHOP AT RE 2013 Call for Papers MODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE) WORKSHOP AT RE 2013 Co-located with the 21st IEEE International Requirements Engineering Conference in Rio de Janeiro, Brazil, July 15, 2013 http://cserg0.site.uottawa.ca/modre2013 The Third International Model-Driven Requirement...more Apr 19 2013 - 2:54pm 11 years 33 weeks ago
Calls for Papers CFP BigMDE - BigMDE - Scalable Model Driven Engineering BigMDE - Scalable Model Driven Engineering A STAF workshop June 17, 2013, Budapest, Hungary http://www.big-mde.eu ------------------------------------------------------------------- Important Dates ------------------------------ Deadline for abstracts: April 22, 2013 Deadline for subm...more Apr 19 2013 - 3:07pm 11 years 33 weeks ago
Calls for Papers CFP - ICSSEA 2013: Software & Systems Engineering and their Applications, Paris, November 4-6, 2013 Call for Papers SOFTWARE & SYSTEMS ENGINEERING and their APPLICATIONS Telecom ParisTech, Paris, November 4-6, 2013 Web site : http://icssea.enst.fr Sponsored by AFIS (the French Association for Systems Engineering) and INCOSE, co-organized by TELECOM ParisTech, CS Communication & Syst...more Apr 19 2013 - 3:25pm 11 years 33 weeks ago
Calls for Papers CfP: 4th Workshop on Trustworthy Self-Organizing and Autonomous Systems (TSOS 2013) @ SASO 2013, Deadline July 11 TSOS 2013 4th Workshop on Trustworthy Self-Organizing and Autonomous Systems September 9, 2013, Philadelphia, PA, USA http://tsos.isse.de Affiliated to SASO 2013 Seventh IEEE International Conference on Self-A...more Apr 19 2013 - 3:46pm 11 years 33 weeks ago
Calls for Papers LPAR-19 CFP and Workshops LPAR-19 1st CALL FOR PAPERS CALL FOR WORKSHOP PROPOSALS ============================================================ The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ================================================...more Apr 19 2013 - 3:58pm 11 years 33 weeks ago
Calls for Papers CFP - Models at run.time (MRT13) Call for papers CALL FOR PAPERS 8th International Workshop on Models at run.time Co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems (MODELS 2013) September 329th - October 4th, 2013, Miami...more May 7 2013 - 10:23am 11 years 30 weeks ago
Calls for Papers CFP PECCS 2014 - Int'l Conf. on Pervasive and Embedded Computing and Communication Systems (Lisbon/Portugal) CALL FOR PAPERS International Conference on Pervasive and Embedded Computing and Communication Systems PECCS website: http://www.peccs.org/ January 7 - 9, 2014 Lisbon, Portugal In Cooperation with: EUROMICRO Sponsored by: INSTICC INSTICC is Member of: WfMC Logistics Partner: SCITEVEN...more May 7 2013 - 10:32am 11 years 30 weeks ago
Calls for Papers FMCAD 2013 Final Call for Papers FMCAD 2013 - FORMAL METHODS IN COMPUTER-AIDED DESIGN FINAL CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design http://www.fmcad.org/FMCAD13 Portland, OR, USA October 20-23, 2013 IMPORTANT DATES Abstract Submission: May 8 Paper Submission: May 15 Author...more May 7 2013 - 10:37am 11 years 30 weeks ago
Calls for Papers CFP - DIFTS (Design and Implementation of Formal Tools and Systems) workshop *************************************************************************** DIFTS'13 DESIGN and IMPLEMENTATION of FORMAL TOOLS and SYSTEMS CALL FOR PAPERS *********************************************************...more May 7 2013 - 11:08am 11 years 30 weeks ago
Calls for Papers BuildSys 2013 First CfP Call for Papers (apologies for multiple receptions) BuildSys 2013 5th ACM Workshop On Embedded Systems For Energy-Efficiency In Buildings November 14-15, 2013 - Rome, Italy | co-located with ACM SenSys 2013 http://www.buildsys.org/2013/ We solicit three types of original submissions: regular...more May 9 2013 - 12:41pm 11 years 30 weeks ago
General Announcements Workshop on the Future of Road Vehicle Automation The Transportation Research Board (TRB) sponsoring the Workshop on the Future of Road Vehicle Automation on July 16-19, 2013, in Palo Alto, California. For more information, see http://www.vehicleautomation.org/. more May 14 2013 - 7:24am 11 years 29 weeks ago
Position Announcements PhD position in Programming Language Verification The Department of Software and Computer Technology of TU Delft has a four year PhD position in Programming Language Verification in the NWO VICI project of Eelco Visser: "The Language Designer's Workbench. Automating the Verification of Language Definitions" The objective of the project is...more May 30 2013 - 1:40pm 11 years 27 weeks ago
Position Announcements PhD student/scientific assistant position in MDE and graph transformation We are looking for a PhD student/scientific assistant who likes to work in theory and practice combining topics of model-driven engineering and graph transformation. More details can be found here: http://www.uni-marburg.de/fb12/swt/forschung/projekte/2013_05_27_taentzer_scientificassistant.pdfmore Jun 11 2013 - 2:22pm 11 years 25 weeks ago
Calls for Papers CFP 2014 IEEE Aerospace Conference CALL FOR PAPERS 2014 IEEE Aerospace Conference Yellowstone Conference Center in Big Sky, Montana, March 1-7, 2014 The Call for Papers is available for viewing and download at CFP link or at http://www.aeroconf.org/ ABSTRACTS NOW BEING ACCEPTED, due July 15, 2013. Please consider submitting...more Jun 11 2013 - 2:26pm 11 years 25 weeks ago
Calls for Papers AVOCS 2013 Final Call for Papers ********************************************************************** 13th Automated Verification of Critical Systems (AVOCS) 2013 Workshop http://www.avocs2013.org.uk 11-13th September, 2013 University of Surrey, UK ********************************************************************** The aim o...more Jun 11 2013 - 2:33pm 11 years 25 weeks ago
Calls for Papers CFP 2nd Workshop on the Analysis of Model Transformations (AMT'13) ********************************************************************** * Call For Papers for * 2nd Workshop on the * ANALYSIS OF MODEL TRANSFORMATIONS (AMT'13) * http://msdl.cs.mcgill.ca/conferences/AMT/ * September 29, 2013...more Jun 11 2013 - 2:50pm 11 years 25 weeks ago