CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Position Announcements Professor/Associate Professor in Systems and Network Security at Chalmers University of Technology About the Positions The Department of Computer Science and Engineering at Chalmers University of Technology invites applicants to a position as a Professor or Associate Professor in Systems and Network Security. The position as Professor or Associate Professor is a full time tenure employment. The c...more Aug 2 2013 - 12:21pm 6 years 42 weeks ago
Position Announcements PhD Position in Information Security at Chalmers University of Technology 1 PhD position in Information Security at the Dept. of Computer Science and Engineering, Chalmers University of Technology, Sweden Application deadline: August 31, 2013 Job Description We are looking for an excellent PhD candidate to work in the area of information and communication security with a...more Aug 2 2013 - 11:49am 6 years 42 weeks ago
Calls for Papers CFP - THE 13TH WORKSHOP ON DOMAIN-SPECIFIC MODELING Call for Papers and Demonstrations THE 13TH WORKSHOP ON DOMAIN-SPECIFIC MODELING At the SPLASH Conference Indianapolis, Indiana, USA 27 October, 2013 http://www.dsmforum.org/events/DSM13 Domain-specific modeling (DSM) provides a modern solution to demands for higher productivity by constricting the...more Jul 23 2013 - 4:56pm 6 years 44 weeks ago
Position Announcements Missile Defense Agency is hiring 70 Entry level positions The Missile Defense Agency is hiring! These 70 positions are fully paid (with benefits) and are entry level professional positions. These programs offer selectees a chance to engage in an intense learning and experiential program of 3 years within MDA, with rapid promotion as you successfully compl...more Jul 23 2013 - 4:44pm 6 years 44 weeks ago
Position Announcements Senior Lecturer positions in Computer Science at Linnaeus University *** We apologize for any cross-posting of this message *** Senior Lecturer positions in Computer Science at Linnaeus University, with a focus on Engineering Self-Adaptive Systems Linnaeus University is located in South Sweden. The University was established in 2010 as a merger of Vaxjo Universit...more Jul 23 2013 - 4:40pm 6 years 44 weeks ago
Position Announcements Post-doctorate and Research Engineer positions on Scalable Model-Driven Engineering in Nantes, France The AtlanMod INRIA research team at Ecole des Mines de Nantes (http://www.emn.fr/x-info/atlanmod) is opening two 18-months positions (one postdoc and one research engineer) in the field of Scalable Model-Driven Engineering (MDE). The aim of the research is developing theoretical foundations an...more Jul 23 2013 - 4:38pm 6 years 44 weeks ago
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 44 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 44 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 48 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 50 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 50 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 50 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 50 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 50 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 50 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 50 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 50 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 51 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 7 years 2 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 7 years 2 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 7 years 3 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 7 years 3 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 7 years 3 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 7 years 3 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 7 years 5 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 7 years 5 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 7 years 5 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 7 years 5 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 7 years 5 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 7 years 5 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 7 years 5 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 7 years 5 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 7 years 5 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 7 years 5 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 7 years 5 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 7 years 5 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 7 years 5 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 7 years 7 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 7 years 7 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 7 years 7 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 7 years 7 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 7 years 7 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 7 years 7 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 7 years 7 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 7 years 7 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 7 years 7 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 7 years 7 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 7 years 7 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 7 years 7 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 7 years 7 weeks ago