CPS Community Announcements

Title Posted Updatedsort icon Content Forum Promoted to VO Archived
Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control Nov 21 2014 - 5:01pm 1 day 23 hours ago To be held on April 13, 2015 in conjunction with CPS Week 2015. Cyber-physical systems research to date has focused on the development of synergy and tight coupling of the physical and computational...more Calls for Papers
State Departments of Transportation Connected/Automated Vehicle Research Roadmap Dec 15 2014 - 4:29pm 3 days 16 hours ago The American Association of State Highway and Transportation Officials National Cooperative Highway Research Program project 20-24(98) released a draft "Connected/Automated Vehicle Research Roadmap."...more General Announcements
Post-doctoral research position in Real-Time Systems @ University of Pennsylvania Dec 12 2014 - 12:42pm 6 days 19 hours ago The Real-Time Systems Group (http://rtg.cis.upenn.edu) in the PRECISE Center (http://precise.seas.upenn.edu) at the University of Pennsylvania (http://www.upenn.edu) has an opening for a post-doctoral...more Position Announcements
2nd CFP: 20th Intl. Symposium on Formal Methods (FM 2015), Oslo Dec 9 2014 - 11:59am 1 week 2 days ago Call for Papers: 20th International Symposium on Formal Methods Oslo, Norway, June 22-26, 2015 http://fm2015.ifi.uio.no/ NEWS: There will be special issues of the Journals Acta Informatica Formal A...more Calls for Papers
CfP: ANT 2015: 6th International Conference on Ambient Systems, Networks and Technologies Dec 2 2014 - 1:24pm 2 weeks 2 days ago Call for Papers The 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015) In Conjunction with The 5th International Conference on Sustainable Energy Information Technol...more Calls for Papers
ACM Transactions on Embedded Computing - Special Issue on Methods and Models for System Design Dec 2 2014 - 1:15pm 2 weeks 2 days ago ACM Transactions on Embedded Computing -- Special Issue on Methods and Models for System Design This is the announcement of a special issue of the ACM Transactions on Embedded Computing dedicated to t...more Calls for Papers
Registration Soon Open - OpenModelica/MODPROD Workshops Febr 2015 Dec 2 2014 - 1:14pm 2 weeks 2 days ago Registration Soon Open - OpenModelica/MODPROD Workshops Febr 2015 Location: Linkoping University, Linkoping, Sweden 9th MODPROD Workshop on Model-Based Product Development, February 3-4, 2015...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
SpringSim 2015 - Deadline Extension Dec 2 2014 - 1:07pm 2 weeks 2 days ago SPRING SIMULATION MULTI-CONFERENCE 2015 April 12-15, 2015, The Westin Alexandria Alexandria, VA, USA (Washington DC Area) http://www.scs.org/springsim PAPER SUBMISSION DEADLINE EXTENDED TO DECEMBER 6...more Calls for Papers
Cfp: CAV 2015 Nov 26 2014 - 3:57pm 3 weeks 1 day ago 27th International Conference on Computer Aided Verification (CAV 2015) July 18-24 2015, San Francisco, California http://i-cav.org/2015/ Aims and Scope CAV 2015 is the 27th in a series dedicated to...more Calls for Papers
CfP: Graphs as Models (ETAPS workshop) Nov 26 2014 - 3:35pm 3 weeks 1 day ago GRAPHS AS MODELS (GaM 2015) First International Workshop http://utwente.nl/gam2015/ Satellite Event of ETAPS 2015, London -- 11-12 April 2015 Description Graphs are used as models in all areas of comp...more Calls for Papers
ICGT 2015: Call for Papers Nov 26 2014 - 3:16pm 3 weeks 1 day ago 8th International Conference on Graph Transformation (ICGT 2015) L'Aquila, Italy 20 - 24 July, 2015 More information: http://btn1x4.inf.uni-bayreuth.de/icgt2015 First Call for Papers Dynamic structure...more Calls for Papers
NFM 2015 - deadline extension: Nov 18 Nov 26 2014 - 3:08pm 3 weeks 1 day ago The 7th NASA Formal Methods Symposium http://www.NASAFormalMethods.org/nfm2015 27 - 29 April 2015 | Pasadena, California, USA THEME The widespread use and increasing complexity of mission- and safety-...more Calls for Papers
Postdoctoral position in Mixed-Criticality Cyber-Physical Systems in NTU, Singapore Nov 26 2014 - 3:03pm 3 weeks 1 day ago Position type: Postdoc (Research Fellow) for 2 years. Salary range: Between S$4000 and S$5000 monthly depending on background and experience. Expected qualifications: PhD in Computer Science, Computer...more Position Announcements
CfP: ISLPED 2015 Nov 26 2014 - 2:54pm 3 weeks 1 day ago INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN http://www.islped.org Rome, Italy July 22 - July 24, 2015 Technical Paper Submission Deadline: Abstract registration by Feb 22, 2015; Full p...more Calls for Papers
CfP: NSV 2015 Nov 26 2014 - 2:33pm 3 weeks 1 day ago 8th International Workshop on Numerical Software Verification April 13, 2015 | Cyber-Physical Week 2015 | Seattle, WA, USA Web Page: http://nsv2015.informatik.uni-freiburg.de/ Important Dates Submi...more Calls for Papers
CfP: The 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC2015) Nov 20 2014 - 3:47pm 4 weeks 16 hours ago The 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC2015) will be held in Hong Kong. SMC2015 is the flagship conference of the IEEE Systems, Man, and Cybernetics Society. It pr...more Calls for Papers
CfP: The 13th ACM Conference on Embedded Networked Sensor Systems Nov 20 2014 - 3:34pm 4 weeks 17 hours ago Sensors have become an essential part of computing systems and applications. Computing today is increasingly characterized by ubiquitous, information-rich sensors that produce massive quantities of...more Calls for Papers
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems Preliminary Call for Contributions Nov 20 2014 - 3:23pm 4 weeks 17 hours ago ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems Preliminary Call for Contributions MODELS is the premier conference series for model-based software and systems...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Call for Contributions - 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Nov 20 2014 - 2:39pm 4 weeks 18 hours ago Call for Contributions The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting research results in the field o...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
IPSN 2015 CALL FOR DEMOS AND POSTERS Nov 20 2014 - 1:26pm 4 weeks 19 hours ago IPSN Joint Call for Posters and Demos The 14th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2015) draws upon many disciplines including networking, signal and i...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Professor in Vehicular Software and System Architecture at MDH Nov 18 2014 - 11:41am 4 weeks 2 days ago MDH and Volvo CE announces a chair in Computer Science specializing in Vehicular Software and System Architecture. The position is co-funded by MDH, Volvo and KKS. MDH hosts Sweden's largest research...more Position Announcements
CFP PECCS 2015 - Doctoral Consortium on Pervasive and Embedded Computing and Communication Systems (Angers/France) Nov 18 2014 - 11:39am 4 weeks 2 days ago Doctoral Consortium on Pervasive and Embedded Computing and Communication Systems http://www.peccs.org/DoctoralConsortium.aspx February 11 - 13, 2015 ESEO, Angers, Loire Valley, France Doctoral Conso...more Calls for Papers
Last call for Proposals for Workshops at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo Nov 18 2014 - 11:36am 4 weeks 2 days ago News: extra support for workshops offered by FME board Deadline for proposals: November 14, 2014 CALL FOR PROPOSALS FOR WORKSHOPS The 20th International Symposium on Formal Methods (FM 2015) will take...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Software and Systems Modeling Nov 6 2014 - 8:11pm 5 weeks 6 days ago Theme Issue: Model-Based Design of Cyber-Physical Systems Editors: Manfred Broy, Heinrich Daembkes, Brian Murray, Janos Sztipanovits Cyber-Physical Systems (CPS) are engineered systems where essentia...more Calls for Papers
CALL FOR PAPERS ECRTS 15 Submission deadline: 1 February 2015 (firm deadline) Nov 4 2014 - 7:47pm 6 weeks 2 days ago EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS Lund, Sweden, 8-10th July 2015 Organized by the Euromicro Technical Committee on Real-Time Systems Conference web site: ecrts15.ecrts.org THEME AND TOPICS OF...more Calls for Papers
CFP DATE'15 Friday workshop: Model-Implementation Fidelity (MiFi 2015) Nov 4 2014 - 7:37pm 6 weeks 2 days ago Call for papers 1st Workshop on Model-Implementation Fidelity (MiFi 2015) http://www.date-conference.com/conference/workshop-w01 Friday Workshop, DATE 2015, 13th March, Grenoble, France Scope of the w...more Calls for Papers
CFP OpenModelica/MODPROD Workshops Febr 2015 Nov 4 2014 - 7:32pm 6 weeks 2 days ago CFP OpenModelica/MODPROD Workshops Febr 2015 Location: Linkoping University, Linkoping, Sweden 9th MODPROD Workshop on Model-Based Product Development, February 3-4, 2015 7th OpenModelica Ann...more Calls for Papers
ICESS 2015 - First Call for Papers Nov 4 2014 - 7:22pm 6 weeks 2 days ago The 12th IEEE International Conference on Embedded Software and Systems August 24-26, 2015 in New York, USA http://cse.stfx.ca/~icess2015/ Co-located with HPCC 2015 and CSS 2015 *IMPORTANT DATES* Abst...more Calls for Papers
CfP: RAPIDO'15 - (co-located with HIPEAC2015) - EXTENDED DEADLINE NOV.9 Nov 4 2014 - 7:14pm 6 weeks 2 days ago !!! EXTENDED DEADLINE (NOVEMBER 9, 2014)!!! RAPIDO'15 - CALL FOR PAPERS 7th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO (http://rapido.hipeac.net - http://www....more Calls for Papers
CfP: ICAC 2015 International Conference on Autonomic Computing Nov 4 2014 - 6:21pm 6 weeks 2 days ago ICAC 2015 Call for Papers http://icac2015.imag.fr 12th International Conference on Autonomic Computing (ICAC 2015) Grenoble, France, July 7-10, 2015 In cooperation with USENIX and SPEC Corporate sup...more Calls for Papers
CfP: NFM 2015 - deadline extension: Nov 18 Nov 4 2014 - 6:07pm 6 weeks 2 days ago CALL FOR PAPERS *** Deadline extension: Nov 18, 2014 *** The 7th NASA Formal Methods Symposium http://www.NASAFormalMethods.org/nfm2015 27 - 29 April 2015 Pasadena, California, USA THEME The w...more Calls for Papers
Call for Participation: DATE'15 Students Contest in IoT Nov 4 2014 - 6:00pm 6 weeks 2 days ago Call for Participation Students Competition (March 9th, DATE 2015) Smart and Pervasive Tracking and Monitoring in the IoT Scenario Scenario Smartphones with Wi-Fi enabled periodically transmit Wi-Fi...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
CfP: ADHS 2015 Nov 4 2014 - 5:52pm 6 weeks 2 days ago Call for Papers ADHS 2015 5th IFAC Conference on Analysis and Design of Hybrid Systems Georgia Tech Campus, Atlanta, USA. 14-16 October, 2015. http://adhs15.gatech.edu Submission: Apr. 1...more Calls for Papers
CFP - IEEE Computer Special Issue on Self-Aware/Expressive Computing Systems Nov 4 2014 - 5:47pm 6 weeks 2 days ago 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. Full paper su...more Calls for Papers
CfP: ISORC 2015 - IEEE International Symposium On Real-Time Computing Nov 4 2014 - 5:34pm 6 weeks 2 days ago CALL FOR PAPERS The 18th IEEE International Symposium On Real-Time Computing (ISORC 2015) Auckland, New Zealand April 13 - 17, 2015 http://isorc2015.org/ Scope and Topics of Interest ISORC has beco...more Calls for Papers
RTSS 2014 Call for Participation: Nov 7, 2014 - Last day for special hotel rate Nov 4 2014 - 5:26pm 6 weeks 2 days ago RTSS 2014 The 35th IEEE Real-Time Systems Symposium Sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems December 2 - 5, 2014 Rome, Italy. Finalized Agenda is out Nov 7, 20...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
CALL FOR PAPERS - SIES 2015 - Siegen, Germany - June 8-10, 2015 Oct 24 2014 - 12:37pm 7 weeks 6 days ago CALL FOR PAPERS - SIES 2015 10th IEEE Symposium on Industrial Embedded Systems - SIES 2015 University of Siegen, Siegen, Germany une 8-10, 2015 Conference web site: www.sies2015.com Submission s...more Calls for Papers
Open positions at the National University of Singapore Oct 24 2014 - 12:27pm 7 weeks 6 days ago Post-Doc/ Research Engineer position open at National University of Singapore. We are looking for two candidates to join our research group - one as a Post-doctoral researcher and another as a researc...more Position Announcements
CFP: Special Issue on Software for Embedded and Ubiquitous Computing Oct 24 2014 - 12:21pm 7 weeks 6 days ago Call for papers Journal of Systems Architecture Special Issue on: Software for Embedded and Ubiquitous Computing Important dates: Submission Deadline: 30 November 2014 Acceptance Notification: 15 Ap...more Calls for Papers
CFP - The 18th IEEE International Symposium On Real-Time Computing Oct 24 2014 - 12:13pm 7 weeks 6 days ago CALL FOR PAPERS The 18th IEEE International Symposium On Real-Time Computing ISORC 2015 Auckland, New Zealand April 13 - 17, 2015 http://isorc2015.org/ Scope and Topics of Interest ISORC has become...more Calls for Papers
Call for Paper: The 11th International Symposium on Applied Reconfigurable Computing (ARC 2015) Oct 24 2014 - 12:06pm 7 weeks 6 days ago CALL FOR PAPER The 11th International Symposium on Applied Reconfigurable Computing (ARC 2015) 14-17 April 2015, Bochum, Germany Keynote: Prof. Alberto L. Sangiovanni-Vincentelli Department of Electri...more Calls for Papers
RTA 2015 - CALL FOR PAPERS Oct 24 2014 - 11:59am 7 weeks 6 days ago RTA 2015 - CALL FOR PAPERS26th International Conference on REWRITING TECHNIQUES AND APPLICATIONS 29 June - 1 July, 2015, Warsaw, Poland co-located with TLCA, as part of RDP 2015http://rdp15.mimuw.ed...more Calls for Papers
"IoT 360" Summer School - Final Call Oct 24 2014 - 11:52am 7 weeks 6 days ago "IOT 360" SUMMER SCHOOL ON THE INTERNET OF THINGS Oct 29 - Nov 1, 2014 - Rome, Italy http://iot-360.eu/summer-school Lecturers Claudio Carnevali (openPicus,...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
CFP: SustainIT 2015 || April 14 - 15, 2015 - Madrid, Spain Oct 24 2014 - 11:46am 7 weeks 6 days ago SustainIT 2015 The Fourth IFIP Conference on Sustainable Internet and ICT for Sustainability http://www.networks.imdea.org/sustainit2015 April 14-15, 2015 Madrid, Spain Sponsor...more Calls for Papers
SpringSim 2015 - Deadline approaching Oct 24 2014 - 11:23am 7 weeks 6 days ago SpringSim 2015 - Deadline Approachinghttp://scs.org/springsim The 2015 Spring Simulation Multi-Conference (SpringSim'15) is an annual conference sponsored by SCS which covers state-of-the-art developm...more Calls for Papers
Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) Oct 24 2014 - 11:20am 7 weeks 6 days ago Dear Colleagues, We are happy to announce that Volume 68 http://journal.ub.tu-berlin.de/eceasst/issue/current containing the Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaT...more General Announcements
CFP DUHDe : Design Understanding Workshop 2015 Oct 24 2014 - 11:11am 7 weeks 6 days ago DUHDe - 2nd Workshop on Design Automation for Understanding Hardware Designs March 13, 2015 - Friday Workshop at DATE 2015, Grenoble, France http://www.informatik.uni-bremen.de/duhde/2015/ Scope of th...more Calls for Papers
CfP for 12th International Workshop on Formal Engineering approaches to Software Components and Architectures Oct 24 2014 - 11:06am 7 weeks 6 days ago Call for Papers - FESCA 2015 12th International Workshop on Formal Engineering approaches to Software Components and Architectures Satellite event of ETAPS April 12th, 2015, London, UK http://fesca.ip...more Calls for Papers
CfP: MOMAC 2015 || March 24, 2015 - Porto, Portugal Oct 20 2014 - 3:58pm 8 weeks 3 days ago Call for Papers Second International Workshop on Multi-Objective Many-Core Design (MOMAC) Porto, Portugal, March 24, 2015 http://www12.cs.fau.de/momac/ in conjunction with International Conference on...more Calls for Papers
ETH Zurich Opening - Postdoc Position in Embedded Systems Oct 20 2014 - 3:50pm 8 weeks 3 days ago Post-doctoral Fellow in Embedded Systems @ ETH Zurich The research group on Computer Engineering (http://www.tec.ethz.ch, http://www.tik.ee.ethz.ch/~thiele/) at ETH Zurich (Swiss Federal Institute of...more Position Announcements