CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Papers CfP: FormaliSE 2014 Call for Papers: FormaliSE 2014 2nd FME Workshop on Formal Methods in Software Engineering held in conjunction with ICSE 2014 (May 31th-June 7th) Hyderabad, India http://www.formalise.org/ INTRODUCTION The software industry has...more Dec 19 2013 - 3:53pm 6 years 23 weeks ago
Calls for Papers CfP: FORMATS 2014 --------------------------------------------------------------------- FORMATS 2014 12th International Conference on Formal Modeling and Analysis of Timed Systems Preliminary Call for Papers http://www....more Dec 19 2013 - 3:44pm 6 years 23 weeks ago
Position Announcements 8 PhD Positions in Cyber-Physical and Embedded Systems @ Eindhoven University of Technology - Electronic Systems group 8 PhD Positions in Cyber-Physical and Embedded Systems Eindhoven University of Technology Eindhoven University of Technology (TU/e, www.tue.nl) is a world-leading research university specializing in engineering science & technology. The Department of Electrical Engineering is responsible for res...more Dec 19 2013 - 3:37pm 6 years 23 weeks ago
Calls for Papers CfP: Workshop on the Integration of Mixed-Criticality Subsystems on Multicores ========================================================================== CALL for PARTICIPATION ========================================================================== Workshop Integration of Mixed-Criticality Subsystems on Multi-Core and Many-Core Processorshttps://alfresco.dit.upm.es/mul...more Dec 19 2013 - 2:57pm 6 years 23 weeks ago
Calls for Papers CfP: Spring Simulation Conference - Work in Progress Session and Posters 2014 Spring Simulation Multi-Conference (SpringSim 2014)http://www.scs.org/springsim April 13 - 16, 2014 | Tampa, FL, USA ** Call For Work In Progress Papers ** General Chair: Mamadou Kaba Traore, traore@isima.fr Vice-General Chair: Saikou Diallo, sdiallo@odu.edu Program Chair: Navonil Mustafee...more Dec 19 2013 - 2:49pm 6 years 23 weeks ago
Calls for Papers Call for Industry Track Papers, FM 2014, May 2014, Singapore CALL FOR INDUSTRY TRACK PAPERS FM2014 is the nineteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing to...more Dec 19 2013 - 2:38pm 6 years 23 weeks ago
Calls for Papers CfP: MECO'2014 and ECYPS'2014 ------------------------------------------------------------------------------------------------------------ CALL FOR PAPERS ------------------------------------------------------------------------------------------------------------ 3rd Mediterranean Conference on Em...more Dec 19 2013 - 2:27pm 6 years 23 weeks ago
Position Announcements Open Postdoc positions at University of Firenze (Italy) The University of Florence http://www.unifi.it/, Florence, Italy, opens one or more (depending on candidates qualification) Post Doctoral position(s) in Dependable Systems at Resilient Computing Lab (RCL, http://rcl.dsi.unifi.it), Department of Mathematic and Informatics. We are recru...more Dec 19 2013 - 2:23pm 6 years 23 weeks ago
Calls for Papers CfP: ADAPT @ HiPEAC 2014 with panel on reproducible research CALL FOR PARTICIPATION ADAPT: 4th Workshop on Adaptive Self-tuning Computing Systems 22 January 2014, Vienna, Austria (co-located with HiPEAC 2014) http://adapt-workshop.org * Keynote: Towards Resource Management in Parallel Architec...more Dec 19 2013 - 2:21pm 6 years 23 weeks ago
Calls for Papers Last CFP - Qualitative Research and Modeling We would like to invite you to submit a contributing article to the Special Track on Qualitative Research and Methodologies in Science and Engineering: QRMSE 2014 (www.2014iiisconferences.org/qrmse), being organized in the context of 5th International Multi-Conference on Complexity, Informatics and...more Dec 19 2013 - 1:54pm 6 years 23 weeks ago
Calls for Papers Deadline extended: CFP: Special Issue on "Heuristics for Reliable and Efficient Wireless Sensor Networks Deployments" CALL FOR PAPERS: Special Issue on "HEURISTICS FOR RELIABLE AND EFFICIENT WIRELESS SENSOR NETWORKS DEPLOYMENTS" PDF: http://arco.unex.es/hrewsnhttp://www.springer.com/mathematics/applications/journal/10732Journal of Heuristics Springer, ISSN: 1381-1231. Editor-in-Chief: Manuel Laguna. Impact fac...more Dec 19 2013 - 1:51pm 6 years 23 weeks ago
Calls for Papers CfP: FPL2014: Deadline: March 28, 2014 24th International Conference on Field Programmable Logic and Applications Munich, Germany, Sep. 2 - 4, 2014 Important dates: Submission deadline for conference papers: March 28, 2014 Acceptance Notification: June 6, 2014 Camera-ready/Author Reg...more Dec 19 2013 - 1:08pm 6 years 23 weeks ago
Calls for Papers CfP: ODES-11: Deadline Extended ODES-11: 11th Workshop on Optimizations for DSP and Embedded Systems http://odes-workshop.weebly.com/ February 15/16, 2014, Orlando, USA in conjunction with IEEE/ACM International Symposium on Code Generation an...more Dec 19 2013 - 12:19pm 6 years 23 weeks ago
Calls for Papers CfP: 4th ACM Workshop on Design, Modeling and Evaluation of Cyber Physical Systems 4th ACM Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'14) April 14, 2014, Berlin Germany In Cooperation with ACM SIGBED In Collocation with CPSWeek 2014...more Dec 19 2013 - 11:46am 6 years 23 weeks ago
Position Announcements Postdoctoral Fellow, Cyber-physical Systems with Desert Research Institute The Desert Research Institute (DRI) is seeking an innovation post-doctoral fellow in Cyber-physical Systems to join a small team that will support the newly launched Applied Innovation Center in Advanced Analytics (AIC). The new AIC will partner with business within and outside Nevada to help trans...more Dec 10 2013 - 3:45pm 6 years 24 weeks ago
Calls for Papers ODES-11: Deadline Extended ODES-11: 11th Workshop on Optimizations for DSP and Embedded Systems http://odes-workshop.weebly.com/ February 15/16, 2014, Orlando, USA in conjunction with IEEE/ACM International Symposium on Code Generation and Optimization (CGO) http://www.cgo.org/ CALL FOR PAPERS Optimizations ar...more Dec 2 2013 - 9:29am 6 years 26 weeks ago
Calls for Papers CfP: 10th European Conference on Modelling Foundations and Applications 2014 (ECMFA 2014) ECMFA 2014: Call for Papers 10th European Conference on Modelling Foundations and Applications 2014 York, United Kingdom 21st - 25th July, 2014 http://ecmfa2014.lcc.uma.es ************************************************************...more Nov 27 2013 - 1:15pm 6 years 26 weeks ago
Calls for Papers 3rd CfP - Extended Deadline Dec 1st - DUHDe 2014 3rd Call for Papers DUHDe - 1st Workshop on Design Automation for Understanding Hardware Designs March 28, 2014 - Friday Workshop at DATE 2014, Dresden, Germany http://www.informatik.uni-bremen.de/duhde2014/ http://www.informatik.uni-bremen.de/duhde2014/DUHDe_cfp.pdf ** Deadline extended ** ** Dea...more Nov 27 2013 - 1:10pm 6 years 26 weeks ago
Position Announcements Post-doc opening in discrete event and communication systems in manufacturing Post-doc position available at Czech Technical University in Prague at the Department of Control Engineering in discrete event systems and communication systems in manufacturing with strong relation to car industry. Closing date: January 15, 2014more Nov 27 2013 - 1:05pm 6 years 26 weeks ago
Position Announcements 2014 MathWorks Summer Research Internship http://msdl.cs.mcgill.ca/people/mosterman/calls/interns2014/2014_mathworks_summer_research_internship.pdf ========= 2014 MATHWORKS SUMMER RESEARCH INTERNSHIP ========= Come join us at MathWorks headquarters in Natick, MA for a Summer Research Internship. You wil...more Nov 27 2013 - 1:03pm 6 years 26 weeks ago
Calls for Papers CfP: IEEE Micro Special Series on Harsh Chips ==================================================================== IEEE Micro Special Series on Harsh Chips CALL FOR PAPERS ==================================================================== Our apologies if you receive multiple copies...more Nov 27 2013 - 12:59pm 6 years 26 weeks ago
Position Announcements Assistant Prof. Faculty Opening (hardware systems) The Department Of Computer Engineering at UC Santa Cruz invites applications foer a position in computer engineering at the assistant professor (tenure track) level in the area of hardware systems. More information is available at:http://apo.ucsc.edu/academic_employment/jobs/JPF00043-14.pdf And app...more Nov 27 2013 - 12:56pm 6 years 26 weeks ago
Position Announcements Open PhD /scientific assistant position at Philipps-Universität Marburg The software engineering group (http://www.uni-marburg.de/fb12/swt) at Philipps-Universitat Marburg in Germany is looking for candidates who are interested in model-driven software engineering and/or graph transformation systems. The team shall be strengthened by a person who likes to work self-d...more Nov 27 2013 - 12:51pm 6 years 26 weeks ago
Calls for Papers CrP: Special Issue (DAES) on Memory Architecture and Organization for Embedded Systems (ESWeek workshop MeAOW) Call for Papers Springer Design Automation of Embedded Systems (DAES) Special Issue on Memory Architecture and Organization for Embedded Systems The ESWeek Memory Architecture and Organization Workshop (MeAOW) is an international forum that addresses research to model, analyze, design and evalua...more Nov 27 2013 - 12:48pm 6 years 26 weeks ago
Calls for Papers CfP: ISORC 2014 - deadline extended to Nov. 27 CALL FOR PAPERS 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing June 10 - 12, 2014 Reno, Nevada, USA http://www.isorc2014.org...more Nov 27 2013 - 12:46pm 6 years 26 weeks ago
Position Announcements Postdoc in mobile health applications The University of Iowa Computer Science Department Postdoctoral Research Scholar The UI Computer Science Mobile Systems Laboratory is starting a new project on mobile health applications, and has an opening for a Postdoctoral Research Scholar. The laboratory currently consists of three CS faculty...more Nov 27 2013 - 12:40pm 6 years 26 weeks ago
Calls for Papers CfP: RATE 2013 --------------------------------------------------------------------- Call for Participation: ***** RATE: Workshop on Real-Time Ethernet ***** http://ece.uwaterloo.ca/~sfischme/RATE2013.html Vancouver, Canada, December 3, 2013 a satel...more Nov 27 2013 - 12:38pm 6 years 26 weeks ago
Calls for Papers CfP PLACES 2014 CALL FOR PAPERS PLACES'14 Programming Language Approaches to Concurrency and communication-cEntric Software April 2014, Grenoble, France Affiliated with ETAPS 2014http://places14.di.fc.ul.pt/Theme and Goals Applications today are built using numerous interacting services. Soon off-the-shelf C...more Nov 27 2013 - 12:33pm 6 years 26 weeks ago
Calls for Papers CfP: CAV 2014 First Call for Papers 26th International Conference on Computer Aided Verification (CAV'14) Part of Vienna Summer of Logic (VSL'14) 18-22 July 2014, Vienna, Austriahttp://www.cavconference.org New Rules --------- We will continue to have short and long papers, but short papers are not restric...more Nov 26 2013 - 2:59pm 6 years 26 weeks ago
Position Announcements Open tenure-track faculty positions in the area of embedded systems at the Max Planck Institute for Software Systems ======= Call for Applications ======== Applications are invited for tenure-track and tenured faculty positions in all areas related to the study, design, and engineering of software systems. These areas include, but are not limited to, security and privacy, embedded and mobile systems, social comp...more Nov 26 2013 - 2:56pm 6 years 26 weeks ago
Calls for Papers 2nd CFP - Workshop on Design Automation for Understanding Hardware Designs 2nd Call for Papers DUHDe - 1st Workshop on Design Automation for Understanding Hardware Designs March 28, 2014 - Friday Workshop at DATE 2014, Dresden, Germanyhttp://www.informatik.uni-bremen.de/duhde2014/http://www.informatik.uni-bremen.de/duhde2014/DUHDe_cfp.pdf Deadline for submissions:...more Nov 26 2013 - 11:48am 6 years 26 weeks ago
Calls for Papers CfP for 11th International Workshop on Formal Engineering approaches to Software Components and Architectures Call for Papers - FESCA 2014 - 11th International Workshop on Formal Engineering approaches to Software Components and Architectures Satellite event of ETAPS April 12th, 2014, Grenoble, France http://fesca.ipd.kit.edu/fesca2014/ WORKSHOP AIM In recent years, the growing impo...more Nov 26 2013 - 11:30am 6 years 26 weeks ago
Calls for Papers CFP Mediterranean Conference on Embedded Computing (MECO 2014 including ECYPS 2014] ------------------------------------------------------------------------------------------------------------ CALL FOR PAPERS ------------------------------------------------------------------------------------------------------------ 3rd...more Nov 12 2013 - 12:26pm 6 years 28 weeks ago
Calls for Papers CfP: SEAMS 2014 Software Engineering for Adaptive and Self-Managing Systems 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2014) http://seams2014.uni-paderborn.de/call_for_papers.html CALL FOR PAPERS 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SE...more Nov 12 2013 - 12:16pm 6 years 28 weeks ago
Calls for Papers CfP - ISORC 2014 CALL FOR PAPERS 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing June 10 - 12, 2014 Reno, Nevada, USA http://www.isorc2014.org IMPORTANT DATES Submis...more Nov 12 2013 - 12:00pm 6 years 28 weeks ago
Calls for Papers CFP : IEEE JETCAS Special Issue on "Robust and Energy-Secure Systems" ==================================================================== IEEE JETCAS Special Issue on "Robust and Energy-Secure Systems" CALL FOR PAPERS ==================================================================== Our apologies if you receive multiple copies o...more Nov 12 2013 - 11:53am 6 years 28 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress CfP - RATE - Workshop on Real-Time Ethernet - Call for Participation ---------------------------------------------------------------------- Call for Participation: ***** RATE: Workshop on Real-Time Ethernet ***** http://ece.uwaterloo.ca/~sfischme/RATE2013.html Vancouver, Canada, December 3, 2013 ** Earl...more Nov 12 2013 - 11:48am 6 years 28 weeks ago
Calls for Papers 3rd CFP: Special Issue on "Heuristics for Reliable and Efficient, Wireless Sensor Networks Deployments" THIRD CALL FOR PAPERS: Special Issue on "HEURISTICS FOR RELIABLE AND EFFICIENT WIRELESS SENSOR NETWORKS DEPLOYMENTS" PDF: http://arco.unex.es/hrewsn Journal of Heuristics Springer, ISSN: 1381-1231. Editor-in-Chief: Manuel Laguna. Impact factor (2012): 1.471 (Q1, COMPUTER SCIENCE, THEORY &...more Nov 12 2013 - 11:39am 6 years 28 weeks ago
Calls for Papers CfP DEADLINE EXTENDED: ACM TECS Special Issue on Applications of Concurrency to System Design NEW DEADLINE for submissions: November 7, 2013 ==============================================ACM TECS Call for Papers for the Special Issue on Application of Concurrency to System Design Concurrent computing systems were investigated by scientists since early 1960s. Many formal methods were int...more Nov 12 2013 - 11:43am 6 years 28 weeks ago
Calls for Papers CFP - Workshop on Performance, Power and Predictability of Many-Core Embedded Systems DATE 2014 Friday Workshop on Performance, Power and Predictability of Many-Core Embedded Systems March 28, 2014, Dresden, Germany http://www.date-conference.com/conference/friday-workshops Call For Papers 3PMCES Workshop: http://www.ecsi.org/workshop2014/date/3pmces Import...more Nov 11 2013 - 6:36pm 6 years 29 weeks ago
Calls for Papers CFP - Design Automation Conference - Design Methods for Automotive Systems and Software ================================================================== C A L L F O R P A R T I C I P A T I O N **** Design Automation Conference 2014 **** San Francisco, CA June 1 - 5, 2014http://www.dac.com/design+methods+for+automotive+systems+and+software.aspx =================================...more Nov 11 2013 - 6:28pm 6 years 29 weeks ago
Calls for Papers CFP - Workshop on Design Automation for Understanding Hardware Designs Call for Papers DUHDe - 1st Workshop on Design Automation for Understanding Hardware Designs March 28, 2014 - Friday Workshop at DATE 2014, Dresden, Germanyhttp://www.informatik.uni-bremen.de/duhde2014/http://www.informatik.uni-bremen.de/duhde2014/DUHDe_cfp.pdf Deadline for submissions: Nov...more Nov 11 2013 - 6:20pm 6 years 29 weeks ago
Calls for Papers CfP - Mod4Sim - Extended Deadline CALL FOR PAPERS 4th International Workshop on Model-driven Approaches for Simulation Engineering part of the Symposium on Theory of Modeling and Simulation (SCS SpringSim 2014) #####################...more Nov 11 2013 - 6:09pm 6 years 29 weeks ago
Calls for Papers CfP - ICGT 2014 ============================================================================ FIRST CALL FOR PAPERS ICGT 2014 The Seventh International Conference on Graph Transformation - Modelling and Analysis of Dynamic Structures - July 21-25, 2014, York, UK Affiliated with STAF (Software Technologies: Appl...more Nov 11 2013 - 6:04pm 6 years 29 weeks ago
Calls for Papers CfP - ICCS/Alchemy 2014 ****************************************************** * ALCHEMY Workshop * Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems * * Held in conjunction with the International Conference on Computational Science (ICCS 2014) * Cairns, Australia * June 10-12, 2...more Nov 11 2013 - 5:47pm 6 years 29 weeks ago
Calls for Papers CfP - RTCSA 2014 Call for Papers: [RTCSA 2014] The 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications Aug 20-22, 2014, Chongqing, China Website: http://www.rtcsa.org ______________________________________ Continuing the great success of 2010 at Macau, 2011 at Toyama...more Nov 11 2013 - 5:35pm 6 years 29 weeks ago
Calls for Papers CfP - HARSH 2014 ==================================================================== HARSH 2014 Workshop on Highly-Reliable Power-Efficient Embedded Designs CALL FOR PAPERS ===================================================================...more Nov 11 2013 - 5:26pm 6 years 29 weeks ago
Calls for Papers ODES-11: 11th Workshop on Optimizations for DSP and Embedded Systems ODES-11: 11th Workshop on Optimizations for DSP and Embedded Systems http://odes-workshop.weebly.com/ February 15/16, 2014, Orlando, USA in conjunction with IEEE/ACM International Symposium on Code Generation and Optimization (CGO)http://www.cgo.org/ CALL FOR PAPERS Optimizations are...more Oct 31 2013 - 5:46am 6 years 30 weeks ago
Position Announcements Research Position Vacancy Federal Highway Adminstration Our nation can't dig its way out of congestion; it's just too expensive to pave extra lanes. Operations R&D is about using advanced technologies and taking a multi-modal transportation system view for making our existing roads work more efficiently. If you have a background in research related...more Oct 25 2013 - 8:22pm 6 years 31 weeks ago
Position Announcements 5 PhD students for the Marie Curie Initial Training Network RetNet (European Industrial Doctorate Programme on Real-Time Network 5 PhD students for the European Industrial Doctorate Programme on Future Real-Time Networks Malardalen University in Vasteras, Sweden, is together with TTTech Labs at TTTech Computertechnik AG in Vienna, Austria, launching an industrial doctorate programme supported by an EU Marie-Curie grant. T...more Oct 17 2013 - 10:54am 6 years 32 weeks ago