CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Position Announcements PhD position in Grenoble (French Alps) ============================================================== A 3-years PhD Position in Grenoble (French Alps) in the area of : Program Verification and Graph Transformations Application and Required Skills: Applicants must have completed or about to finish a M.Sc. or equivalent degre...more Jul 23 2013 - 4:36pm 6 years 8 weeks ago
Calls for Papers CFP - INTERNATIONAL WORKSHOP ON MODELS AND EVOLUTION (ME 2013) CALL FOR PAPERS ******************************************************************************** INTERNATIONAL WORKSHOP ON MODELS AND EVOLUTION (ME 2013) Co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems October 2013 - Miami, Florida (USA)...more Jul 23 2013 - 4:25pm 6 years 8 weeks ago
Calls for Papers Last Call for Abstracts/Papers for SLE'13 ======================================================================== LAST CALL FOR PAPERS AND ABSTRACTS 6th International Conference on Software Language Engineering (SLE 2013) Oct 26-28, 2013, Indianapolis, IN, USA (Co-located with SPLASH 2013 and GPCE 2013) General chair: Eric Van W...more Jun 11 2013 - 2:43pm 6 years 13 weeks ago
Calls for Papers CFP - MDHPCL @ MODELS 2013 ------------------------------------------ MDHPCL 2013 - Call for Papers ------------------------------------------ 2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing MODELS 2013 satellite event September 29, 2013 - Miami, Florida, USA -------------...more Jun 11 2013 - 3:24pm 6 years 15 weeks ago
Calls for Papers CFP - ICSSEA 2013: Software & Systems Engineeing and their Applications ICSSEA 2013 25th International Conference on 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 C...more Jun 11 2013 - 3:15pm 6 years 15 weeks ago
Calls for Papers CFP - DADS Track at ACM SAC 2014 CALL FOR PAPERS =============== +-----------------------------------------------------------------+ | 9th Track on Dependable and Adaptive Distributed Systems (DADS) | | of the 29th ACM Symposium on Applied Computing (SAC'14) | +----------------------------------------------------------...more Jun 11 2013 - 3:06pm 6 years 15 weeks ago
Calls for Papers CfP : 6th Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB) at MoDELS 2013 ----------------------- CALL FOR PAPERS ----------------------- ===================================================================== 6th International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2013) In conjunction with ACM/IEEE 15th International Confer...more Jun 11 2013 - 3:00pm 6 years 15 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 6 years 15 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 6 years 15 weeks ago
Calls for Papers CFP 2014 IEEE Aerospace Conference CALL FOR PAPERS2014 IEEE Aerospace Conference Yellowstone Conference Centerin 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 a paper fo...more Jun 11 2013 - 2:26pm 6 years 15 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 6 years 15 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 to u...more May 30 2013 - 1:40pm 6 years 16 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 6 years 19 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 p...more May 9 2013 - 12:41pm 6 years 19 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 6 years 20 weeks ago
Calls for Papers FMCAD 2013 Final Call for Papers FMCAD 2013 - FORMAL METHODS IN COMPUTER-AIDED DESIGNFINAL CALL FOR PAPERSInternational Conference on Formal Methods in Computer-Aided Designhttp://www.fmcad.org/FMCAD13 Portland, OR, USA October 20-23, 2013IMPORTANT DATES Abstract Submission: May 8 Paper Submission: May 15 Author Notification: J...more May 7 2013 - 10:37am 6 years 20 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: SCITEVENTSIMPORT...more May 7 2013 - 10:32am 6 years 20 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 6 years 20 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 6 years 22 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-Ada...more Apr 19 2013 - 3:46pm 6 years 22 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 6 years 22 weeks ago
Calls for Papers CFP BigMDE - BigMDE - Scalable Model Driven Engineering BigMDE - Scalable Model Driven Engineering A STAF workshop June 17, 2013, Budapest, Hungaryhttp://www.big-mde.eu -------------------------------------------------------------------Important Dates ------------------------------ Deadline for abstracts: April 22, 2013 Deadline for submissions:...more Apr 19 2013 - 3:07pm 6 years 22 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, 2013http://cserg0.site.uottawa.ca/modre2013 The Third International Model-Driven Requirements Engi...more Apr 19 2013 - 2:54pm 6 years 22 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 6 years 22 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 6 years 22 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 6 years 22 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 6 years 22 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 2013http://mdwe2013.dlsi.ua.es Aalborg, Denmark July 8th, 2013 ****** OVERVIEW ****** Web Engineering is a specific domain in which systematic development is n...more Apr 19 2013 - 12:43pm 6 years 22 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 SystemsM-SCOPES 2013 June 19-21, 2013 Schloss Rheinfels, St. Goar, Germanyhttp://www.scopesconf.org The workshop on Software and Compilers for Embedded Systems (SCOPES) and the workshop on Mapping of Applica...more Apr 19 2013 - 11:11am 6 years 22 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 6 years 22 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 6 years 22 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 rea...more Apr 4 2013 - 3:46pm 6 years 24 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 6 years 24 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 6 years 24 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 6 years 24 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 6 years 24 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 6 years 24 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 6 years 24 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, August...more Apr 4 2013 - 12:12pm 6 years 24 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 6 years 24 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.htmSpecial Issue: Elsevier's Microprocessors and Microsystems Journal (MICPRO) submission d...more Apr 4 2013 - 11:04am 6 years 24 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, 2013http://esweek.acm.org ===================================...more Apr 4 2013 - 10:46am 6 years 24 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 on Feedback...more Apr 4 2013 - 10:27am 6 years 24 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 trend...more Apr 3 2013 - 5:16pm 6 years 24 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 architecturesThe CISTER Research Centre (http://www.cister.isep.ipp.pt), an internationalleader in various areas of real-time and embedded computing, is curr...more Apr 3 2013 - 5:05pm 6 years 24 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, 2013http://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 confe...more Mar 12 2013 - 11:10pm 6 years 27 weeks ago
Calls for Papers CFP: WCET 2013 13th International Workshop on Worst-Case Execution Time Analysis Paris, France, July 9, 2013http://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 is to br...more Mar 4 2013 - 1:25pm 6 years 29 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 6 years 30 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, 2013http://cesg.tamu.edu/iccps2013/WiP.html Cyber-physical systems (CPS) are physical and engineered systems whose operations are monitored, coordinated, controlled, and integrated...more Feb 13 2013 - 6:45pm 6 years 31 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 6 years 32 weeks ago