CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Papers CfP: WORKSHOP ON THE ANALYSIS OF MODEL INTL. WORKSHOP ON THE ANALYSIS OF MODEL TRANSFORMATIONS (AMT'14) Valencia, Spain 28, 29, or 30 Sept 2014 http://msdl.cs.mcgill.ca/conferences/AMT Co-located with MODELS'14 MOTIVATION To facilitate the processing and manipulation of models, a lot of research has gone into developing languages, stand...more Jun 24 2014 - 3:55pm 10 years 23 weeks ago
Calls for Papers CFP: Junior Researcher Workshop on Real-Time Computing (JRWRTC2014) 8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014) http://www.cister.isep.ipp.pt/jrwrtc2014/ in conjunction with the 22nd International Conference on Real-Time and Network Systems (RTNS 2...more Jun 24 2014 - 4:04pm 10 years 23 weeks ago
Position Announcements Student Volunteer Applications Student Volunteer Applications The ACM/IEEE 17th International Conference on Model-Driven Engineering Language & Systems (MODELS 2014) in Valencia, Spain, is accepting Student Volunteer Applications. (see http://models2014.webs.upv.es/studentvolunteers.htm) If you or someone you know would like...more Jun 24 2014 - 4:22pm 10 years 23 weeks ago
Position Announcements Assistant Professorship Position and several PhD positions in Computer Science at IMT Lucca (Italy) Assistant Professor in Systems Modeling and Analysis (Computer Science) - Deadline for applications: July 11th 2014 - http://www.imtlucca.it/faculty/positions/junior_faculty_recruitment_program.php#system_modeling_analysis_2014 The IMT Institute for Advanced Studies Lucca invites applications for an...more Jun 24 2014 - 4:21pm 10 years 23 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Student Poster Session during MobiHoc 2014 Workshop on "Airborne Networks and Communications" Dear Friends During the 2014 MobiHoc Workshop on Airborne Networks and Communications, we are organizing a student poster and demo session on "Unmanned Aerial Vehicles". Please refer to the details posted at http://www.cse.unt.edu/~mgomathi/anc Students whose poster are selected for presentation wil...more Jun 3 2014 - 2:22pm 10 years 22 weeks ago
Calls for Papers CfP: Workshop on Embedded and Cyber-Physical Systems Education, October 16, 2014 during ES-Week Call for Papers: Workshop on Embedded and Cyber-Physical Systems Education, October 16, 2014 during ES-Week - WESE 2014 http://www.emsig.net/conf/2014/wese/ Paper submission: July 31, 2014 =========================================================================================== The increa...more Jul 11 2014 - 11:42am 10 years 21 weeks ago
Calls for Papers last CfP: MODELS 2014 [models2014] : last call for papers (Posters, Demos, Doctoral Symposium, Educators Symposium, Workshops and ACM Student Research Competition (sponsored by Microsoft Research) The deadline for submissions at MODELS 2014 is July 11, 2014! Posters: The top two posters will receive Best Poster Awards...more Jul 11 2014 - 11:51am 10 years 21 weeks ago
Calls for Papers CFP - Symposium on Theory of Modeling and Simulation Preliminary Call For Papers Symposium on Theory of Modeling and Simulation (TMS 2015) April 12-15, 2015 The Westin Alexandria, Alexandria, VA, USA http://www.tms-devs.org Sponsored by The Society for Modeling and Simulation International (SCS) In cooperation with ACM/SIGSIM Technically Co-S...more Jul 11 2014 - 11:54am 10 years 21 weeks ago
Position Announcements Postdoc position at Virginia Tech on OS verification Postdoctoral Research Associate Virginia Tech A postdoctoral position on OS verification is available in the Systems Software Research Group at Virginia Tech's ECE Department. The project involves formally verifying components of operating systems (e.g., PREEMPT RT Linux) to meet functional and non...more Jul 11 2014 - 12:05pm 10 years 21 weeks ago
Calls for Papers 1st CfP: ACM SAC 2015: Track on Coordination Models, Languages and Applications Coordination Models, Languages and Applications Special Track of the 30th ACM Symposium on Applied Computing (SAC'15) http://sac2015.apice.unibo.it/ April 13 - 17, 2015 Salamanc...more Jul 11 2014 - 12:10pm 10 years 21 weeks ago
Calls for Papers CfP: 4th Embedded Operating System Workshop Submission Call For Papers - EWiLi'14, the 4th Embedded Operating System Workshop Submission deadline: 18 July 2014 13-14 November 2014, Lisboa, Portugal http://www.sigops-france.fr/EWiLi14 Aim and Scopes EWiLi, the embedded operating system workshop, aims at presenting state-of-the-art research, experime...more Jul 11 2014 - 12:18pm 10 years 21 weeks ago
Position Announcements Postdoc position at Virginia Tech on Compilers/Run-times Postdoctoral Research Associate Virginia Tech A postdoctoral position is available in the Systems Software Research Group at Virginia Tech on the Popcorn operating system project. The Popcorn project involves developing scalable OS architectures for emerging heterogeneous multicore hardware. The pos...more Jul 11 2014 - 12:22pm 10 years 21 weeks ago
Calls for Papers CFP - IEEE Computer Special Issue on Self-Aware/Expressive Computing Systems IEEE Computer Special Issue on Self-Aware and Self-Expressive Computing Systems IEEE Computer seeks submissions for a July 2015 special issue on self-aware and self-expressive computing. Theme Self-aware computing describes an emerging field of research into systems and applications that proactively...more Jul 11 2014 - 12:24pm 10 years 21 weeks ago
Calls for Papers Final call for papers MoDeVVa 2014 CALL FOR PAPERS - MoDeVVa 2014 11th edition Model-Driven Engineering, Verification, and Validation Integrating Verification and Validation in MDE A satellite event of MODELS 2014 September 30th, Valencia, Spain http://wwwdi.supelec.fr/modevva/ Models are purposeful abstractions of systems and of...more Jul 11 2014 - 12:26pm 10 years 21 weeks ago
Calls for Papers CfP: 4th IEEE Int'l Workshop on Software Certification - WoSoCer, 3-6 Nov 2014 The 4th International IEEE Workshop on Software Certification (WoSoCer 2014) http://cecris-project.eu/wosocer2014 3-6 November 2014, Naples, Italy The 2014 edition of WoSoCer is co-located with the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014) and takes place in...more Jul 11 2014 - 12:38pm 10 years 21 weeks ago
Calls for Papers CfP: workshop on Multi-Paradigm Modeling CALL FOR PAPERS: 8th Workshop on Multi-Paradigm Modeling (MPM) http://msdl.cs.mcgill.ca/conferences/MPM/ PDF: http://msdl.cs.mcgill.ca/conferences/MPM/files/cfp.pdf Valencia, Spain Co-located with: ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems PURPOSE The p...more Jul 11 2014 - 12:56pm 10 years 21 weeks ago
Calls for Papers CfP: IEEE 2015 International Conference on Industrial Technology IEEE 2015 International Conference on Industrial technology. ICIT 2015 17-19 March 2015, Seville, Spain http://www.icit2015.org Call for Papers ICIT 2015 is the annual International Conference on Industrial Technology, focusing on intelligent and computer control systems, robotics, factory communic...more Jul 11 2014 - 1:22pm 10 years 21 weeks ago
Calls for Papers CfP: ICSAI 2014, Shanghai: Extended Deadline 15 July The 2014 International Conference on Systems and Informatics (ICSAI 2014) will be held from 15-17 November 2014 in Shanghai, China. Due to numerous requests, the submission deadline is extended to 15 July 2014 ICSAI 2014 aims to be a premier international forum for scientists and researchers to pres...more Jul 11 2014 - 1:31pm 10 years 21 weeks ago
Calls for Papers CfP: CPSArch at ESWeek 2014 - Deadline is August 1st CPSArch 2014 - First Workshop on Cyber-Physical System Architectures and Design Methodologies October 17, 2014, New Delhi, India. Held as part of ESWEEK 2014. Call for Papers (CFP): Important Dates Papers due August 1, 2014 (by midnight, PDT) Acceptance notification September 1, 2014 Final p...more Jul 11 2014 - 1:34pm 10 years 21 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Resilience Week 2014, Denver, Colorado - Early Registration Ends Today! Resilience Week 2014 in Denver, CO, August 19 - 21 Resilience Week includes symposia dedicated to promising research in resilient systems that will protect cyber-physical infrastructures from unexpected and malicious threats - securing our way of life. This year adds a new symposium on resilient cri...more Jul 11 2014 - 1:39pm 10 years 21 weeks ago
Calls for Papers 2nd CfP: 5th Annual Safe & Secure Systems & 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 initiatives and technology supporting the Safe and Se...more May 5 2014 - 1:04pm 10 years 20 weeks ago
Calls for Papers CfP: RTAS 2015 Call for Papers 21st IEEE Real-Time and Embedded Technology and Applications Symposium RTAS'15, the 21st in a series of annual conferences sponsored by the IEEE, will be held in Seattle, Washington, as part of the Cyber-Physical Systems Week (CPSWeek) in April, 2015. CPS Week 2015 will bring toget...more Jul 21 2014 - 12:05pm 10 years 20 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Summer School on Cyber Physical Systems for Industrial Applications: Wireless self-powered vibration monitoring and control CALL FOR PARTICIPATION Summer School on Cyber Physical Systems for Industrial Applications: Wireless self-powered vibration monitoring and control Lugano (Switzerland), 8-10 September 2014 Organized by the consortium of EU FP7 project WiBRATE, http://wibrate.alari.ch This summer school explores new...more Jul 21 2014 - 12:33pm 10 years 20 weeks ago
Calls for Papers CFP EWiLi'14, the 4th Embedded Operating System Workshop Call For Papers EWiLi'14, the 4th Embedded Operating System Workshop Submission deadline:18 July 2014 13-14 November 2014, Lisboa, Portugal http://www.sigops-france.fr/EWiLi14 News: All accepted papers will be published in the ACM SIGBED Review (ISSN: 1551-3688) Special Interest Group on Embe...more Jul 21 2014 - 12:43pm 10 years 20 weeks ago
Calls for Papers CfP: 1st Workshop on Middleware for a Smarter Use of Electric Energy (MidSEE '15) CALL FOR PAPERS MidSEE 2015 1st Workshop on Middleware for a Smarter Use of Electric Energy March 12, 2015 in conjunction with NetSys 2015, Cottbus, Germany https://www.netsys2015.com/workshops-tutorials/midsee/ MOTIVATION & WORKSHOP SCOPE Smart energy meters are increasingly installed in newl...more Jul 21 2014 - 12:46pm 10 years 20 weeks ago
Calls for Papers CfP: FM2015 FM 2015 20th International Symposium on Formal Methods Oslo, Norway, June 22-26, 2015 http://fm2015.ifi.uio.no/ Call for Papers IMPORTANT DATES: Jan 2 Abstract submission deadline Jan 9 Full paper submission deadline March 23 Notification June 22-26 Conference CALL FOR PAPERS FM 201...more Jul 21 2014 - 12:57pm 10 years 20 weeks ago
Calls for Workshops & Tutorials CPSArch 2014 workshop CPSArch 2014 will be held as part of Embedded Systems Week: http://cpsarch.ecn.purdue.edu/ Cyber-Physical Systems (CPS) are poised to play a pivotal role in addressing a variety of planetary-scale grand challenges such as energy conservation, climate change, healthcare, transportation, etc. These...more Jul 5 2014 - 10:00am 10 years 18 weeks ago
Calls for Papers CFP: ICEUC 2012 International Conference on Embedded and Ubiquitous Computing Paris, France | November 28-30, 2012 CALL FOR PAPERS The XXXII. International Conference on Embedded and Ubiquitous Computing is the premier forum for the presentation of new advances and research results in the fields of Embedded...more Mar 14 2012 - 10:04am 10 years 18 weeks ago
Calls for Workshops & Tutorials updated submission deadline for CPSArch Workshop The CPSArch Workshop submission deadline has been extended to August 7. CPSArch will be held as part of Embedded Systems Week in New Delhi, India on October 17, 2014. For more information, see the workshop pages at esweek.org.more Jul 31 2014 - 2:32pm 10 years 18 weeks ago
Calls for Papers CfP: IPSN 2015 The 15th ACM/IEEE International Conference on Information Networks IPSN Call for Papers April 13-17, 2015, Seattle, WA, USA URL: http://ipsn.acm.org/2015/ The International Conference on Information Processing in Sensor Networks (IPSN) is a leading, single-track, annual forum on research in networke...more Aug 1 2014 - 12:13pm 10 years 18 weeks ago
Calls for Papers CfP: ASPLOS 2015 20th International Conference on Architectural Support for Programming Languages and Operating Systems Istanbul, Turkey, March 14-18, 2015 http://asplos15.bilkent.edu.tr Abstracts Due: July 31, 2014 Full Papers Due: August 7, 2014 ASPLOS is the premier forum for multidisciplinary systems r...more Aug 1 2014 - 12:20pm 10 years 18 weeks ago
Calls for Papers CfP: DATE'15 Topic E2 Compilers for Embedded Topic E2 Compilers for Embedded Systems DATE (Design, Automation & Test in Europe) Conference Grenoble, France, 9-13 March, 2015 http://www.date-conference.com DEADLINES Paper Submission Sunday September 14, 2014 Notification of Acceptance Friday November 07, 2014 Camera-Ready...more Aug 1 2014 - 1:34pm 10 years 18 weeks ago
Calls for Papers CfP: DATE'15 Topic D1 System Specification and Modeling TOPIC D1: " System Specification and Modeling " DESIGN AUTOMATION AND TEST IN EUROPE CONFERENCE Grenoble, France, 9-13 March, 2015 http://www.date-conference.com DEADLINES Paper Submission Sunday September 14, 2014 Notification of Acceptance Friday November 07, 2014 Camera-Ready Pap...more Aug 1 2014 - 1:39pm 10 years 18 weeks ago
Calls for Papers CfP: CPSArch at ESWeek 2014 - Deadline is August 1st CPSArch 2014 First Workshop on Cyber-Physical System Architectures and Design Methodologies October 17, 2014, New Delhi, India. Held as part of ESWEEK 2014. Call for Papers (CFP): Important Dates Papers due * August 1, 2014 (by midnight, PDT) Acceptance notification * September 1, 2014 Final pa...more Aug 1 2014 - 1:42pm 10 years 18 weeks ago
Calls for Papers CfP: ARCS 2015 || March 24 - 27, 2015 - Porto, Portugal 28th GI/ITG International Conference on Architecture of Computing Systems March 24th-27th, 2015, Porto, Portugal http://www.cister.isep.ipp.pt/arcs2015/ The ARCS series of conferences has over 30 years of tradition reporting high quality results in computer architecture and ope...more Aug 1 2014 - 1:47pm 10 years 18 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress PV@CONCUR 2014 - First Workshop on Parameterized Verification First Workshop on Parameterized Verification September 6, 2014, Rome, Italy Call for Participation Parameterized Verification (PV) is the task of verifying the correctness of systems composed of a finite but arbitrary number of identical components. The workshop is aimed at...more Aug 1 2014 - 1:57pm 10 years 18 weeks ago
Calls for Papers CfP: CPSArch @ ESWeek 2014 - Deadline Extended to August 7 2014 First Workshop on Cyber-Physical System Architectures and Design Methodologies October 17, 2014, New Delhi, India. Held as part of ESWEEK 2014. Important Dates Papers due Deadline Extended to August 7, 2014 (by midnight, PDT) Acceptance notification September 1, 2014 Final papers due Sep...more Aug 1 2014 - 2:03pm 10 years 18 weeks ago
Calls for Papers CfP: 2014 Workshop on Embedded and Cyber-Physical Systems Education (WESE) Call for Papers: Workshop on Embedded and Cyber-Physical Systems Education, October 16, 2014 during ES-Week WESE 2014 http://www.emsig.net/conf/2014/wese/ Paper submission: Deadline Extended to August 7, 2014 (by midnight, Central European Time) The increasing deployment, scale and evolution of Em...more Aug 1 2014 - 2:07pm 10 years 18 weeks ago
Calls for Papers CfP: DATE 2015 DATE 2015 in Grenoble: highlighting Electronics Design for the Internet of Things and for Medical Applications The 18th DATE conference and exhibition is the main European event bringing together designers and design automation users, researchers and vendors, as well as specialists in the hardware a...more Aug 1 2014 - 11:10am 10 years 18 weeks ago
Calls for Papers CFP: BIODEVICES 2015 - Int'l Conf. on Biomedical Electronics and Devices (Lisbon/Portugal) International Conference on Biomedical Electronics and Devices BIODEVICESwebsite: http://www.biodevices.biostec.org/ January 12 - 15, 2015 Lisbon, Portugal Technical Co-sponsorship by: BMES, ESEM and IEEE EMBS In Cooperation with: EUROMICRO, ISfTeH and AAAI Sponsored by: INSTICC INSTICC is Member o...more Aug 1 2014 - 2:12pm 10 years 18 weeks ago
Calls for Papers CfP: Embedded Systems Software Track at DATE 2015 Embedded Systems Software Track at DATE 2015 Grenoble, France - March 9-13, 2015 Submission Deadline: Sunday, September 14, 2014 http://www.date-conference.com/ Track E: Embedded Systems Software is devoted to modelling, analysis, design and deployment of embedded software. Areas of interest incl...more Aug 18 2014 - 12:32pm 10 years 16 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Integrated Formal Methods 2014 - Call for Participation 11th International Conference on integrated Formal Methods, iFM 2014 Co-located with the 11th International Symposium on Formal Aspects of Component Software, FACS 2014 9 - 12 September 2014, Bertinoro, Italy http://ifm2014.cs.unibo.it Applying formal methods may involve modeling different aspects...more Aug 18 2014 - 12:40pm 10 years 16 weeks ago
Calls for Papers Call for Papers Now Open - Design of Medical Devices Conference with Journal Publication 2015 Call for Papers Submissions Now Being Accepted The conference seeks original two-page papers that demonstrate new technologies and applications in the field of medical device design. Submissions from academic and industry researchers, clinicians and practitioners are encouraged. The paper shou...more Aug 18 2014 - 12:45pm 10 years 16 weeks ago
Calls for Papers Final CFP - Embedded systems track at ACM SAC'15 30th ACM Symposium on Applied Computing Salamanca, Spain April 13-17, 2015 http://www.acm.org/conferences/sac/sac2015 CALL FOR PAPERS FOR THE "EMBS" TRACK: EMBEDDED SYSTEMS New Perspectives for Hardware, System Software, and Applications http://retis.sssup.it/sac2015 High performance embedded comp...more Aug 18 2014 - 12:51pm 10 years 16 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Submissions - HSCC 2015 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015) April 14-16, 2015, Seattle, Washington, USA Welcome to the home page of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015). HSCC 2015 will be held as part of the eighth Cyber Ph...more Aug 18 2014 - 3:11pm 10 years 16 weeks ago
Calls for Papers 2nd CfP: IPSN 2015 The 15th ACM/IEEE International Conference on Information Networks IPSN is part of CPS Week, co-locating with conferences HSCC, ICCPS, IPSN, RTAS, and HiCoNS. IPSN Call for Papers April 13-17, 2015, Seattle, WA, USA URL: http://ipsn.acm.org/2015/ The International Conference on Information Processin...more Aug 18 2014 - 3:16pm 10 years 16 weeks ago
Calls for Papers CfP - Cyber-Physical Systems Week 2015 Cyber-Physical Systems Week 2015 April 13th - 16th, 2015, Seattle, WA, USA http://www.cpsweek.org/2015 Key Dates: Abstract Registration: October 13th, 2014 Submission Deadline: October 20th, 2014 Notification Dates: vary by individual conferences Workshop Date: April 13th, 2015 Main Confere...more Aug 25 2014 - 2:58pm 10 years 15 weeks ago
Calls for Papers Deadline Extension - September 1st, 2014 SPECIAL SESSION on Multi-Core and Many-Core systems for EMbedded Computing (MC)3 IMPORTANT: Submission Deadline Extended to September 1st, 2014Multi-Core and Many-Core systems for EMbedded Computing (MC)3 Special session in 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015) http://www.pdp2015.org/specialsessions/MC3/mc3.html...more Aug 25 2014 - 3:03pm 10 years 15 weeks ago
Calls for Papers CfP: 1st Workshop on Middleware for a Smarter Use of Electric Energy (MidSEE '15) MidSEE 2015 1st Workshop on Middleware for a Smarter Use of Electric Energy March 12, 2015 in conjunction with NetSys 2015, Cottbus, Germany https://www.netsys2015.com/workshops-tutorials/midsee/ MOTIVATION & WORKSHOP SCOPE Smart energy meters are increasingly installed in newly constructed...more Aug 25 2014 - 3:07pm 10 years 15 weeks ago
Calls for Papers CfP Reaction 2014 - Rome, Italy. December 2 Call for Papers REACTION 2014 3rd International Workshop on Real-Time and Distributed Computing in Emerging Applications Co-located with IEEE RTSS December 2, 2014. Rome, Italy. http://reactionws.uc3m.es Important dates: Submission: September 29, 2014 Author notification: Oc...more Aug 25 2014 - 3:11pm 10 years 15 weeks ago