Calls for Papers |
Call for Contributions: First International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) |
Call for Contributions
First International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018)
In conjunction with SAFECOMP 2018
Vasteras, Sweden | Sept. 18, 2018 | http://www.waise2018.com
SCOPE
Research, engineering and regulatory frameworks are needed to achieve the full pote...more |
Apr 3 2018 - 2:00pm |
6 years 30 weeks ago |
Calls for Papers |
Special journal issue on "Challenges and Directions Forward for Dealing with the Complexity of Future Smart Cyber–Physical Syste |
A key aspect of Cyber-Physical Systems (CPS) is their potential for integrating information technologies, operational technologies (in terms of embedded systems and control systems), and physical systems, to form new or improved functionalities. CPS, thus, draws upon advances in many areas.
In e...more |
Apr 3 2018 - 1:53pm |
6 years 30 weeks ago |
Calls for Papers |
CfP: 8th Halmstad Summer School on Testing (June 11-14) |
CALL FOR PAPERS
The 8th Halmstad Summer School on Testing
Halmstad University, Sweden | June 11 - June 14, 2018 | http://ceres.hh.se/mediawiki/HSST_2018
Organised in cooperation with the TOCSYC Network
Scope
Software testing accounts for a major part of software development cost and effort,...more |
Apr 3 2018 - 1:51pm |
6 years 30 weeks ago |
Calls for Papers |
Deadline extension for ETFA 2018, the IEEE 23rd International Conference on Emerging Technologies and Factory Automation |
CALL FOR PAPERS
2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (IEEE ETFA 2018)
September 4th - 7th, 2018, Torino, Italy | http://ieee-etfa2018.com/
Aim: The ETFA conference brings together experts from industry and academia to disseminate novel ideas and...more |
Apr 3 2018 - 1:30pm |
6 years 30 weeks ago |
Position Announcements |
Post-doc position in Wireless Networks for Industry 4.0 at Universidad Miguel Hernandez de Elche (Spain) |
Job description
The position is offered in the framework of the European H2020 AUTOWARE (Wireless Autonomous, Reliable and Resilient ProductIon Operation ARchitecture for Cognitive Manufacturing, http://www.autoware-eu.org/) research project. The project will develop IoT/5G and cloud networking s...more |
Apr 3 2018 - 1:19pm |
6 years 30 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call For Participation: CF18 - ACM Int. Conf. on Computing Frontiers 2018 |
CALL FOR PARTICIPATION
ACM International Conference on Computing Frontiers 2018 (CF'18)
May 8 - 10, 2018 | Ischia, Italy | http://www.computingfrontiers.org/2018/
Early Registration Deadline: April 9, 2018
The ACM International Conference on Computing Frontiers 2018 will be held May 8 - 10 in...more |
Apr 3 2018 - 1:16pm |
6 years 30 weeks ago |
Position Announcements |
2 Open Positions: PhD/PostDoc in Embedded Multicore Architectures |
PhD/PostDoc in Embedded Multicore Architectures
see also https://www.hipeac.net/jobs/10136/phdpostdoc-in-embedded-multicore-architectures/
Deadline: April 18, 2018
PhD student, PostDoc, Research Associate (# positions: 2)
At the Institute of Computer Engineering the Chair of Adaptive Dynamic S...more |
Apr 3 2018 - 1:10pm |
6 years 30 weeks ago |
Calls for Papers |
CfP: The 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2018) |
CALL FOR PAPERS
The 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2018)
Hokkaido, Japan | August 29-31, 2018 | rtcsa2018.ht.sfc.keio.ac.jp
Important Dates:
Paper Submission Deadline: April 20 [FIRM! no extensions]
Acceptance Notificatio...more |
Apr 3 2018 - 1:07pm |
6 years 30 weeks ago |
Calls for Papers |
RESACS 2018: 4th International Workshop on Requirements Engineering for Self-Adaptive and Cyber-Physical Systems |
http://resacs2018.wordpress.com
http://twitter.com/RESACS_WS
The Fourth International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems (RESACS) seeks original reports of novel ideas, emerging trends, and elaborations on the current state of practice...more |
Mar 27 2018 - 5:05pm |
6 years 31 weeks ago |
Position Announcements |
Multiple Assistant/Associate Professor Positions in Space Systems and Robotics |
The Department of Mechanical and Aerospace Engineering (MAE) at West Virginia University (WVU) invites applications and nominations for multiple tenure-track faculty positions in the general areas of Space Systems and Robotics. The research track record of the successful candidates in these areas is...more |
Mar 22 2018 - 5:02pm |
6 years 32 weeks ago |
Position Announcements |
Postdoctoral position on mixed-criticality at Inria (Paris) |
We are currently opening a position for a postdoctoral researcher at Inria (Paris). The applicant should be interested in the study of multicore scheduling for mixed-criticality applications while considering the impact of scheduling choices on the worst-case execution time of those applications. So...more |
Mar 21 2018 - 11:20am |
6 years 32 weeks ago |
Calls for Papers |
CfP: 25th Static Analysis Symposium (SAS 2018) |
CALL FOR PAPERS
25th Static Analysis Symposium (SAS 2018)
Freiburg im Breisgau, Germany | August 29th-August 31st, 2018 | http://staticanalysis.org/sas2018
= = = New: Invited Talks, Invited Tutorials, Affiliated Events = = =
= = = Submission deadline approaching: April 6th, 2018 = = =...more |
Mar 21 2018 - 11:18am |
6 years 32 weeks ago |
Calls for Papers |
CfP Extended Deadline: 6th International Conference on Software Engineering and Formal Methods (SEFM 2018) |
CALL FOR PAPERS - Extended Deadline March 2, 2018
16th International Conference on Software Engineering and Formal Methods (SEFM 2018)
27-29 June 2018 | Toulouse, France | https://www.isf.cs.tu-bs.de/cms/events/sefm2018/
SEFM aims to bring together leading researchers and practitioners from acade...more |
Feb 28 2018 - 2:48pm |
6 years 33 weeks ago |
Calls for Papers |
Call for Papers: PETRA 2018 (Deadlines Extended to March 02, 2018) |
CALL FOR PAPERS
The 11th PErvasive Technologies Related to Assistive Environments (PETRA)
June 26-29, 2018 | Corfu, Greece | www.petrae.org
The 11th PErvasive Technologies Related to Assistive Environments (PETRA) conference is a highly interdisciplinary conference that focuses on computational a...more |
Feb 28 2018 - 2:38pm |
6 years 33 weeks ago |
Calls for Papers |
CfP: 12th International Conference on Tests & Proofs (TAP 2018) |
CALL FOR PAPERS
12th International Conference on Tests & Proofs (TAP 2018)
Part of the STAF Event 2018 (parallel ECMFA, ICGT, ICMT, SEFM, TAP, TTC)
Purpose and scope
The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the...more |
Mar 14 2018 - 4:02pm |
6 years 33 weeks ago |
Calls for Papers |
CfP: The 13th International Conference on Future Networks and Communications |
CALL FOR PAPERS
The 13th International Conference on Future Networks and Communications (FNC 2018)
July 13-15, 2018 | Gran Canaria, Spain | http://cs-conferences.acadiau.ca/fnc-18/
Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging techn...more |
Mar 14 2018 - 3:53pm |
6 years 33 weeks ago |
Calls for Papers |
CfP: 5th Int. Workshop on Applied Verification for Continuous and Hybrid Systems |
5th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Part of ADHS | Oxford, UK | July 13, 2018 | https://cps-vo.org/group/arch
The workshop on applied verification for continuous and hybrid systems (ARCH) brings together researchers and practitioners to establish a curated s...more |
Mar 14 2018 - 3:46pm |
6 years 33 weeks ago |
Calls for Papers |
CfP: Ninth International Workshop on Graph Computation Models (GCM 2018) |
CALL FOR PAPERS
Ninth International Workshop on Graph Computation Models (GCM 2018)
Toulouse, France | 27 June 2018 | https://www.gcm2018.uni-bremen.de/
Co-located with ICGT 2018
Part of STAF 2018
BACKGROUND AND AIMS
Graphs are common mathematical structures that are visual and intuitive. They...more |
Mar 14 2018 - 3:28pm |
6 years 33 weeks ago |
Position Announcements |
16 PhD Positions on Logical Methods in Computer Science |
16 PhD Positions on Logical Methods in Computer Science
TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in Computer Science (LogiCS). LogiCS has been established in 2014 and currently includes 44 students....more |
Mar 14 2018 - 3:20pm |
6 years 33 weeks ago |
Calls for Workshops & Tutorials |
Call for Workshops: IEEE 88th Vehicular Technology Conference (IEEE VTC2018-Fall) |
CALL FOR WORKSHOPS
IEEE 88th Vehicular Technology Conference (IEEE VTC2018-Fall)
27-30 August 2018 | Chicago, USA | http://www.ieeevtc.org/vtc2018fall/
Important dates for regular papers:
Submission of Papers: 27 March 2018
Notification of Acceptance: 14 May 2018
Camera Rea...more |
Mar 14 2018 - 3:13pm |
6 years 33 weeks ago |
Calls for Papers |
CfP: 11th International Workshop on Numerical Software Verification (NSV 2018) |
CALL FOR PAPERS
11th International Workshop on Numerical Software Verification (NSV 2018)
July 18-19, 2018 | Oxford, UK | https://nsv-2018.github.io/nsv2018/
Federated Logic Conference (FLoC) 2018
We are pleased to invite you to submit papers to the 11th International Workshop on Numerical Sof...more |
Mar 14 2018 - 3:11pm |
6 years 33 weeks ago |
Calls for Papers |
DSD 2018: CfP for Special Session on Design of Cyber-Physical Systems (DCPS) |
CALL FOR PAPERS
Special Session on Design of Cyber-Physical Systems (DCPS)
in DSD 2018
Special Session Scope
Cyber-Physical Systems (CPS) are characterized by tight coupling and interaction between computation, communication and control elements (cyber part), and physical processes such as motio...more |
Mar 14 2018 - 2:59pm |
6 years 33 weeks ago |
Calls for Papers |
CfP: International Conference on Embedded Software (EMSOFT 2018) |
CALL FOR PAPERS
International Conference on Embedded Software (EMSOFT 2018)
September 30 - October 5, 2018 | Torino, Italy | http://www.esweek.org/emsoft/
Timeline
Abstract Submission: March 27, 2018
Full Paper Submission: April 3, 2018 (firm deadline)
Conference:Sep. 30 - Oct. 5, 2018
Top...more |
Mar 14 2018 - 2:24pm |
6 years 33 weeks ago |
Calls for Papers |
CfP: International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2018) |
CALL FOR PAPERS
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2018)
September 30 - October 5, 2018, Torino, Italy
The International Conference on Hardware/Software Codesign and System Synthesis is the premier event in system-level design, modeling, analys...more |
Mar 14 2018 - 2:23pm |
6 years 33 weeks ago |
Position Announcements |
Postdoctoral position in Hybrid Systems at the Australian National University |
Postdoctoral position in Hybrid Systems at the Australian National University
Cyber-Physical Systems Laboratory led by Dr Sergiy Bogomolov is seeking applications for a postdoctoral position on the topic "Verification of Hybrid Systems". The successful candidate will work on algorithms and techniqu...more |
Mar 14 2018 - 2:21pm |
6 years 33 weeks ago |
Calls for Papers |
CFP DSD'18: Special Session on "Architectures and Systems for Automotive, Aeronautic, Space and Intelligent Transportation" (ASA |
CALL FOR PAPERS
Architectures and Systems for Automotive, Aeronautic, Space and Intelligent Transportation (ASAASIT)
In conduction with DSD 2018
Prague, Czech Republic, Aug. 29-31th, 2018
Special Session Scope
Digital systems in intelligent transportation systems (ITS) will play an important r...more |
Mar 14 2018 - 2:17pm |
6 years 33 weeks ago |
Position Announcements |
Postdoc position at KTH on Architecting critical infrastructures for cyber-physical systems. |
Postdoc position on Architecting critical infrastructures for cyber-physical systems.
We are seeking a highly motivated postdoc for cutting-edge research at KTH, in close collaboration with industry. Future industrial systems, such as in transport or manufacturing, will increasingly consist of conn...more |
Mar 7 2018 - 12:59pm |
6 years 33 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
SAC SVT 2018, April 12, Pau, France - Call for Participation |
CALL FOR PARTICIPATION
33rd Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
Pau, France | April 9 - 13, 2018
More information:
http://sac-svt-2018.imag.fr
https://www.sigapp.org/sac/sac2018/
The Software Verification and Testing track aims at contributi...more |
Mar 14 2018 - 1:50pm |
6 years 33 weeks ago |
Calls for Papers |
CfP: Special Session on Emerging Solutions for Vehicular Embedded Systems, IECON 2018 |
CALL FOR PAPERS
Special Session on: "Emerging Solutions for Vehicular Embedded Software Systems" (IECON 2018)
http://www.iecon2018.org/files/SS_IECON2018_SS_CfP.pdf
At the 44th Annual Conference of the IEEE Industrial Electronics Society
Washington, DC, USA | October 21 - 23, 2018 | http://www.i...more |
Mar 14 2018 - 1:44pm |
6 years 33 weeks ago |
Position Announcements |
Full Professorship in Computer Science, Aalborg University, Denmark |
FULL PROFESSORSHIP AT AALBORG UNIVERSITY
At the Technical Faculty of IT and Design, Department of Computer Science, a permanent Full Professorship in Computer Science is open for appointment starting August 1, 2018 or soon thereafter. The position is enabled by a generous grant from the Poul Due Je...more |
Mar 14 2018 - 1:38pm |
6 years 33 weeks ago |
Calls for Workshops & Tutorials |
ESWEEK 2018: Call for Workshops and Tutorials |
Call for Workshops and Tutorials
EMBEDDED SYSTEMS WEEK
CASES * CODES+ISSS * EMSOFT * IoT * Symposia * Workshops * Tutorials
Torino Incontra, Torino, Italy | Sept. 30 - Oct. 5, 2018 | http://www.esweek.org/
About Embedded Systems Week (ESWEEK)
ESWEEK is the premier event covering all aspects...more |
Mar 14 2018 - 1:36pm |
6 years 33 weeks ago |
Calls for Papers |
CfP: 37TH INTERNATIONAL CONFERENCE ON COMPUTER SAFETY, RELIABILITY, & SECURITY (SAFECOMP 2018) |
CALL FOR PAPERS
37TH INTERNATIONAL CONFERENCE ON COMPUTER SAFETY, RELIABILITY, & SECURITY (SAFECOMP 2018)
18-21 SEPTEMBER | VASTERAS, SWEDEN | http://www.es.mdh.se/safecomp2018/
Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on...more |
Feb 6 2018 - 1:30pm |
6 years 33 weeks ago |
Calls for Papers |
CfP: Special Issue on "Time-Critical Wireless Networks for Industrial Systems and Mobile Robotics" |
CALL FOR PAPERS
Special Issue on "Time-Critical Wireless Networks for Industrial Systems and Mobile Robotics"
Recently, there has been increasing interest in areas like smart factories, process control, robotics, smart energy grids, and so forth. These entities can be regarded as complex real-li...more |
Mar 14 2018 - 1:12pm |
6 years 33 weeks ago |
Calls for Papers |
CfP: SAMOS XVIII |
CALL FOR PAPERS - Extended Deadline March 19
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XVII)
Samos, Greece | July 15-19, 2018 | http://www.samos-conference.com
Timeline:
MARCH 19, 2018 Paper Submission Deadline (EXTENDED)
APRIL 2, 20...more |
Mar 14 2018 - 1:08pm |
6 years 33 weeks ago |
Position Announcements |
PhD Position in Human-Machine Interaction, Aix Marseille Université, France |
PhD fellowship
Towards a Computational Model of Social Skills for Human-Computer Interaction
Aix-Marseille Universite & CNRS
Deadline for application: April 9th, 2018
The goal of this project is to develop a computational model of social skills for multimodal interaction systems. The mod...more |
Mar 14 2018 - 12:52pm |
6 years 33 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
DeepLearn 2018: early registration March 12 |
Early registration deadline: March 12, 2018
2nd International Summer School on Deep Learning 2018 (DeepLearn)
23th -- 27th July 2018 | Genova, Italy | http://grammars.grlmc.com/DeepLearn2018/
Organized by: University of Genova IRDTA-London
SCOPE:
DeepLearn 2018 will be a research training ev...more |
Mar 14 2018 - 12:46pm |
6 years 33 weeks ago |
Calls for Papers |
QBFEVAL'18 - Call for Contributions |
CALL FOR CONTRIBUTIONS
QBFEVAL'18 - Competitive Evaluation of QBF Solvers
A joint event with the 21st Int. Conference on Theory and Applications of Satisfiability Testing (SAT) (affiliated with FLoC 2018)
Oxford, UK | July 9 - July 12 2018 | http://www.qbflib.org/
QBFEVAL'18 is the 2018 competit...more |
Mar 14 2018 - 12:45pm |
6 years 33 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CfP (ext. deadline): 13th IEEE SIES 2018 (in conjunction with 2nd IoT Symposium) |
CALL FOR POSTERS
13th IEEE International Symposium on Industrial Embedded Systems (SIES)
In conjunction with "2nd Symposium on Dependable Internet of Things" June 5, 2018, Graz, Austria
Regular Paper submission deadline: March 11, 2018 (extended, hard)
Acceptance notification:...more |
Mar 14 2018 - 12:38pm |
6 years 33 weeks ago |
Calls for Papers |
CfP: ACM/EIGSCC Symposium On Smart Cities and Communities |
Call For Papers
ACM/EIGSCC Symposium On Smart Cities and Communities
In collaboration with the Association for Computing Machinery (ACM) Emerging Interest Group (EIG) on Smart Cities and Communities (SCC) we will be hosting a Technical Papers Symposium. This Symposium will provide a leading venue...more |
Mar 14 2018 - 12:27pm |
6 years 33 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
DHS S&T to lead a session at SXSW. Two Data-related SuperClusters merged. NSF funding on Smart Soil |
Dear GCTC-Smart and Secure Cities and Communities Challenge (SC3) community,
We have a few updates from our federal partners and SuperClusters.
DHS S&T at SXSW: Rethinking Resilience in the Smart City
The Department of Homeland (DHS) Security Science and Technology Directorate (S...more |
Mar 14 2018 - 12:12pm |
6 years 33 weeks ago |
General Announcements |
CPS Week 2018 Student Grants |
The CPSWeek 2018 conference organizers anticipate the availability of student travel/registration support funds to encourage the participation of students in the CPSWeek 2018 (cpsweek.org) that would otherwise not be able to attend. Each grant will contribute towards partial or complete reimbursemen...more |
Mar 14 2018 - 12:09pm |
6 years 33 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call For Participation tutorial @ CPSWeek2018: 'System-wide Optimization of Logistics in Manufacturing Systems' |
CALL FOR PARTICIPATION
CPSWeek2018 tutorial on System-wide Optimization of Logistics in Manufacturing Systems
on April 10, 2018
Abstract: High-throughput and high-precision are demanded from a wide class of next generation of cyber-physical systems - lithography machines and professional pr...more |
Mar 14 2018 - 12:07pm |
6 years 33 weeks ago |
General Announcements |
Call for Applications: CPSWeek 2018 Student Travel Grant |
The CPSWeek 2018 conference organizers anticipate the availability of student travel/registration support funds to encourage the participation of students in CPSWeek 2018 (cpsweek.org) that would otherwise not be able to attend. Each grant will contribute towards partial or complete reimbursement of...more |
Mar 5 2018 - 1:44pm |
6 years 34 weeks ago |
Calls for Papers |
Submission System Open: Transactions on Industrial Informatics Special Section Call for Papers: Resilience in Energy Industries |
CALL FOR PAPERS for Special Section on
Resilience in Energy Industries- Recent Advances, Open Challenges, and Future Directions
Theme: Resilience is the capacity of critical infrastructure systems to proactively maintain a safe level of operational normalcy in response to anomalies, including th...more |
Feb 28 2018 - 3:45pm |
6 years 35 weeks ago |
Calls for Papers |
CfP: The 16th International Conference on Software Engineering and Formal Methods (SEFM) |
CALL FOR PAPERS - CALL FOR PAPERS - Extended Deadline March 2, 2018
The 16th International Conference on Software Engineering and Formal Methods (SEFM)
will be part of STAF 2018
Toulouse, France | 27-29 June 2018 | https://www.isf.cs.tu-bs.de/cms/events/sefm2018/
The conference aims to bring tog...more |
Feb 8 2018 - 1:16pm |
6 years 35 weeks ago |
Calls for Papers |
[GCTC-SC3 2018] Portland Tech Jam Announced. SuperClusters and Smart City Works Updates |
Dear GCTC-SC3 community,
We have a handful of exciting announcements today:
Announcing 2018 GCTC-SC3 Tech Jam and ACM Technical Conference Track
We are announcing the 2018 GCTC-SC3 Tech Jam, which will be held in Portland, Oregon, on June 20-22, 2018, co-hosted by the City of Portland, T...more |
Feb 28 2018 - 2:30pm |
6 years 35 weeks ago |
Calls for Papers |
CfP: 7th International Workshop on Formal Methods for Interactive Systems (FMIS 2018) |
CALL FOR PAPERS
7th International Workshop on Formal Methods for Interactive Systems (FMIS 2018)
Affiliated Workshop of STAF 2018
June 25-26 | Toulouse, France | https://fmis2018.sciencesconf.org
Reducing the likelihood of faults and failures in the development and in the use of interactive sys...more |
Feb 28 2018 - 12:56pm |
6 years 35 weeks ago |
Calls for Papers |
CfP: Third Workshop on Self-Awareness in Cyber-Physical Systems, Aston University, Birmingham, UK. 23 April 2018 |
CALL FOR PAPERS
Third Workshop on Self-Awareness in Cyber-Physical Systems
Aston University, Birmingham, UK | 23 April 2018 | https://www.ict.tuwien.ac.at/selphys/
DESCRIPTION
Inspired by biological examples, self-awareness has become a hot research topic in a variety of disciplines and its app...more |
Feb 28 2018 - 12:46pm |
6 years 35 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Participation: DATE 2018 Workshop on "New Platforms for Future Cars: Current and Emerging Trends" [23.March.2018] |
CALL FOR PARTICIPATION
DATE 2018 Workshop W03: "New Platforms for Future Cars: Current and Emerging Trends"
https://www.date-conference.com/conference/workshop-w03
Description
The automotive industry is rapidly moving towards the adoption of new hardware solutions, such as multi- and many-cor...more |
Feb 28 2018 - 12:38pm |
6 years 35 weeks ago |
Position Announcements |
Postoctoral positions in learning-enabled CPS at University of Pennsylvania |
Postdoctoral Research Positions in Assured Autonomy at PRECISE Center
School of Engineering and Applied Science, University of Pennsylvania
http://precise.seas.upenn.edu/
The PRECISE center at University of Pennsylvania is seeking applications for postdoctoral researchers to work on the project...more |
Feb 28 2018 - 12:34pm |
6 years 35 weeks ago |