CPS Community Announcements

Title Posted Updatedsort icon Content Forum Promoted to VO Archived
Call for participation: DISCOTEC 2015 (DAIS, FORTE, COORDINATION), June 2-5, 2015, Grenoble, France. Apr 22 2015 - 3:31pm 2 days 10 hours ago The 10th Federated Conference on Distributed Computing Techniques (DisCoTec 2015) http://discotec2015.inria.fr | June 2-5, 2015 | Grenoble, France Sponsored by the IFIP TC6 WG6.1, Architectures...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
CfP: DASIP 2015 - May 4, 2015 (Extended Deadline) Apr 22 2015 - 2:23pm 2 days 12 hours ago Conference on Design and Architectures for Signal and Image Processing (DASIP) September 23-25, 2015 | Krakow, Poland...more Calls for Papers
Extended Deadlines - CFP ICFEM 2015 - The 17th InternationalConference on Formal Engineering Methods Apr 22 2015 - 2:12pm 2 days 12 hours ago SECOND CALL FOR PAPERS - ICFEM 2015 17th International Conference on Formal Engineering Methods CNAM, Paris, France | November 3-6, 2015 Submission Deadlines: April 26, 2015 (ab...more Calls for Papers
CODES+ISSS 2015: Call for Special Sessions Apr 16 2015 - 4:18pm 1 week 1 day ago CODES+ISSS 2015: 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 2015 conference. The speci...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
ICCCS 2015: 1st call for papers Apr 16 2015 - 4:07pm 1 week 1 day ago The 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015) December 9-12, 2015 | Gold Coast, Australia | http://iceccs2015.monash.edu.au IMPORTA...more Calls for Papers
Post doc opportunities at SICS in Software and Systems Engineering Apr 16 2015 - 3:58pm 1 week 1 day ago Post doc opportunities at SICS in Software and Systems Engineering The ERCIM Alain Bensoussan Fellowship Programme is announcing post doc positions in Informatics and Mathematics throughout Europe...more Position Announcements
Software and Systems Modeling Nov 6 2014 - 9:11pm 1 week 2 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 essent...more Calls for Papers
2015 S5 Call for Abstracts Apr 15 2015 - 1:58pm 1 week 2 days ago 2015 Safe and Secure Systems and Software Symposium (S5) 9 - 11 June 2015 at The Crowne Plaza Dayton, Ohio. You are cordially invited to submit an abstract for your proposed presentation or demonst...more Calls for Papers
CfP: Extended Deadline (April 27, 2015): SETS 2015 Apr 15 2015 - 1:47pm 1 week 2 days ago 2nd International Workshop about Sets and Tools (SETS 2015) Affiliated to FM 2015 June 23, 2015, Oslo, Norway | http://sets2015.cnam.fr/ AIM Sets and constructs built upon them l...more Calls for Papers
CfP: GandALF 2015 Apr 15 2015 - 1:33pm 1 week 2 days ago CALL FOR PAPERS - GandALF 2015 The Sixth International Symposium on Games, Automata, Logics and Formal Verification will take place in Genoa, Italy, from September 21 to 23. Web page: http://gandalf...more Calls for Papers
"Correctness-by-Construction Approach to Programming" tutorial at FM 2015 - Registration Open Apr 15 2015 - 1:28pm 1 week 2 days ago Correctness-by-Construction (CbC) Approach to Programming Tutorial at FM 2015 This one-day tutorial on the CbC approach to programming is based on a book of the same name. It is co-located with FM201...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
CfP: MODELS 2015 Impending Deadline Apr 15 2015 - 1:22pm 1 week 2 days ago ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems Call for Main Conference Papers MODELS is the premier conference series for model-based software and systems...more Calls for Papers
2015 HCSS Conference Update Apr 13 2015 - 10:36am 1 week 4 days ago Dear HCSS Community Member: Thanks to everyone who has registered to attend the 2015 HCSS Conference scheduled for May 5-7, 2015 at the Historic Inns of Annapolis in Annapolis, Maryland. Online regis...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
CFP : ICACCI Special Session on Machine Intelligence in IoT (MIIoT 2015) Apr 13 2015 - 11:53am 1 week 4 days ago Special Session on Machine Intelligence in IoT (MIIoT 2015) Fourth International Conference on Advances in Computing, Communications and Informatics (ICACCI-2015) August 10-13, 2015, Kochi, India |...more Calls for Papers
ISLPED Low Power Design Contest (Extended Deadline, April 15th) Apr 13 2015 - 10:30am 1 week 4 days ago ACM/IEEE INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN The International Symposium on Low Power Electronics and Design (ISLPED) is the premier forum for presentation of innovative rese...more Calls for Papers
Call for papers - ICCD 2015 in New York City Apr 13 2015 - 11:15am 1 week 4 days ago 33rd IEEE International Conference on Computer Design (ICCD 2015) New York City, USA -- October 19-21 IMPORTANT DATES: May 11 Abstract submission May 18 Full paper submission July 21 Notifi...more Calls for Papers
CfP: Resilience Week 2015: Deadline EXTENDED - Due April 27 Apr 13 2015 - 10:34am 1 week 4 days ago Resilience Week 2015 in Philadelphia, PA, August 18 - 20 Resilience Week includes symposia dedicated to promising research in resilient systems that will protect cyber-physical infrastructures f...more Calls for Papers
CFP: 5th International Workshop on Cyber Physical Systems (CyPhy'15) Apr 13 2015 - 10:18am 1 week 4 days ago The Fifth International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'15) (Held in conjunction with ESWEEK 2015) Amsterdam, The Netherlands October 8, 2015http://www....more Calls for Papers
CfP: LOPSTR 2015 - Deadline extended: May 2 Apr 13 2015 - 10:12am 1 week 4 days ago 25th International Symposium on Logic-Based Program Synthesis and Transformation Co-located with PPDP 2015 Special Issue of Formal Aspects of Computinghttp://alpha.diism.unisi.it/lopstr15/ Universi...more Calls for Papers
Call for Paper: 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2015) Apr 7 2015 - 11:08am 2 weeks 3 days ago 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2015) Important Dates (Update): Abstract submission deadline: 10th April 2015 (firm) Full paper submi...more Calls for Papers
Invitation to the 15th meeting of the Software Certification Consortium - Annapolis May 3/4, 2015 Apr 7 2015 - 9:59am 2 weeks 3 days ago On behalf of the Steering Committee of the Software Certification Consortium (SCC) I invite you to attend the 15th Meeting of the SCC, co-located with the High Confidence Software and Systems (HCSS) C...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
USE'15 CfP deadline extension to April 10th, (colocated with FM2015) :1st workshop on Usages of Symbolic Execution Apr 7 2015 - 9:56am 2 weeks 3 days ago 1st workshop on Usages of Symbolic Execution USE'15 co-located with FM'15 23 June 2015, Olso, Norway | http://perso.ecp.fr/~gallp/Workshop_USE.html...more Calls for Papers
Final CFP: 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2015) Apr 6 2015 - 6:04pm 2 weeks 4 days ago VL/HCC 2015 - IEEE Symposium on Visual Languages and Human-Centric Computing October 18-22, 2015 | Atlanta, Georgia, USA We are pleased to invite you to submit papers to the 2015 IEEE Symposium on...more Calls for Papers
Call for Papers: 7th International Workshop on Dependable Many-Core Computing (DMCC 2015) Apr 6 2015 - 5:53pm 2 weeks 4 days ago The 7th International Workshop on Dependable Many-Core Computing (DMCC 2015) As part of The International Conference on High Performance Computing & Simulation (HPCS 2015)http://hpcs2015.cisedu.i...more Calls for Papers
Postdoctoral Positions at Virginia Tech Apr 6 2015 - 5:48pm 2 weeks 4 days ago Postdoctoral Research Associates - Systems Software Research Group - Virginia Tech Two postdoctoral positions are available in the Systems Software Research Group (http://www.ssrg.ece.vt.edu/) at Vir...more Position Announcements
IEEE EESMS 2015 Extended Deadline - IEEE Workshop on Environmental, Energy and Structural Monitoring Systems Apr 6 2015 - 5:43pm 2 weeks 4 days ago The 2015 IEEE Workshop on Environmental, Energy and Structural Monitoring Systems (EESMS 2015) Trento, Italy | 9-10 July 2015 | http://events.unitn.it/en/eesms2015 The growing strategic importan...more Calls for Papers
Last chance to register: CPS PWG April 7-8 Face-to-Face meeting at NIST Gaithersburg Apr 6 2015 - 10:55am 2 weeks 4 days ago As a reminder, next week (April 7-8, 2015) we are having our Cyber-Physical Systems Public Working Group (CPS PWG) Face-to-Face Meeting at NIST in Gaithersburg, Maryland. The CPS PWG April workshop w...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Save the Date - Global City Teams Challenge Festival Apr 6 2015 - 10:46am 2 weeks 4 days ago Please join us for an international showcase of innovative Smart City and Internet of Things applications featuring: Project demonstrations from 40+ GCTC teams offering a chance to see and touch key...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
CFP: S-Cube - 6th International Conference on Sensor Systems and Software - Rome, Oct 26-27, 2015 Apr 6 2015 - 10:31am 2 weeks 4 days ago S-CUBE - 6th INTERNATIONAL CONFERENCE ON SENSOR SYSTEMS AND SOFTWARE Oct 26-27, 2015 - Rome, Italy | http://s-cubeconference.org/2015 Call for Papers The 6th EAI conference on Sensor Systems and Sof...more Calls for Papers
ELECO 2015 CALL FOR PAPERS Apr 6 2015 - 10:18am 2 weeks 4 days ago 9th International Conference on Electrical and Eletronics Engineering http://www.eleco.org.fr The 9th "International Conference on Electrical and Electronics Engineering, ELECO 2015" will be held on...more Calls for Papers
FMSEET15 - Last Call for Papers - Deadline Extension to April 7th, 2015 Apr 6 2015 - 10:01am 2 weeks 4 days ago The 1st Formal Methods in Software Engineering Education and Training Workshop (FMSEET 2015) Co-Located with FM 2015 June 23rd, 2015, Oslo, Norway | http://fmseet.aau.at Endorsed by the European A...more Calls for Papers
Call for Book Chapters-Cyber-Physical Systems: Foundations, Principles and Applications (Elsevier) Mar 31 2015 - 9:06pm 3 weeks 3 days ago Editors Houbing Song, West Virginia University, USA <h.song@ieee.org> Danda B. Rawat, Georgia Southern University, USA, <db.rawat@ieee.org> Sabina Jeschke, RWTH Aachen University, Germa...more Calls for Papers
CFP: Ptolemy Miniconference, Oct. 16, 2015, Berkeley Mar 31 2015 - 9:52am 3 weeks 3 days ago Call for Ptolemy Miniconference Poster and Presentation Abstracts Ptolemy Miniconference Friday, October 16, 2015 Berkeley, CAhttp://ptolemy.eecs.berkeley.edu/ptconf Call for Abstracts Please submit...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
CfP: ICESS 2015: 12th IEEE International Conference on Embedded Software and Systems Mar 27 2015 - 5:44pm 4 weeks 8 hours ago The 12th IEEE International Conference on Embedded Software and Systems (ICESS 2015) August 24-26, 2015 in New York, USAhttp://cse.stfx.ca/~icess2015/Co-located with HPCC 2015 and CSS 2015NEWS on spec...more Calls for Papers
Postdoc position in Software Testing Mar 27 2015 - 5:37pm 4 weeks 8 hours ago Position as Postdoc in Software testing available at Malardalen University. Ref. No.: 2015/0807 Form of employment: Temporary employment Scope: 100 % Last date of application: 2015-04-10 Employment...more Position Announcements
Special Session on: Architectures & Systems for Automotive and Intelligent Transportations, NEW DEADLINE April 12th 2015 Mar 27 2015 - 5:28pm 4 weeks 8 hours ago Special Session on: Architectures & Systems for Automotive and Intelligent Transportations (ASAIT'15) In conjunction with : DSD'2015 18th Euromicro Conference on Digital System Design, Funchal, Ma...more Calls for Papers
Transformation Tool Contest 2015 - Call for Solutions Mar 27 2015 - 5:18pm 4 weeks 9 hours ago 8th Transformation Tool Contest 2015 http://www.transformation-tool-contest.eu 23rd July 2015 | l'Aquila, Italy. Part of STAF 2015 (http://www.disim.univaq.it/staf2015/) ** Call for Solutions ** The 2...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
Second CFP ICFEM 2015 - The 17th International Conference on Formal Engineering Methods Mar 27 2015 - 5:08pm 4 weeks 9 hours ago ICFEM 2015 - 17th International Conference on Formal Engineering Methods CNAM Paris, France | November 3-6, 2015 Submission Deadlines: April 19, 2015 (abstracts) & April 26, 2015 (full papers)ht...more Calls for Papers
Call for papers - ERTS² 2016 Mar 27 2015 - 4:54pm 4 weeks 9 hours ago Call for papers and exhibitions Embedded Real Time Software and Systems (ERTS2 2016) 27 - 29 January 2016, Toulouse - France http://www.erts2016.org Abstract submission Deadline: June 22nd, 2015 The...more Calls for Papers
CfP: ETFA'2015 special session on Industrial Automation Systems in the Industrial Internet (of Things) Mar 27 2015 - 4:41pm 4 weeks 9 hours ago Industrial Automation Systems in the Industrial Internet (of Things) Special session in IEEE 20th International Conference on Emerging Technologies and Factory Automation ETFA'2015 http://www.etfa201...more Calls for Papers
IEEE RTSS 2015 Call for Papers Mar 27 2015 - 4:30pm 4 weeks 9 hours ago The 36th IEEE Real-Time Systems Symposium (RTSS'15) sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems December 1-4, 2015, in San Antonio, Texas, USA. Scope of the Confere...more Calls for Papers
CfP: FPL 2015 London - submission site is open Mar 27 2015 - 4:24pm 4 weeks 10 hours ago The International Conference on Field-Programmable Logic, Reconfigurable Computing, and Applications, FPL 2015 London, UK Sept 2-4, 2015 FPL 2015 is now accepting submissions The International Confere...more Calls for Papers
CFP: Special Issue of the Journal of Software Engineering for Robotics Mar 27 2015 - 4:16pm 4 weeks 10 hours ago Special Issue of the Journal on SOFTWARE ENGINEERING FOR ROBOTICS www.joser.org Deadline: 1 July 2015 Theme of the issue: Domain-Specific Languages and Models for Robotic Systems Summary: The special...more Calls for Papers
Post-doctorate on formal semantics of time in embedded architecture models with INRIA project TEA in Rennes, Brittany, France Mar 27 2015 - 4:07pm 4 weeks 10 hours ago A post-doctorate position is available with INRIA project TEA in Rennes (Brittany, France), for a duration of 18 months, to participate in a project which aims at defining, implementing and standardis...more Position Announcements
Call for Papers, Posters, and Demonstrations: 3rd AETOS International Workshop on "Research Challenges for Future RPAS/UAV Syste Mar 27 2015 - 4:03pm 4 weeks 10 hours ago 3rd AETOS International Workshop on "Research Challenges for Future RPAS/UAV Systems" May 5th, 2015 In Conjunction with AUVSI's Conference, World Congress Center, Atlanta, Georgia, May 4-7, 2015 This...more Calls for Papers
Graduate Summer School: Games and Contracts for Cyber-Physical Security Mar 20 2015 - 10:04am 5 weeks 16 hours ago Institute for Pure and Applied MathematicsLos Angeles, California Graduate Summer School: Games and Contracts for Cyber-Physical SecurityJuly 7-23, 2015 Organizing CommitteeSaurabh Amin (MIT), Asu Ozd...more Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress
CALL FOR POSITION PAPERS: ICINCO 2015 - Int'l Conf. on Informatics in Control, Automation and Robotics (Colmar, Alsace/France) Mar 18 2015 - 1:08pm 5 weeks 2 days ago 12th International Conference on Informatics in Control, Automation and Robotics ICINCO website: http://www.icinco.org | July 21 - 23, 2015 | Colmar, Alsace, France Technically Co-sponsored by: IEEE C...more Calls for Papers
ESSS 2015 (co-located with FM 2015 in Oslo): submission deadline extended Mar 18 2015 - 1:03pm 5 weeks 2 days ago 4th International Workshop on Engineering Safety and Security Systems Co-located with FM 2015 in Oslo, Norway, June 22-26, 2015 June 22, 2015 | Oslo, Norway | More information: http://pat.sce.ntu.edu....more Calls for Papers
FroCoS 2015: second call for papers (extended submission deadline) Mar 18 2015 - 12:08pm 5 weeks 2 days ago 10th International Symposium on Frontiers of Combining Systems (FroCoS 2015) Wroclaw, Poland | September 21-24, 2015 Submission Deadlines: May 4, 2015 (abstracts) May 10, 2015 (full papers)...more Calls for Papers
FACS 2015 Call for papers Mar 18 2015 - 11:56am 5 weeks 2 days ago 12th International Conference on Formal Aspects of Component Software (FACS 2015) Rio de Janeiro, Brazil | October 14-16, 2015 | http://facs2015.ic.uff.br OVERVIEW AND SCOPE Component-based software...more Calls for Papers