CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress CfP: HCSS Conference 2014 The Fourteenth Annual HCSS Conference (2014) Call for Presentations Introduction The fourteenth annual HCSS Conference will be held May 6-8, 2014 at the Historic Inns of Annapolis in Annapolis, Maryland. You are invited to submit a proposal to present a talk at this year's conference. As an added fe...more Feb 24 2014 - 10:32am 5 years 21 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Presentations: 2014 HCSS Conference Update The Fourteenth Annual High Confidence Software and Systems Conference We are pleased to inform you that registration is now open for the 2014 HCSS Conference. You may register at http://cps-vo.org/group/hcss_conference/registration. The deadline for making hotel reservations is April 7, 2014. More...more Mar 26 2014 - 2:56pm 5 years 21 weeks ago
Calls for Papers OSPERT'14: Deadline extended to May 2 -------------------------------------------------------------------------------- CALL FOR PAPERS - OSPERT 2014 -------------------------------------------------------------------------------- DEADLINE EXTENDED TO MAY 2, 2014...more Apr 29 2014 - 4:37pm 5 years 21 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress ACP Summer School on Practical Constraint Programming (deadline extension) ================================================ 2014 ACP Summer School in Constraint Programming Practical Constraint Programming June 16-20 2014, Bologna (IT)...more May 5 2014 - 1:09pm 5 years 20 weeks ago
Calls for Papers Deadline extension: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014) Due to numerous requests, the deadline of PRDC 2014 has been extended to May 16th 2014. Call for Papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014) Singapore Nov 18-21, 2014 PRDC 2014 (http://prdc.dependability.org/PRDC2014/index.html) is the twentieth in...more May 5 2014 - 1:15pm 5 years 20 weeks ago
Calls for Papers TGC 2014: deadlines extended TGC 2014 Call for Papers 9th Symposium on Trustworthy Global Computing http://www.cs.le.ac.uk/events/tgc2014/ 5-6 September, 2014 Rome, Italy (co-located with Concur 2014) ******************************************************************************************* Due to several requests, the deadl...more May 5 2014 - 1:18pm 5 years 20 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress 2014 CAD Contest Call for Participation 2014 CAD Contest Call for Participation http://cad_contest.ee.ncu.edu.tw/CAD-Contest-at-ICCAD2014/ The annual CAD Contest in Taiwan, sponsored by the Ministry of Education (MOE), has been held for 14 consecutive years and has successfully boosted the EDA research momentum in Taiwan. It has been int...more May 5 2014 - 1:29pm 5 years 20 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Online course on Cyber-Physical Systems on edX We are pleased to offer EECS149.1x, a massive open online course (MOOC) on Cyber-Physical Systems on the edX platform: https://www.edx.org/course/uc-berkeleyx/uc-berkeleyx-eecs149-1x-cyber-physical-1629 The 6-week course is currently open for enrollment and begins Tuesday, May 6. This offering i...more May 5 2014 - 1:31pm 5 years 20 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 5 years 20 weeks ago
Calls for Papers EOOLT 2014: Call for papers 6th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools in cooperation with ACM SIGPLAN Berlin, October 10, 2014 http://www.eoolt.org/2014/ ** SUBMISSION DEADLINE JUNE 22 ** SCOPE During the past decade, i...more May 5 2014 - 2:43pm 5 years 20 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Joint CFP for the Workshop Papers at MODELS 2014 Joint CFP - Workshop Papers at MODELS 2014 --> 18 Exciting Workshops for You! <--- Submission Deadline: July 11, 2014 MODELS 2014 ACM/IEEE 17th International Conference on Model-Driven Engineering Language & Systems Sep...more May 5 2014 - 2:53pm 5 years 20 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Resilience Week 2014, Denver, Colorado - Register Now for Early Bird Discount! 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 May 5 2014 - 3:10pm 5 years 20 weeks ago
Calls for Papers CfP: Extended deadline May 5 > Conference on design & Architectures for Signal & Image Processing Conference on Design and Architectures for Signal and Image Processing October 8-10, 2014 Madrid, Spaindasip@ecsi.orgwww.ecsi.org/dasip General Co-Chairs: Eduardo de la Torre, Universidad Politecnica de Madrid, ES Sebastien Pillement, Polytech University of Nantes, FR CALL FOR PAPERS - EXTENDED...more May 5 2014 - 3:23pm 5 years 20 weeks ago
Position Announcements ETH Zurich Opening - Postdoc in Sensor Post-doctoral Fellow in Sensor Networks ETH Zurich The research group on Computer Engineering at ETH Zurich (Swiss Federal Institute of Technology) has an opening for a post-doctoral fellow the field of sensor networks. Description We have a long and successful history in...more May 5 2014 - 3:32pm 5 years 20 weeks ago
Calls for Papers Call for Papers: IEEE Internet Computing Special Issue Call for Papers: IEEE Internet Computing Special Issue - Building Internet of Things Software - http://www.computer.org/portal/web/computingnow/iccfp2 ==================================================================== As we equip people, places, and commodities with Internet-connected embedde...more May 5 2014 - 3:46pm 5 years 20 weeks ago
Calls for Papers CFP IEEE CPSNA 2014 The 2nd IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2014) Hong Kong, China, August 25-27, 2014 http://www.cpsna.org/ TOPICS: Cyber-Physical Systems (CPS) are next-generation embedded systems featuring...more May 5 2014 - 3:51pm 5 years 20 weeks ago
Calls for Papers CfP: 8th System Analysis and Modelling Conference (SAM'14) co-located with MODELS 2014 The 8th System Analysis and Modelling Conference (SAM'14), co-sponsered by ACM, IEEE and the SDL Forum Society and in agreement with ITU-T Study Group 17 (responsible for ITU System Design Languages), will be held in incredible Valencia, Spain, from the 29th to the 30th of September, 2014. http://sd...more May 5 2014 - 3:58pm 5 years 20 weeks ago
Calls for Papers joint CFP for the Student-related events (Doctoral Symposium, Educators Symposium and ACM SRC) Exciting opportunities for Students at MODELS 2014 joint CFP for the student-related events Doctoral Symposium, Educators Symposium and ACM SRC at MODELS 2014 ACM/IEEE 17th International Conference on Model-Driven Engineering Language & Systems Sept. 28th - Oct. 3rd, 2014 - Valencia, Spainh...more May 6 2014 - 1:10pm 5 years 20 weeks ago
Calls for Papers CfP: Conquering Complexity: Challenges and Opportunities Conquering Complexity: Challenges and Opportunities November 3-5, 2014 | Philadelphia, PA https://complexsystems.mst.edu/ Multi-faceted systems of the future will entail complex logic and reasoning with many levels of reasoning in intricate arrangement. The organization of these systems involve...more May 19 2014 - 11:33am 5 years 18 weeks ago
Calls for Papers CfP: CPSData 2014 : CPSData - Big Data Technologies for the Analysis and Control of complex Cyber-Physical Systems CPSData 2014 : CPSData - Big Data Technologies for the Analysis and Control of complex Cyber-Physical Systems Link: http://www.twt-gmbh.de/CPSData Sep 23, 2014 - Sep 23, 2014 Stuttgart, DE Submission Deadline May 19, 2014 Notification Due May 28, 2014 Final Version Due Jun 23, 2014 Categori...more May 19 2014 - 11:46am 5 years 18 weeks ago
Calls for Papers CfP: IEEE Cloud-CPS 2014 IEEE International Workshop on Cloud-integrated Cyber Physical Systems 2014 (IEEE Cloud-CPS 2014) in conjunction with IEEE CloudCom 2014, December 15 - 18, 2014, Singapore Call for Papers (PDF) Deadline for paper submissions: July 31, 2014 Notification of Paper acceptance: September 2, 2014 Overvi...more May 19 2014 - 12:05pm 5 years 18 weeks ago
Calls for Papers CfP: I-SPAN 2014 The 13th International Symposium on Pervasive Systems, Algorithms, and Networks (I-SPAN 2014) http://umc.uestc.edu.cn/conference/ISPAN2014 Dec. 19th - 21st, 2014, Chengdu, Sichuan, China I-SPAN 2014 is to bring together computer scientists, industrial engineers, and researchers to discuss and excha...more May 19 2014 - 12:23pm 5 years 18 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress CFP for Demos and Posters at MODELS 2014 CFP for Demos and Posters at MODELS 2014 ----> More opportunities to participate in MODELS 2014 <------ Submission Deadline: July 11, 2014 MODELS 2014 : ACM/IEEE 17th International Conference on Model-Driven Engineering Language & Systems Sept. 28th - Oct. 3rd, 2014 - Valencia, Spain...more May 19 2014 - 1:09pm 5 years 18 weeks ago
Calls for Papers CFP - Call for Papers Educators’ Symposium at MODELS 2014 ---> CFP - Call for Papers Educators' Symposium at MODELS 2014 <--- http://models2014.webs.upv.es/educationsymposium.htm Submission Deadline: July 11, 2014 MODELS 2014 - ACM/IEEE 17th International Conference on Model-Driven Engineering Language & Systems Sept. 28th - Oct. 3rd, 20...more May 19 2014 - 1:12pm 5 years 18 weeks ago
Calls for Workshops & Tutorials CODES+ISSS 2014 Call for Special Sessions CODES+ISSS 2014 - Call for Special Sessions Researchers both from academia and industry are invited to submit proposals for special sessions to be held during the CODES+ISSS 2014 conference. The special sessions should aim at providing a complementary experience compared to the regular sessions and...more May 19 2014 - 1:18pm 5 years 18 weeks ago
General Announcements ACM-IEEE MEMOCODE'14 SPECIAL ANNOUNCEMENT - SOFTWARE AND DESIGN CONTESTS ACM-IEEE MEMOCODE'14 SPECIAL ANNOUNCEMENT -- SOFTWARE AND DESIGN CONTESTS 12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE'14) Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland, October 19-21, 2014 Collocated with FMCAD 2014 The 12th ACM-IEEE Inte...more May 19 2014 - 1:20pm 5 years 18 weeks ago
Calls for Papers CfP: VtRES 2014 ---------------------------------------------------------------------------- CALL FOR PAPERS - VtRES'2014 ---------------------------------------------------------------------------- 2nd Workshop on Virtualization for Real-Time Embedded Systems (VtRES 2014) in conjunction with...more May 19 2014 - 1:30pm 5 years 18 weeks ago
Calls for Papers CfP: 4th Embedded Operating Systems Workshop - deadline: 18th of July Call For Papers EWiLi'14, the 4th Embedded Operating System Workshop Submission deadline:18 July 2014 13-14 November 2014, Lisboa, Portugalhttp://www.sigops-france.fr/EWiLi14 Aim and Scopes: EWiLi, the embedded operating system workshop, aims at presenting state-of-the-art research, experimentati...more May 19 2014 - 1:32pm 5 years 18 weeks ago
Calls for Papers 2nd CfP: Communicating Process Architectures (CPA) 2014 Communicating Process Architectures (CPA) 2014 The 36th WoTUG Conference on Concurrent and Parallel Systemshttp://www.wotug.org/cpa2014/ Department of Computer Science, University of Oxford, UK August 24-27, 2014 ===================== Second Call for Papers Communicating Process Architectures cove...more May 19 2014 - 2:31pm 5 years 18 weeks ago
Calls for Papers CfP: 3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS) 3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS) September 8th 2014, Firenze, Italy The 3rd ASCoMS workshop takes place at SAFECOMP 2014 - with the purpose to gather industrial and academic experts with interests in architecting safety in collaborative mobile systems. The...more May 19 2014 - 2:43pm 5 years 18 weeks ago
Calls for Papers CFP : BuildSys 2014 - The 1st Conference on Embedded Systems For Energy-Efficient Buildings ========================================================= C A L L F O R P A P E R S **** ACM BuildSys 2014 **** 1st ACM International Conference on Embedded Systems for Energy-Efficient Buildings November 4-6, 2014 Memphis, TN, USA | co-located with ACM SenSys 2014http://www.buildsys.org/2014/...more May 26 2014 - 11:02pm 5 years 17 weeks ago
Calls for Papers CfP - Deadline Extended: ABZ2014 4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z http://www.irit.fr/ABZ2014/ June 2-6, 2014 Toulouse, France 1 - Deadline is extended to Feb...more Jan 22 2014 - 3:17pm 5 years 17 weeks ago
Calls for Papers CFP: AVOCS 2013 Science of Computer Programming Call For Papers Science of Computer Programming Special Issue on Automated Verification of Critical Systems Guest editors: Steve Schneider, Helen Treharne Submission deadline: 31 May 2014 7 June 2014 Notification: 30 September 2014 This special issue is devoted to the scope of the international wo...more Jan 8 2014 - 3:19pm 5 years 16 weeks ago
Calls for Papers CfP: Summer School MOVEP 2014 CALL FOR STUDENT ABSTRACTS & REGISTRATIONS NOW OPEN EXTENDED DEADLINE Summer School MOVEP 2014 11th School on MOdelling and VErifying parallel Processes 7 -- 11 July 2014, Nantes, France http://movep14.irccyn.ec-nantes.fr/ enquiries / submissions: movep14@irccyn.ec-nantes.fr The CNRS european su...more Jun 12 2014 - 2:18pm 5 years 14 weeks ago
Position Announcements LECTURER (Two posts) - Department of COMPUTER SCIENCE, University of Pretoria, South Africa LECTURER (Two posts) - Department of COMPUTER SCIENCE, University of Pretoria, South Africa. You can view the details and apply for this job online, at:http://upnet.up.ac.za/psp/career/EMPLOYEE/HRMS/c/HRS_HRAM.HRS_CE.GBL?Page=HRS_CE_JOB_DTL&Action=A&JobOpeningId=21573&SiteId=1&Posti...more Jun 12 2014 - 2:54pm 5 years 14 weeks ago
Calls for Workshops & Tutorials ESWEEK 2014 Call for Tutorials The Embedded Systems Week (ESWEEK) is a leading forum where researchers and practitioners meet to discuss solutions to the hardest problems faced today and foreseen for the future in the development of embedded systems. Three conferences take place at the same time and location - CASES, CODES+ISSS a...more Jun 12 2014 - 3:05pm 5 years 14 weeks ago
Calls for Papers CfP: 2014 International Conference on Material Engineering and Application [ICMEA2014] 2014 International Conference on Material Engineering and Application mainly calls for papers related with materials, material engineering, material engineering and application. All accepted papers will be published by AMR (Advanced Materials Research, ISSN: 1022-6680) and submitted to EI database f...more Jun 12 2014 - 3:09pm 5 years 14 weeks ago
Calls for Papers CFP PECCS 2015 - Int'l Conf. on Pervasive and Embedded Computing and Communication Systems (ESEO, Angers, Loire Valley/France) CALL FOR PAPERS International Conference on Pervasive and Embedded Computing and Communication Systems PECCS website: www.peccs.org February 11 - 13, 2015 ESEO, Angers, Loire Valley, France In Cooperation with: EUROMICRO and EURASIP Co-organized by: ESEO Sponsored by: INSTICC INSTICC is Member of...more Jun 12 2014 - 3:22pm 5 years 14 weeks ago
Calls for Papers CfP: 2014 Workshop on Embedded and Cyber-Physical Systems Education (WESE) Workshop on Embedded and Cyber-Physical Systems Education October 16, 2014 during ES-Week http://www.emsig.net/conf/2014/wese/ Paper submission: July 31, 2014 The increasing deployment, scale and evolution of Embedded and Cyber-Physical Systems steadily increases the importance of education in the a...more Jun 12 2014 - 3:37pm 5 years 14 weeks ago
Calls for Papers CfP: Special issue on Elsevier JCSS - Real-Time and DistributedComputing in Emerging Applications Call for Papers - Journal Special Issue Topic: "Real-Time and Distributed Computing in Emerging Applications"Journal of Computer and System Sciences, Elsevier Guest Editors: Marisol Garcia-Valls, Tommaso Cucinotta Submission deadline: 15 July 2014 We are announcing a special issue on the Elsevier...more Jun 12 2014 - 3:47pm 5 years 14 weeks ago
Calls for Papers CfP: 6th Cloud Control Workshop (CloudControl6) 6th Cloud Control Workshop (CloudControl6) In conjunction with IEEE/ACM UCC 2014 in London, Dec 8-11, 2014 www.cloudresearch.org/workshops/6th Paper submissions: 25 July, 2014 (firm, no extensions) Notification of acceptance: 29 August, 2014 Early registration deadline (main UCC 2014 registration):...more Jun 12 2014 - 3:57pm 5 years 14 weeks ago
Position Announcements Postdoc position at Carnegie Mellon University on Hybrid Systems Theorem Proving Postdoc position: Hybrid Systems Theorem Proving Carnegie Mellon University, Computer Science Department Professor Andre Platzer is looking for talented researchers with a strong research track record for a project in the Computer Science Department of Carnegie Mellon University. The aim of the rese...more Jun 12 2014 - 3:58pm 5 years 14 weeks ago
Calls for Papers 2014 STAF (and IGCT) Doctoral Symposium: Call for Abstract Submission - deadline extended STAF 2014 Doctoral Symposium http://www.cs.york.ac.uk/staf/2014/doctoralsymposium Call for Abstract Submissions Part of Software Technologies: Applications and Foundations 2014 University of York, UK, 21st - 25th July 2014.http://stafconferences.info/ The STAF Doctoral Symposium is aimed at provid...more Jun 12 2014 - 2:28pm 5 years 14 weeks ago
Calls for Papers CfP: (MC)3 Multi-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/index.html 4-6 March 2015, Turku, Finland This special session address...more Jun 12 2014 - 4:26pm 5 years 14 weeks ago
Calls for Papers CfP: The 14th workshop on Domain-Specific Modeling Call for Papers and Demonstrations: Domain-Specific Modeling workshop at SPLASHCON 20/21 October 2014, Portland, Oregon, USA http://www.dsmforum.org/events/DSM14/ The workshop welcomes submissions that address Domain-Specific Modeling on practical or theoretical levels. Our main focus is on graphica...more Jun 12 2014 - 4:29pm 5 years 14 weeks ago
Position Announcements PhD position in dependable robots, LAAS-CNRS, Toulouse PhD Position in Robotics & Dependability at LAAS-CNRS, Toulouse, France Robot Navigation Testing in Virtual Worlds LAAS-CNRS seeks to hire an outstanding doctoral researcher in robotics and dependability in Toulouse, France. The successful candidate will collaborate with the RIS (Robotics) and T...more Jun 12 2014 - 4:36pm 5 years 14 weeks ago
Position Announcements Accepting Applications for the Innovation Fellows Program Director Accepting Applications for the University of Minnesota Medical Devices Center Innovation Fellows Director Application Deadline is June 24, 2014 The University of Minnesota is searching for a Director for the Innovation Fellows Program. Those encouraged to apply: professionals with medical experience...more Jun 12 2014 - 4:38pm 5 years 14 weeks ago
Calls for Papers Call for Papers - Session AE102/ Design Optimization Techniques SAE 2015 WORLD CONGRESS Call for Papers - Session AE102/ Design Optimization Techniques April 21 - 23, 2015 * Detroit, Michigan USA Dear Colleagues, You are invited to submit: A summary stating the objective of the paper/presentation; A Tentative title; The Name of the author and co-authors and...more Jun 24 2014 - 2:26pm 5 years 13 weeks ago
Calls for Papers CFP: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015) 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015) March 4-6, 2015, Turku, Finland http://www.pdp2015.org/ General Scope Parallel, Distributed, and Network-Based Processing has undergone impressive change over recent years. New architectures and...more Jun 24 2014 - 3:18pm 5 years 13 weeks ago
Calls for Papers CfP workshop Dependability in CPS - Ada-Europe 2014 Workshop Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS 2014) Workshop website http://www.ada-europe2014.org/De-CPS.html registration http://www.ada-europe2014.org/registration1.html?Event=DECPS Ada-Europe Conference http://www.ada-europe2014.org/ Worksho...more Jun 24 2014 - 3:35pm 5 years 13 weeks ago