|
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 |
6 years 3 days 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 |
6 years 4 days 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 |
6 years 4 days 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 |
6 years 1 week 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 |
6 years 2 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 |
6 years 5 days 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 |
6 years 4 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 |
6 years 5 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 |
6 years 8 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 |
6 years 8 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 |
6 years 8 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 |
6 years 8 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 |
6 years 8 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 |
6 years 6 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 |
6 years 9 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 |
6 years 9 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 |
6 years 9 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 |
6 years 9 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 |
6 years 9 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 |
6 years 9 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 |
6 years 9 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 |
6 years 9 weeks ago |
|
Calls for Papers |
CfP: The 15th IEEE International Conference on Embedded Software and Systems (ICESS 2019) |
CALL FOR PAPERS
The 15th IEEE International Conference on Embedded Software and Systems (ICESS 2019)
Las Vegas Convention Center, Nevada, United States | June 2-3, 2019 | http://lcs.ios.ac.cn/icess2019/
Co-located with DAC 2019 (participants can access DAC Keynotes, Exhibits and Receptions)...more |
Feb 12 2019 - 4:57pm |
5 years 27 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 |
6 years 10 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 |
6 years 10 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 |
6 years 10 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 |
6 years 10 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 |
6 years 10 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 |
6 years 10 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 |
6 years 10 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 |
6 years 10 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 |
6 years 10 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 |
6 years 10 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 |
6 years 10 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 |
6 years 10 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 |
6 years 11 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 |
6 years 11 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 |
6 years 11 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 |
6 years 11 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 |
6 years 11 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 |
6 years 11 weeks ago |
|
Calls for Papers |
CfP: 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019) |
CALL FOR PAPERS
14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019)
Montreal, Canada | May 25 - 26, 2019 | https://conf.researchr.org/home/seams-2019
colocated with ICSE 2019
Important Dates AoE (UTC-12h)
Fri 18 Jan 2019 - Abstract submiss...more |
Jan 28 2019 - 4:09pm |
6 years 11 weeks ago |
|
Calls for Papers |
CfP: 22nd IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING (ISORC 2019) |
CALL FOR PAPERS
22nd IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING (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-oriented real-time di...more |
Jan 28 2019 - 3:27pm |
6 years 11 weeks ago |
|
Calls for Papers |
CfP: 22nd International Workshop on Software and Compilers for Embedded Systems |
CALL FOR PAPERS
22nd International Workshop on Software and Compilers for Embedded Systems (SCOPES 2019)
Sankt Goar (Germany) | May 27th till May 29th, 2019 | https://www.scopesconf.org/scopes-19/
A next edition of the workshop on Software and Compilers for Embedded Systems (SCOPES) will be organ...more |
Jan 28 2019 - 3:17pm |
6 years 11 weeks ago |
|
Calls for Papers |
CfP: The 9th International Conference on Sustainable Energy Information Technology (SEIT-19) |
CALL FOR PAPERS
The 9th International Conference on Sustainable Energy Information Technology (SEIT-19)
Halifax, Canada | August 19-21, 2019 | http://cs-conferences.acadiau.ca/seit-19
Important Dates
Workshops Proposals Due: February 15, 2019
Paper Submission Due: March 28, 2019...more |
Jan 28 2019 - 3:02pm |
6 years 11 weeks ago |
|
Calls for Papers |
CfP: 24th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS2019) |
CALL FOR PAPERS
24th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS2019)
Providence, RI, U.S.A | April 13-17, 2019 | https://asplos-conference.org
ASPLOS is the premier forum for multidisciplinary systems research spanning computer ar...more |
Jan 28 2019 - 2:17pm |
6 years 11 weeks ago |
|
Calls for Papers |
CfP: 1st International Workshop on Smart Manufacturing Modeling and Analysis [SM²N] |
CALL FOR PAPERS
1st International Workshop on Smart Manufacturing Modeling and Analysis [SM2N]
April 15, 2019 | Montreal, Canada | https://synercys.github.io/sm2n/
Co-located with the Cyber-Physical Systems and Internet-of-Things Week (CPS-IoT Week)
Today's manufacturing paradigm is in the mids...more |
Jan 28 2019 - 1:56pm |
6 years 11 weeks ago |
|
General Announcements |
NYU's Smart Cities Postdoctoral Fellows |
Smart Cities Postdoctoral Fellows
New York University's CUSP, WIRELESS, CCS, VIDA and C2SMART invite applications for the inaugural cohort of NYU's Smart Cities Postdoctoral Fellows. We seek outstanding applicants with a strong record of interdisciplinary work in developing and applying conc...more |
Jan 22 2019 - 4:43pm |
6 years 12 weeks ago |
|
Calls for Papers |
CfP: 9th International Conference on the Internet of Things (IoT 2019) |
CALL FOR PAPERS
9th International Conference on the Internet of Things (IoT 2019)
October 22-25th 2018 | Bilbao, Spain | https://iot-conference.org/iot2019
Driven by connected low-cost sensing and actuation and the large host of scientifically and economically relevant application scenarios that...more |
Jan 21 2019 - 2:48pm |
6 years 12 weeks ago |
|
Position Announcements |
MS and PhD Programs in ECE next to Silicon Valley -- Application window closes on January 22 (PhD) and February 1 (MS)! |
The Department of Electrical and Computer Engineering at the University of California, Santa Cruz is offering MS and PhD programs with four core tracks:
- Electronic Circuits and Energy Systems
- Photonics and Electronic Devices
- Robotics, Controls, and Cyber-Physical Systems
- Signals, Image P...more |
Jan 20 2019 - 12:25am |
6 years 13 weeks ago |
