Calls for Papers |
HEALTH Call for Papers: Special Issue on Wearable Technologies for Smart Health |
CALL FOR PAPERS
ACM Transactions Computing for Healthcare
Special Issue on Wearable Technologies for Smart Health
Guest Editors:
David Kotz, Dartmouth College, USA
Guoliang Xing, The Chinese University of Hong Kong
Wearable consumer products such as smart watches, fitness trackers and head-...more |
Jun 4 2019 - 9:26am |
5 years 22 weeks ago |
Position Announcements |
PostDoc position on "Real-Time Memory Management in Latest-generation CPU+FPGA SoCs" (TUM Munich, Germany) |
Brief Info:
Institute: Chair of Cyber Physical Systems in Production Engineering, Technical University of Munich.
(See http://www.professoren.tum.de/en/caccamo-marco/ )
We are currently looking for motivated a Post-doctoral researcher who would like to work at TUM, Munich in collaboration wit...more |
Jun 4 2019 - 9:18am |
5 years 22 weeks ago |
Calls for Papers |
Call for Submissions: Resilience Week 2019 |
CALL FOR SUBMISSIONS - EXTENDED to JULY 1
Resilience Week 2019
Call for Special Sessions
Submissions due: April 22
Acceptance notification: April 29
Call for Papers & White papers/Lightning Talks
Submissions due: June 3 July 1 EXTENDED
Acceptance notification: September 9
Fin...more |
Jun 3 2019 - 10:07am |
5 years 23 weeks ago |
Calls for Papers |
ISORC CFP |
CALL FOR PAPERS
The 22nd IEEE International Symposium on Real-Time Distributed Computing (IEEE ISORC 2019)
Valencia, Spain, May 7-9, 2019 | https://isorc2019.github.io/
ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/component/service-...more |
Nov 30 2018 - 1:42pm |
5 years 23 weeks ago |
Calls for Papers |
CyPhy'19 Call for Papers |
Model-Based Design of Cyber-Physical Systems (CyPhy'19) is the ninth instance of a workshop that takes a broad interpretation of the area and aims to facilitate the timely consolidation and sharing of new knowledge from diverse disciplines. Cyber-physical systems (CPSs) combine computing and network...more |
May 27 2019 - 4:31pm |
5 years 24 weeks ago |
Calls for Papers |
Call for Contributions – MODELS 2019 Satellite Events |
Call for Contributions - MODELS 2019 Satellite Events
MODELS 2019: ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems
15-20 September 2019 Munich, Germany | http://www.modelsconference.org/
MODELS, the ACM/IEEE 22th International Conference on Model Driven En...more |
May 22 2019 - 1:11pm |
5 years 24 weeks ago |
Calls for Papers |
CFP: Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018) |
Call for papers for the Workshop on Embedded and Cyber-Physical Systems Education (WESE 2018)
- Paper submission deadline: July 1st (midnight, Central European Time)
- Author notification: August 31st
- WESE web page: http://www.wese2018.org
-Venue: Part of the Embedded Systems Week in Turi...more |
Jun 18 2018 - 11:29pm |
5 years 26 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
[GCTC/SC3] Expo registration and deadlines, Smart Buildings SuperCluster, Procurement Opportunity, Webinar |
GCTC/SC3
Expo registration and deadlines, Smart Buildings SuperCluster, Challenge-based Procurement Opportunity, U.S. Commercial Service Webinar
Dear GCTC/SC3 community,
So far, over 60 action clusters have been accepted and offered to speak and exhibit at the upcoming GCTC/SC3 Expo. Off...more |
May 2 2019 - 12:05pm |
5 years 27 weeks ago |
Calls for Papers |
CfP Deadline Approaching: 5th ACM Cyber-Physical System Security Workshop |
CALL FOR PAPERS - Deadline Approaching
5th ACM Cyber-Physical System Security Workshop
Auckland, New Zealand | http://jianying.space/cpss/CPSS2019/
Held in conjunction with ACM AsiaCCS'19
Important Dates
Submission due: March 10, 2019
Notification: April 10, 2019
Camera-ready due:...more |
Apr 24 2019 - 1:15pm |
5 years 28 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
[PhD Schools Announcements] EXTENDED DEADLINE: 2019 PhD School series at U. Padua, Italy - Cybersecurity of Future Internet, Blo |
Dear Colleagues,
We are pleased to announce the "2019 International Summer Schools on Cyber Security" (https://spritz.math.unipd.it/events/2019/PIU2019/PagesOutput/) that will take place at the University of Padua, Italy. The schools are supported by the CINI Cyber Security National Lab.
The schoo...more |
Apr 19 2019 - 1:59am |
5 years 29 weeks ago |
Calls for Papers |
CfP: 10th Conference on Decision and Game Theory for Security (GameSec 2019) |
CALL FOR PAPERS
10th Conference on Decision and Game Theory for Security - GameSec 2019
October 30 - November 1 Stockholm, Sweden
All information including submission instructions are at https://gamesec-conf.org
IMPORTANT DATES
Abstract submission: 27 May 2019
Paper submission: 3 June...more |
Apr 17 2019 - 10:16am |
5 years 29 weeks ago |
Position Announcements |
Fully-funded PhD position at Inria Lille (France) |
Dear colleagues,
We are hiring a PhD student on a fully-funded position at the Inria Lille team Spirals (https://team.inria.fr/spirals/) to work on the
Design of correct-by-construction self-adaptive cloud applications using formal methods.
Applications should be submitted at the Inria jobs websi...more |
Apr 16 2019 - 12:01pm |
5 years 29 weeks ago |
Position Announcements |
PhD position: Formal methods in control (Munich, Germany) |
We invite applications for a doctoral researcher position in the field of formal methods in control. The successful candidate is expected to advance the state of the art of abstraction-based synthesis and verification, to facilitate routine and efficient application of the approach to nonlinear cont...more |
Apr 16 2019 - 11:55am |
5 years 29 weeks ago |
Position Announcements |
Postdoctoral Research Position in Medical Cyber-Physical Systems at UVA Link Lab |
Postdoctoral Research Fellow Opportunity: The Department of Computer Science and the Department of Electrical and Computer Engineering in the School of Engineering and Applied Science at the University of Virginia seek to hire a postdoctoral research fellow to support the faculty and students in the...more |
Mar 23 2019 - 10:49pm |
5 years 30 weeks ago |
Calls for Papers |
CFP: 1st International Workshop on Formal Techniques for Dependable Autonomous Systems (FT4DAS 2019) |
=====================================================================
FT4DAS 2019
https://ft4das.github.io
1st International Workshop on Formal Techniques for Dependable Autonomous Systems
S...more |
Apr 10 2019 - 4:21pm |
5 years 30 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Special Sessions: Resilience Week 2019 |
CALL FOR SPECIAL SESSIONS - Deadline Approaching Quickly!
Resilience Week 2019
Submission Due: APRIL 22
Acceptance Notification: APRIL 29
Large disasters may ripple across cities, regions or even nationally through interconnected critical infrastructure systems. Right now, many of those conn...more |
Apr 2 2019 - 11:12am |
5 years 31 weeks ago |
Calls for Workshops & Tutorials |
HSB 2019 - 6th Intl Workshop on Hybrid Systems and Biology (with ETAPS 2019) - Call for participation |
[Apologies for multiple copies.]
=========================================================================
CALL FOR PARTICIPATION
HSB 2019: 6th International Workshop on Hybrid Systems and Biology
https://hsb2019.fit.vutbr.cz/
April 6-7, Prague, Czech Republic. Co-located with ETAPS 2019.
====...more |
Mar 17 2019 - 3:03pm |
5 years 34 weeks ago |
Position Announcements |
Fully-funded PhD positions available at Royal Holloway, University of London - Computer Science and Information Security |
Applications are invited for the following PhD opportunities at Royal Holloway for AY 19/20:
- Two fully-funded PhD studentships in the Department of Computer Science. Apply by 29 April 2019. More information available at https://www.royalholloway.ac.uk/research-and-teaching/departments-and-schools...more |
Mar 14 2019 - 7:09am |
5 years 34 weeks ago |
Calls for Workshops & Tutorials |
[CPS-Sec 2019] CFP - IEEE International Workshop on Cyber-Physical Systems Security - Deadline Extended |
CPS-Sec 2019 - CALL FOR PAPERS
=================================================================
IEEE International Workshop on Cyber-Physical Systems Security (CPS-Sec)
https://cns2019.ieee-cns.org/workshop/cps-sec-international-workshop-cyber-physical-systems-security
will be held in conjuncti...more |
Feb 18 2019 - 8:27am |
5 years 35 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Travel award available to participate for CPS-IOT Week 2019 |
Travel awards (funded by NSF) are available to enable students to participate in CPS-IoT Week 2019.
Link to the conference:
http://cpslab.cs.mcgill.ca/cpsiotweek2019/
Link to the travel award information:
http://cpslab.cs.mcgill.ca/cpsiotweek2019/recruitment_flyer.pdf
Paper at a conference is n...more |
Feb 20 2019 - 11:25am |
5 years 37 weeks ago |
Calls for Papers |
CfP: 14th International Conference on Networking, Architecture, and Storage (NAS 2019) |
CALL FOR PAPERS
14th International Conference on Networking, Architecture, and Storage (NAS 2019)
NAS provides a high-quality international forum to bring together researchers and practitioners from academia and industry to discuss cutting-edge research on networking, high-performance computer arc...more |
Feb 18 2019 - 3:35pm |
5 years 38 weeks ago |
Calls for Papers |
CfP: 27th International Conference on Real-Time Networks and Systems (RTNS 2019) |
CALL FOR PAPERS - Paper submission: April 30, 2019
27th International Conference on Real-Time Networks and Systems (RTNS 2019)
November 6-8, 2019 | Toulouse/France | https://www.irit.fr/rtns2019
RTNS is a friendly and inclusive conference with a great sense of community that presents excellent op...more |
Feb 18 2019 - 3:26pm |
5 years 38 weeks ago |
Calls for Papers |
CfP: ESWEEK |
CALL FOR PAPERS
Embedded Systems Week (ESWEEK)
CASES * CODES+ISSS * EMSOFT * IoMT * Symposia * Workshops * Tutorials
October 13 - 18, 2019 | New York City, USA | https://esweek.org
Embedded Systems Week (ESWEEK) is the premier event covering all aspects of embedded systems and software. By bring...more |
Feb 18 2019 - 2:08pm |
5 years 38 weeks ago |
Calls for Papers |
CfP: 13th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2019) |
CALL FOR PAPERS
13th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2019)
Oct 7-9, 2019 | Porto, Portugal | http://vecos-world.org/2019/
The aim of the VECoS conference is to bring together researchers and practitioners, in the areas of verifi...more |
Feb 18 2019 - 1:53pm |
5 years 38 weeks ago |
Calls for Papers |
CfP: 38th International Conference on Computer Safety, Reliability and Security (SafeComp 2019) |
CALL FOR PAPERS
38th International Conference on Computer Safety, Reliability and Security (SafeComp 2019)
Turku, Finland | 10 - 13 September 2019 | https://conferences.ncl.ac.uk/safecomp2019/
SAFECOMP was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Comm...more |
Feb 14 2019 - 3:43pm |
5 years 38 weeks ago |
Calls for Papers |
CfP: Intelligent Systems Conference (IntelliSys 2019) |
Call for Papers
Intelligent Systems Conference (IntelliSys 2019)
5-6 September 2019 | London, United Kingdom | http://saiconference.com/IntelliSys
IntelliSys 2019 will focus in areas of intelligent systems and artificial intelligence and how it applies to the real world. IntelliSys provides a lea...more |
Feb 14 2019 - 2:57pm |
5 years 38 weeks ago |
Calls for Papers |
CfP: 32nd IEEE International System-on-Chip Conference (SOCC 2019) |
CALL FOR PAPERS
32nd IEEE International System-on-Chip Conference (SOCC 2019)
September 3-6, 2019 | Singapore | https://www.ieee-socc.org/
Multibillion transistor System on Chip (SoC) devices, comprised of RF, analog, optical, digital and Micro- Electro-Mechanical Systems (MEMS), are integral par...more |
Feb 14 2019 - 2:43pm |
5 years 38 weeks ago |
Calls for Papers |
CfP: 24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019) |
CALL FOR PAPERS
24th International Conference on Emerging Technologies and Factory Automation (ETFA 2019)
Zaragoza, Spain | September 10th - 13th, 2019 | http://www.etfa2019.org
Sponsored by: IEEE Industrial Electronics Society (IES) and Aragon Institute for Engineering Research (I3A)
Aim: The E...more |
Feb 14 2019 - 2:27pm |
5 years 38 weeks ago |
Calls for Papers |
CfP: The 30th International Conference on Concurrency Theory (CONCUR 2019) |
The 30th International Conference on Concurrency Theory (CONCUR 2019)
The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.
Invited speakers
Marta Kwiatkowska - University o...more |
Feb 14 2019 - 2:07pm |
5 years 38 weeks ago |
Position Announcements |
Call for Applications - Doctoral College on Resilient Embedded Systems |
****************************************************************************
CALL FOR 4-YEARS FUNDED DOCTORAL POSITIONS
DOCTORAL PROGRAM ON RESILIENT EMBEDDED SYSTEMS
*****************************************************************************
Website: http://www.informatik.tuwien.ac.at/teac...more |
Feb 14 2019 - 1:49pm |
5 years 38 weeks ago |
Calls for Papers |
Cfp: IEEE Transactions on Industrial Informatics Special Section on Cyber-Physical |
CALL FOR PAPERS
IEEE Transactions on Industrial Informatics Special Section on Cyber-Physical Security in Industrial Environments
Timetable:
Deadline for manuscript submissions: May 1, 2019
Expected publication date (tentative): October 2019
Overview
"Smart" is slowly becoming a concept that...more |
Feb 14 2019 - 1:47pm |
5 years 38 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Participation: DATE Workshop on Autonomous Systems Design (ASD 2019) |
CALL FOR PARTICIPATION
DATE Workshop on Autonomous Systems Design (ASD 2019)
29 March 2019 | Florence, Italy | http://asd2019.userweb.mwn.de
co-located with the conference DATE 2019
ASD 2019 is the 1st international workshop on Autonomous Systems Design. The goal of the workshop is to explore r...more |
Feb 14 2019 - 1:37pm |
5 years 38 weeks ago |
Position Announcements |
PhD positions available at George Mason University (Controls, brain-computer interface, healthcare) |
Applications are invited for PhD positions at the Algorithms in Medicine and Neuro-Technology Lab (AIMAN Lab) in the Department of Mechanical Engineering at George Mason University, Fairfax, VA.
Research
The AIMAN Lab pursues fundamental breakthroughs in biomedical cyber-physical systems. The...more |
Feb 8 2019 - 11:58pm |
5 years 39 weeks ago |
Calls for Papers |
CfP: 22nd Euromicro Conference on Digital System Design (DSD 2019) |
CALL FOR PAPERS
22nd Euromicro Conference on Digital System Design (DSD 2019)
August 28 - 30, 2019 | Kallithea, Chalkidiki, Greece | http://dsd-seaa2019.csd.auth.gr/dsd/index.html
The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-perfor...more |
Feb 8 2019 - 5:24pm |
5 years 39 weeks ago |
Calls for Papers |
CfP: 26th Static Analysis Symposium |
CALL FOR PAPERS
26th Static Analysis Symposium
Part of the 3rd World Congress on Formal Methods
Important Dates
Paper Submission - Thursday, April 18, 2019
Artifact Submission - Thursday, April 25, 2019
Notification - Friday, June 14, 2019
Conference - Wednesday-Friday, October 9-11, 2019...more |
Feb 8 2019 - 5:32pm |
5 years 39 weeks ago |
Calls for Papers |
CfP: The 14th International Conference on Future Networks and Communications (FNC 2019) |
The 14th International Conference on Future Networks and Communications (FNC 2019)
August 19-21, 2019 | Halifax, Nova Scotia, Canada | http://cs-conferences.acadiau.ca/fnc-19/
Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technolo...more |
Feb 8 2019 - 5:00pm |
5 years 39 weeks ago |
Calls for Papers |
CfP: 2nd International Conference on Science of Cyber Security (SciSec'2019) |
CALL FOR PAPERS
2nd International Conference on Science of Cyber Security (SciSec'2019)
August 09-11, 2019 | Nanjing, China | www.sci-cs.net
The conference is organized by the Nanjing University of Posts and Telecommunications. This new forum aims to catalyze the research collaborations between t...more |
Feb 8 2019 - 4:54pm |
5 years 39 weeks ago |
Calls for Papers |
CfP: The Fifteenth Symposium on Usable Privacy and Security (SOUPS 2019) |
CALL FOR PAPERS
The Fifteenth Symposium on Usable Privacy and Security (SOUPS 2019)
August 11-13, 2019 | Santa Clara, CA | https://www.usenix.org/conference/soups2019
In cooperation with USENIX, the Advanced Computing Systems Association
SOUPS 2019 will bring together an interdisciplinary group...more |
Feb 8 2019 - 4:41pm |
5 years 39 weeks ago |
Calls for Papers |
CfP: 16th International Conference on Informatics in Control, Automation and Robotics (ICINCO) |
CALL FOR PAPERS
16th International Conference on Informatics in Control, Automation and Robotics (ICINCO)
July 29-31, 2019 | Prague, Czech Republic | http://www.icinco.org
Important Dates
Conference
Regular Papers
Paper Submission: February 28, 2019
Authors Notification: May 2, 2019
Came...more |
Feb 8 2019 - 3:10pm |
5 years 39 weeks ago |
Calls for Papers |
CfP: 9th International Conference on Pervasive and Embedded Computing and Communication Systems |
CALL FOR PAPERS
9th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2019)
September 19-20, 2019 | Vienna, Austria | http://www.peccs.org
Pervasive and embedded computing and communication is a paradigm that aims at providing trustworthy computing solu...more |
Feb 8 2019 - 1:18pm |
5 years 39 weeks ago |
Calls for Papers |
Call for Papers - SAMOS XIX |
CALL FOR PAPERS - *** PAPER SUBMISSION DEADLINE: MARCH 1, 2019 ***
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIX)
July 7-11, 2019 | Samos Islands, Greece | http://samos-conference.com
SAMOS is a unique conference. It deals with embedded...more |
Feb 7 2019 - 2:38pm |
5 years 39 weeks ago |
Calls for Papers |
CfP: PETRA 2019 |
CALL FOR PAPERS
PErvasive Technologies Related to Assistive Environments (PETRA)
June 5-7, 2019 | Rhodes, Greece | http://www.petrae.org
The PErvasive Technologies Related to Assistive Environments (PETRA) conference is a highly interdisciplinary conference that focuses on computational and engi...more |
Feb 7 2019 - 12:53pm |
5 years 39 weeks ago |
Calls for Papers |
Call for Position Papers: 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems |
CALL FOR POSITION PAPERS
1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems (NGOSCPS): On Beyond POSIX
at CPS-IoT Week 2019, in Montreal, Canada | https://www.cse.wustl.edu/~cdgill/ngoscps2019/
IMPORTANT DATES
Position paper submission deadline: Monday...more |
Feb 7 2019 - 12:25pm |
5 years 39 weeks ago |
Calls for Papers |
Extended Deadline: MeTRiD 2019 (ETAPS 2019 satellite workshop) |
Papers submission: 11 February 2019 (extended)
CALL FOR PAPERS
2ND International Workshop on
Methods and Tools for Rigorous System Design (MeTRiD 2019)
Prague, Czech Republic| 6 April 2019
https://conf.researchr.org/track/etaps-2019/metrid-2019-papers | https://project.inria.fr/metrid/
sat...more |
Feb 7 2019 - 11:59am |
5 years 39 weeks ago |
Calls for Papers |
CfP:12th International Conference on Graph Transformation (ICGT 2019) |
12th International Conference on Graph Transformation (ICGT 2019)
Jul 15, 2019 - Jul 19, 2019 | Eindhoven (The Netherlands) | https://sites.google.com/site/icgt2019/
Part of STAF 2019
Aims and Scope
Dynamic structures are a major cause for complexity when it comes to model and reason about s...more |
Jan 30 2019 - 3:47pm |
5 years 40 weeks ago |
Calls for Papers |
CfP: 24th International Symposium on Model Checking of Software (SPIN 2019) |
CALL FOR PAPERS
24th International Symposium on Model Checking of Software (SPIN 2019)
Beijing, China | July 15-19, 2019 | https://conf.researchr.org/home/spin-2019
Co-located with ISSTA 2019
The 26th edition of the SPIN symposium aims at bringing together researchers and practitioners intereste...more |
Jan 28 2019 - 5:55pm |
5 years 40 weeks ago |
Calls for Papers |
CfP: LCTES 2019 Languages, Compilers, Tools and Theory of Embedded Systems |
LCTES 2019 Languages, Compilers, Tools and Theory of Embedded Systems
Sat 22 - Fri 28 June 2019 | Phoenix, Arizona, United States | https://conf.researchr.org/home/LCTES-2019
Embedded system design faces many challenges both with respect to functional requirements and nonfunctional requirements. T...more |
Jan 28 2019 - 5:46pm |
5 years 40 weeks ago |
Calls for Papers |
CfP: The 24th International Conference on Reliable Software Technologies - Ada-Europe 2019 |
CALL FOR PAPERS
The 24th International Conference on Reliable Software Technologies - Ada-Europe 2019
10-14 June 2019 | Warsaw, Poland | http://ae2019.edc.pl/
Important dates
28 January 2019
Submission of regular papers, industrial presentation outlines, tutorial and workshop proposals
1 Ma...more |
Jan 28 2019 - 5:37pm |
5 years 40 weeks ago |
Calls for Papers |
CfP: International Federated Conference on Distributed Computing Techniques (DisCoTec 2019) |
CALL FOR PAPERS
14th International Federated Conference on Distributed Computing Techniques (DisCoTec 2019)
Jun 18, 2019 - Jun 21, 2019 | Kongens Lyngby, Denmark | http://www.discotec.org/2019/
DisCoTec 2019 is one of the major events sponsored by the International
Federation for Information Pr...more |
Jan 28 2019 - 5:26pm |
5 years 40 weeks ago |
Calls for Papers |
CfP: IEEE Global IoT Summit (GIoTS 2019) |
CALL FOR PAPERS
IEEE Global IoT Summit (GIoTS 2019)
Aarhus, Denmark | June 17-21, 2019 | https://www.globaliotsummit.org/
COLLOCATED WITH IOT WEEK 2019
IEEE Global IoT Summit (GIoTS) is a scientific conference that presents scientific papers on the most recent IoT research results with the aim t...more |
Jan 28 2019 - 4:44pm |
5 years 41 weeks ago |