CPS Community Announcements

Forum Title Content Posted Updatedsort icon
Calls for Papers Final Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming System Final Call for Papers - Deadlines Extension 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2017) 28th August 2017 | Melbourne, Australia | https://software.imdea.org/Conferences/CICLOPS2017/ Co-located with ICLP'17, CP'17, and SAT'17. Imp...more Jun 20 2017 - 4:55pm 7 years 23 weeks ago
Calls for Papers MeMo 2017 CfP: deadline approaching (23rd June 2017) CALL FOR PAPERS 3rd International Workshop on Meta Models for Process Languages (MeMo) 2017 affiliated with CONCUR September 4th, 2017 | Berlin, Germany | https://memo.wikit.itu.dk/home Aim and Topics Developing appropriate models for systems, programming languages and processes is not easy...more Jun 20 2017 - 4:44pm 7 years 23 weeks ago
Position Announcements TOSN Call for nomination CALL FOR NOMINATIONS Editor-In-Chief ACM Transactions on Sensor Networks (June 2017) The term of the current Editor-in-Chief (EiC) of the ACM Transactions on Sensor Networks (TOSN) is coming to an end, and the ACM Publications Board has setup a nominating committee to assist the Board in selectin...more Jun 20 2017 - 4:35pm 7 years 23 weeks ago
Calls for Papers CFP: NoCArc 2017 - 10th International Workshop on Network on Chip Architectures CALL FOR PAPERS 10th International Workshop on Network on Chip Architectures October 14-15, 2017 | Boston, USA | http://www.nocarc.org To be held in conjunction with IEEE/ACM MICRO-50 G E N E R A L I N F O R M A T I O N Current multicore architectures formed by tens of processing cores w...more Jun 20 2017 - 4:32pm 7 years 23 weeks ago
Calls for Papers CFP: 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017) CALL FOR PAPERS The 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017) October 23-25, 2017 | Changsha, China | http://lcs.ios.ac.cn/setta2017/ Important Dates Abstract & Paper Submission (Extended): June 21, 2017 (AoE) Notification to authors...more Jun 20 2017 - 4:07pm 7 years 23 weeks ago
Calls for Papers CFP: M4IOT 2017, 4th workshop on Middleware and Applications for the IoT CALL FOR PAPERS 4th workshop on Middleware and Applications for the IoT at ACM/IFIP/USENIX Middleware Conference (M4IoT) Fourth edition of the M4IoT workshop, and second federated event with the MoTA workshop Dec 11-15, 2017 | Las Vegas, Nevada | http://www.m4iot.org Following the successfu...more Jun 20 2017 - 3:57pm 7 years 23 weeks ago
Calls for Papers QEST 2017: Call for Student Papers International Conference on Quantitative Evaluation of SysTems (QEST 2017) Berlin, September 5-7 2017 | http://www.qest.org/qest2017 Co-located with CONCUR, EPEW and Formats Call for Student Papers: To encourage students to present their work in progress, a special session named 'Student Forum'...more Jun 20 2017 - 3:47pm 7 years 23 weeks ago
Calls for Papers Deadline Extension: International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2017) CALL FOR PAPERS - Deadline Extension June 20, 2017 International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2017) Associated with MFCS 2017 Aalborg University, Denmark | 25-26 August 2017 | http://dhs.gforge.inria.fr/ The purpose of DHS is to connect researchers workin...more Apr 14 2017 - 2:51pm 7 years 23 weeks ago
Position Announcements PostDoc in Dynamic Binary Translation 1 Research Associate (PostDoc) in Dynamic Binary Translation The University of Cambridge Deadline 9 July 2017 http://www.jobs.cam.ac.uk/job/13972/ The Project Applications are invited for a Research Associate to work on Dynamic Binary Translation. Our research group focuses on a number...more Jun 20 2017 - 3:30pm 7 years 23 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: ACM/IEEE Early Career Workshop at DAC Call for Participation Early Career Workshop Co-Located with the 2017 Design Automation Conference (DAC) Sunday, June 18, 2017 Sponsored by ACM SIGDA, IEEE CEDA and Cadence This workshop is for early and mid-career faculty, and professionals in the field of electronic design automation (EDA). T...more Jun 9 2017 - 4:07pm 7 years 24 weeks ago
Calls for Papers CfP: ME workshop @ MODELS2017 CALL FOR PAPERS 11th International Workshop on "Models and Evolution" Co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages & Systems (MODELS 2017) Austin,Texas | Sept 17-22, 2017 | http://www.models-and-evolution.com/ We cordially invite submissions...more Jun 9 2017 - 4:03pm 7 years 24 weeks ago
Calls for Papers Call for Papers: 3rd International Workshop on Executable Modeling (EXE 2017) 3nd International Workshop on Executable Modeling (EXE 2017) co-located with MODELS 2017 September 17-19, 2017 | Austin, Texas | http://www.modelexecution.org/exe2017 We are pleased to invite you to submit papers to the Third International Workshop on Executable Modeling (EXE 2017), held in con...more Jun 9 2017 - 3:30pm 7 years 24 weeks ago
Calls for Papers Call for Contributions Special Issue on Secure Automotive Systems - IEEE Design and Test CALL FOR CONTRIBUTIONS Special Issue on Secure Automotive Systems Aim and Scope Modern and emergent automotive systems are highly complex, dominated by a large amount of integrated electronics and software components. The electronic and software components perform and contribute to a diversity...more Jun 9 2017 - 3:19pm 7 years 24 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Call for Participation: CPS Summer School 2017 CALL FOR PARTICIPATION CPS Summer School 2017 Designing Cyber-Physical Systems - From concepts to implementation Multi-objective Methodologies and Tools for Self-healing and Adaptive Systems Porto Conte Ricerche, Alghero - Sardinia - Italy | September 25-30, 2017 | http://www.cpsschool.eu Cyb...more Jun 9 2017 - 3:10pm 7 years 24 weeks ago
Calls for Papers 2nd CfP: First Workshop Formal Techniques for Real-Time Systems (FORTRESS) @ RTCSA 2017 2nd CALL FOR PAPERS - extended deadline FORmal Techniques for REal-time SystemS (FORTRESS) 1st International Workshop on Formal Techniques for Real-Time Systems FORTRESS Satellite workshop of 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications Hsinchu...more May 3 2017 - 4:31pm 7 years 24 weeks ago
Position Announcements Senior Lecturer in Computer Systems,Specialization in Embedded Systems, at Uppsala University Applications are invited for a position as Senior Lecturer In Computer Systems With Specialization in Embedded Systems (Tenured position) Particular weight given to techniques for automated analysis of correctness, security and safety of software and hardware for embedded computer systems. Deadli...more Jun 9 2017 - 2:59pm 7 years 24 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress CfP special sessions: International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2017) CALL FOR SPECIAL SESSIONS International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2017) at the Embedded System Week (ESWeek) October 15-20, 2017 | Seoul, South Korea | http://www.esweek.org/cases CASES is a premier forum where researchers, developers and p...more Jun 9 2017 - 2:56pm 7 years 24 weeks ago
Calls for Papers CFP: Reachability Problems 2017 - DEADLINE EXTENSION CALL FOR PAPERS - The deadline for Reachability Problem 2017 has been extended to 19th June 2017 The 11th International Workshop on Reachability Problems (RP'17) 7 - 9 September 2017 | Royal Holloway, University of London, UK | http://rp17.cs.rhul.ac.uk Hosted at Royal Holloway, University of L...more Mar 6 2017 - 5:00pm 7 years 24 weeks ago
Position Announcements Postdoc/PhD positions in Wireless Sensor Networks and Internet of Things at Skoltech, Russia Postdoc and PhD positions: Wireless Sensor Networks (WSN) and Internet of Things (IoT) Location: Moscow, Russia Funding amount per month: starting from RUR 75,000 (EUR 1,200 equiv.) for PhD students, internationally competitive salary for Postdocs depending on qualification Hours: Full Time St...more Jun 9 2017 - 2:36pm 7 years 24 weeks ago
Position Announcements 2 postdoc positions in engineering dependable and secure systems - University of Florence- Italy The University of Florence Florence, Italy, opens two Post Doctoral positions in ***Dependable and Secure Systems*** at the Resilient Computing Lab (RCL, http://rcl.dsi.unifi.it), Department of Mathematic and Informatics. Deadline: 23 June 2017 We are recruiting two postdoctoral researchers in t...more Jun 9 2017 - 2:30pm 7 years 24 weeks ago
Calls for Papers CfP: IEEE Fifth International Workshop on e-Health Pervasive Wireless Applications and Services (eHPWAS'17) CALL FOR PAPERS IEEE Fifth International Workshop on e-Health Pervasive Wireless Applications and Services (eHPWAS'17) October 9, 2017 | www.ehpwas.org | Rome, Italy in conjunction with the 13th IEEE WiMob 2017 IMPORTANT DATES: Paper submission: July 7, 2017 Acceptance notification: Augus...more Jun 9 2017 - 2:23pm 7 years 24 weeks ago
Calls for Papers CfP SOCNE 2017 Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments CALL FOR PAPERS - Extended Deadline 11th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE 2017) in conjunction with IECON 2017 - 43rd Annual Conference on of the IEEE Industrial Electronics Society Oct 29 - Nov 1, 2017 | Beijung, China...more May 3 2017 - 4:35pm 7 years 24 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress 2017 S5 Abstract Submission Extension FOR POSTERS ONLY CALL FOR POSTER ABSTRACTS 2017 Safe and Secure Systems and Software Symposium (S5) 1 - 3 August 2017 | The Crowne Plaza Dayton, Ohio | http://www.mys5.org/ ANNOUNCEMENT: The abstract submission period for the 2017 S5 event has ended and notifications are planned to submitters on/before 16 Jun...more Jun 9 2017 - 12:20pm 7 years 24 weeks ago
Calls for Papers Due date Extended: PSCare 2017 - The Fourth International Workshop on Privacy and Security in HealthCare 2017 CALL FOR PAPERS - DEADLINE EXTENDED TO JUNE 7 (FIRM DEADLINE) The Fourth International Workshop on Privacy and Security in HealthCare 2017 (PSCare 2017) in conjunction with the 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (I...more May 5 2017 - 3:56pm 7 years 24 weeks ago
Calls for Papers Call for Papers: 8th International Green and Sustainable Computing Conference (IGSC’17) CALL FOR PAPERS: DEADLINE IS APPROACHING The Eighth International Green and Sustainable Computing Conference (IGSC'17) October 23-25 2017 | Orlando, Florida | www.green-conf.org IGSC'17 will provide a forum for presenting and discussing innovative research on a broad range of topics in the fields...more Jun 9 2017 - 12:10pm 7 years 24 weeks ago
Calls for Papers CfP: 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare CALL FOR PAPERS - FINAL Submission Date: June 7, 2017 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH17) September 18-20, 2017 | Lund, Sweden | http://cs-conferences.acadiau.ca/icth-17/ Important Dates Paper Submissi...more Jun 9 2017 - 11:57am 7 years 24 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress F1/10 Autonomous Racing Competition F1/10 Autonomous Racing Competition http://f1tenth.org/ The F1/10 competition focuses on creating a meaningful and challenging design experience for students. The competition involves designing, building, and testing an autonomous 1/10th scale F1 race car (capable of speeds in excess of 40MPH) all...more Apr 19 2016 - 9:40pm 7 years 25 weeks ago
Calls for Papers CfP: Third IEEE International Workshop on Security in NFV-SDN (SN-2017) Call for Papers The Third International Workshop on Security in NFV-SDN in conjunction with the 3rd IEEE NFV-SDN conference 6-8 November | Berlin, Germany | http://www.sn-2017.info/ Scope Network Function Virtualization (NFV) and Software Defined Network (SDN) have changed the networking indust...more May 16 2017 - 11:22am 7 years 28 weeks ago
Position Announcements 22 PhD student positions in Autonomous Systems and Software SWEDEN'S LARGEST RESEARCH PROGRAM OFFERS 22 PHD POSITIONS Wallenberg Autonomous Systems and Software Program (WASP) is Sweden's largest individual research program ever, and provides a platform for academic research and education, fostering interaction with Sweden's leading technology companies....more May 16 2017 - 10:28am 7 years 28 weeks ago
Position Announcements Fully-funded PhD Studentship on Blockchain Technologies A fully funded PhD studentship on Blockchain Technologies and Applications is available at the Computing Science and Mathematics division of the University of Stirling, UK. The studentship will cover tuition fees at Home/EU rate, and a standard stipend at RCUK rates (from about 14,000GBP), for t...more May 16 2017 - 10:26am 7 years 28 weeks ago
Calls for Papers CfP: MEMOCODE-2017 - IMPENDING DEADLINE Call for Papers 15th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) September 29 - October 2, 2017, Vienna, Austria | http://memocode.irisa.fr/2017 IMPORTANT DATES Submission deadline (abstract): May 12, 2017 Submission deadline (paper): Ma...more Mar 20 2017 - 4:14pm 7 years 29 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress FEVER 2017 @ CAV - Call for Presentations Call for informal presentations (abstracts) Workshop on Formal approaches to Explainable VERification ( FEVER 2017) JULY 23, 2017 | HEIDELBERG, GERMANY | http://fever.nilsjansen.org Co-Located with CAV 2017 The FEVER workshop solicits presentations of ongoing or previously published work to...more May 8 2017 - 3:14pm 7 years 29 weeks ago
Calls for Papers CFP: 14th HONET-ICT International Conference CALL FOR PAPERS 14th HONET-ICT International Conference "Smart Cities: Improving Quality of Life-Using ICT & IoT" Oct 09-11, 2017 | Amman, Jordan | http://honet-ict.org Scope: The 14th International Conference HONET-ICT '2017 has a major theme as "Smart Cities: Improving Quality of Life-Us...more May 8 2017 - 3:10pm 7 years 29 weeks ago
Calls for Papers LOPSTR 2017: 1st Call for Papers CALL FOR PAPERS 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017) (co-located with PPDP 2017) University of Namur, Namur, Belgium | October 10 - 12, 2017 | https://www.sci.unich.it/lopstr17/ DEADLINES: Abstract submission: June 6, 2017 Paper/Exte...more May 8 2017 - 2:58pm 7 years 29 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Autonomous and Electric Vehicle Technology, Grid and Communications Infrastructure in a Smart City Forum, June 2, 2017 Autonomous and Electric Vehicle Technology, Grid and Communications Infrastructure in a Smart City The automotive sector is undergoing rapid upheaval with the arrival of electric vehicles (EVs) and semi-autonomous vehicles and now moving towards fully autonomous vehicles. A slew of new companies th...more May 5 2017 - 4:32pm 7 years 29 weeks ago
Calls for Papers RV'17 - Call for papers and tutorials - DEADLINE EXTENSION MAY 8 Call for Papers and Tutorials - DEADLINE EXTENSION, MAY 8 The 17th International Conference on Runtime Verification (RV 2017) September 13-16 | Seattle, WA, USA | http://rv2017.cs.manchester.ac.uk | rv2017@easychair.org Runtime verification is concerned with the monitoring and analysis of the ru...more Jan 20 2017 - 2:19pm 7 years 29 weeks ago
Position Announcements PhD Student Position on 'Agent-based modeling of drones and their environment in smart cities' These PhD works will be co-supervised by Stephane Galland and Christophe Nicolle. And they will take place in the LE2I Laboratory (Laboratoire d'Electronique, Informatique et Image), of the Burgondy Franche-Comte University, located inside the buildings of the Belfort-Montbeliard University of Techn...more May 5 2017 - 4:24pm 7 years 29 weeks ago
Position Announcements Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems Dear colleagues, For our new 5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for senior researchers and postdocs (10+ positions in total and several are still open), together with research assistants (PhD students) and internship students. This broad...more May 5 2017 - 4:23pm 7 years 29 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress DeepLearn 2017: early registration deadline May 19 Early registration Deadline May 19, 2017 INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING (DeepLearn 2017) Organized by: University of Deusto Rovira i Virgili University SCOPE: DeepLearn 2017 will be a research training event with a global scope aiming at updating participants about the most...more Apr 14 2017 - 2:30pm 7 years 29 weeks ago
Calls for Papers CFP: SiPS 2017 - IEEE Workshop on Signal Processing Systems - Deadline Extended CALL FOR PAPERS - DEADLINE EXTENDED TO MAY 4, 2017 IEEE Workshop on Signal Processing Systems (SiPS 2017) Lorient, France | Oct. 3-5 2017 | www.sips2017.org Important Dates: Paper submission deadline: April 27th 2017 May 4, 2017 Acceptance notification: June 27th 2017 Camera ready: July 13th...more Mar 6 2017 - 2:19pm 7 years 29 weeks ago
Calls for Papers DaLi 17 - second call for papers CALL FOR PAPERS Workshop DaLi - Dynamic Logic: new trends and applications Brasilia | 24 September, 2017 | workshop.dali.di.uminho.pt co-located with FROCOS TABLEAUX and ITP 2017) Building on the pioneer intuitions of Floyd-Hoare logic, Dynamic Logic was intro- duced in the 70'...more May 5 2017 - 4:18pm 7 years 29 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress CALL FOR PARTICIPATION-- ASYNC 2017 CALL FOR PARTICIPATION-- ASYNC 2017 The 23rd IEEE International Symposium on Asynchronous Circuits and Systems May 21-24, 2017 | San Diego, California, USA | http://www.async2017.org/ These are the last days for hotel registration at discounted rates and student grant applications!!! IMPORTANT...more May 5 2017 - 4:06pm 7 years 29 weeks ago
Calls for Papers Resilience Week 2017: Call for Papers - EXTENDED TO MAY 22 CALL FOR PAPERS - EXTENDED TO MAY 22, 2017 Resilience Week 2017 Wilmington, DE | September 18 - 22, 2017 | http://www.resilienceweek.com/ Resilience Week includes IEEE technically co-sponsored symposia dedicated to promising research in resilient systems that will protect cyber-physical infrastru...more Feb 20 2017 - 3:59pm 7 years 29 weeks ago
Position Announcements Postdoc Position - Rigorous System Design (RSD) team at Verimag Laboratory, Grenoble, France. A Postdoc Position is available in the Rigorous System Design (RSD) team at Verimag Laboratory, Grenoble, France. http://www-verimag.imag.fr/rsd.html The position is for two years with possible extension. It is available immediately but the start date can be adapted to the candidate constraints...more May 5 2017 - 12:13pm 7 years 29 weeks ago
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress Resource-aware Machine Learning – International Summer School 2017 Big data in machine learning is the future. But how to deal with data analysis and limited resources: Computational power, data distribution, energy or memory? From September 25th to 28th, TU Dortmund University, Germany, hosts the 4th summer school on resource-aware machine learning. Further inform...more May 3 2017 - 4:32pm 7 years 29 weeks ago
Calls for Papers ISSTA 2017 Demonstrations - Call for Papers The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2017 Call for Papers The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2017 Demonstrations Track serves as a venue for publishing and presenting advances in software testing and analysi...more May 3 2017 - 4:20pm 7 years 29 weeks ago
Position Announcements Postdoc Position - CPS Modelling for Smart Manufacturing (NTU, Singapore) We are seeking a strong and motivated candidate for the position of Research Fellow (Postdoctoral Fellow) in the area of Cyber-Physical Systems, with research focus on the modelling, simulation and synthesis of continuous time and discrete time models. This work will enable the development of a cybe...more May 3 2017 - 4:13pm 7 years 29 weeks ago
Calls for Papers STAF Doctoral Symposium 2017 - Call for Papers Call for Papers for the STAF Doctoral Symposium July 17, 2017 Affiliated with STAF 2017 in Marburg http://www.informatik.uni-marburg.de/staf2017/index.php/call-doctoral-symposium/ The goal of the Doctoral Symposium is to provide a forum in which PhD students can present their work in progres...more May 3 2017 - 4:07pm 7 years 29 weeks ago
Calls for Papers CfP: Reliability, safety and security of railway systems (RSSRail 2017) International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification (RSSRail 2017) November 14-16, 2017 | Pistoia, Italy | https://conferences.ncl.ac.uk/rssrail/ CALL FOR PAPERS The railway industry is facing an increasing pressur...more May 3 2017 - 4:01pm 7 years 29 weeks ago
Calls for Papers CFP "Architectures & Systems for Automotive & Intelligent Transportations" ASAIT'17 (DSD'17) CALL FOR PAPERS Architectures & Systems for Automotive & Intelligent Transportations (ASAIT) 20th Euromicro Conference on Digital System Design (DSD) Vienna, Austria | Aug. 30th - Sept. 1st, 2017 | http://dsd-seaa2017.ocg.at/asait2017.html Important Dates: Deadline for paper submissio...more Mar 6 2017 - 6:29pm 7 years 29 weeks ago