|
Position Announcements |
Multiple Post-Doctoral Fellow Positions in the General Area of Robotics at West Virginia University |
The Department of Mechanical and Aerospace Engineering (MAE) in the Benjamin M. Statler College of Engineering and Mineral Resources at West Virginia University (WVU) invites applications for multiple Post-Doctoral Fellow positions in the general area of robotics. The specific subjects of interest i...more |
May 21 2018 - 5:54pm |
6 years 35 weeks ago |
|
Calls for Papers |
CfP: Symposium on Usable Privacy and Security (SOUPS 2018) |
CALL FOR PAPERS
Symposium on Usable Privacy and Security (SOUPS 2018)
August 12-14, 2018 | Baltimore, MD, USA | Co-located with USENIX Security '18
The Fourteenth Symposium on Usable Privacy and Security (SOUPS 2018) will bring together an interdisciplinary group of researchers and practitioners...more |
May 17 2018 - 1:15pm |
6 years 36 weeks ago |
|
Calls for Papers |
CfP: ModComp'18: 5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering |
CALL FOR PAPERS
ModComp'18: 5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering
14-16, October 2018 | Copenhagen, Denmark | http://www.mrtc.mdh.se/ModComp18/
IMPORTANT DATES
Deadline for submission of papers: 17 July 2018
Notification for acceptanc...more |
May 16 2018 - 1:44pm |
6 years 36 weeks ago |
|
Calls for Papers |
CfP: IEEE VTC2018-Fall Recent Results Track: Deadline Approaching - 17 May 2018 |
CALL FOR RECENT RESULTS PAPERS
IEEE 88th Vehicular Technology Conference (IEEE VTC2018-Fall)
27-30 August 2018, Chicago, USA | http://www.ieeevtc.org/vtc2018fall/
Important dates for Recent Results papers
Submission of abstracts or full papers: 17 May 2018
Acceptance...more |
May 16 2018 - 1:30pm |
6 years 36 weeks ago |
|
Calls for Papers |
FNC & MobiSPC 2018: Call for Workshops' Papers |
CALL FOR WORKSHOP PAPERS
The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018) &
The 13th International Conference on Future Networks and Communicatons (FNC 2018)
Date: August 13-15, 2018
Location: Gran Canaria, Spain
MobiSPC Website: http://cs-confere...more |
May 16 2018 - 1:20pm |
6 years 36 weeks ago |
|
Calls for Papers |
CfP: IEEE TETC special issue on "Backscattering-based Computing with Battery-Free Units" |
CALL FOR PAPERS
IEEE Transactions on Emerging Topics in Computing
Special Issue on "Backscattering-based Computing with Battery-Free Units"
The number of Internet-of-Thing units is expected to surpass the world population by 2018.
However, the growth of smart units is limited by a fundamental...more |
May 16 2018 - 1:15pm |
6 years 36 weeks ago |
|
Calls for Papers |
CfP: IEEE IoT Journal - Special Issue on Reliable and Resilient Cyber-Physical Systems |
IEEE Internet of Things Journal Special Issue on "RRCPS: Reliable and Resilient Cyber-Physical Systems"
Cyber-physical systems (CPSs) can provide both improved and new functionality with efficiency and convenience; but the increasing use of CPSs and their application to key infrastructure componen...more |
May 16 2018 - 1:13pm |
6 years 36 weeks ago |
|
Calls for Papers |
CfP: The Fifth International Workshop on Security in NFV-SDN (SN-2018) |
CALL FOR PAPERS
The Fifth International Workshop on Security in NFV-SDN (SN-2018)
27 November, 2018 | Verona, Italy | http://www.sn-2018.eu/
in conjunction with the 4th IEEE NFV-SDN conference
Scope
Network Function Virtualization (NFV) and Software Defined Network (SDN) have changed the networ...more |
May 15 2018 - 10:35am |
6 years 32 weeks ago |
|
Calls for Papers |
Call for Position Papers Extended for NSF-funded Workshop on Autonomous Trucking and the U.S. Economy |
Call for Participation extended to May 11, 2018. Stipend also increased, participants will be offered a stipend to offset travel and lodging expenses, (e.g., $700-$1,000). This workshop will identify the most critical unanswered questions as well as potential solutions related to the effects autonom...more |
May 8 2018 - 4:19pm |
5 years 15 weeks ago |
|
Calls for Papers |
CfP: Resilience Week 2018 - paper submission extension (final) through May 18. |
Resilience Week 2018
Denver Colorado | August 20-23, 2018 | https://secure.inl.gov/ResWeek2018
Transforming the Resilience of Cognitive, Cyber-physical Systems
Resilience Week Objective: A Symposium dedicated to promising research in resilient systems that will protect critical cyber-physical inf...more |
May 7 2018 - 6:39pm |
6 years 37 weeks ago |
|
Calls for Papers |
CfP: Future of Information and Communication Conference (FICC) 2019 |
CALL FOR PAPERS
Future of Information and Communication Conference (FICC) 2019
14-15 March, 2019 | San Francisco, CA | http://saiconference.com/FICC2019
FICC 2019 aims to provide a forum for researchers from both academia and industry to share their latest research contributions and exchange know...more |
May 7 2018 - 9:11am |
6 years 29 weeks ago |
|
Calls for Workshops & Tutorials |
ETAPS 2019 - Final Call for Satellite Events |
Final Call for Satellite Events
22st European Joint Conferences on Theory and Practice of Software (ETAPS 2019)
Prague, Czech Republic, April 6-12, 2019 | https://conf.researchr.org/home/etaps-2019
*******************************************************************
* Application d...more |
Apr 26 2018 - 12:13pm |
6 years 39 weeks ago |
|
Position Announcements |
PhD/Post-Doc positions at the University of Duisburg-Essen |
The Theoretical Computer Science Group (Prof. Barbara Koenig) at the University of Duisburg-Essen, Campus Duisburg (Germany) has two open PhD positions paid according to TV-L 13 (full-time).
The first position is in the DFG project BEMEGA ("Behavioural Equivalences: Environmental Aspects, Metrics...more |
Apr 26 2018 - 12:12pm |
6 years 39 weeks ago |
|
Position Announcements |
Post-doc position in Wireless Networks for Industry 4.0 at Universidad Miguel Hernandez de Elche 4.0 (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 26 2018 - 12:04pm |
6 years 39 weeks ago |
|
Calls for Papers |
CFP: The Fourth International Workshop on the Future of the Internet of Things (FIT 2018) |
CALL FOR PAPERS
The Fourth International Workshop on the Future of the Internet of Things (FIT 2018)
in conjunction with The 15th International Conference on Mobile Systems and Pervasive Computing
August 13-15, 2018 | Gran Canaria, Spain | https://easychair.org/cfp/FIT2018
Recent advances...more |
Apr 26 2018 - 12:02pm |
6 years 39 weeks ago |
|
Calls for Papers |
CfP: Special Issue "Algorithm and Distributed Computing for the Internet of Things". SENSORS (ISSN:1424-8220, JCR: 2.677) |
SECOND CALL FOR PAPERS:
Special Issue "Algorithm and Distributed Computing for the Internet of Things"
http://www.mdpi.com/journal/sensors/special_issues/Algorithm_and_Distributed_Computing_for_IoTs
SENSORS
ISSN: 1424-8220
Editor-in-Chief: Prof. Dr. Assefa M. Melesse, Prof. Dr. W. Rudolf Sei...more |
Apr 26 2018 - 11:53am |
6 years 39 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
preliminary announcement: SYNCHRON 2018 Open Workshop |
PRELIMINARY ANNOUNCEMENT
25th International Open Workshop on Synchronous Programming (SYNCHRON 2018)
November 26th to 30th, 2018 | Villa Clythia, Frejus, FRANCE | https://project.inria.fr/synchron2018/
The 25th International Open Workshop on Synchronous Programming and related technologies will b...more |
Apr 26 2018 - 11:47am |
6 years 39 weeks ago |
|
Position Announcements |
Postdoc Position in CPS (Smart Manufacturing domain), NTU (Singapore) |
Postdoc Position in CPS, Academia-Industry collaboration project on "Model-in-the-loop Framework for Smart Manufacturing", NTU (Singapore).
We are seeking a strong and motivated candidate for the position of Research Fellow (Postdoc) in the area of Cyber-Physical Systems, with research focus on...more |
Apr 20 2018 - 12:08pm |
6 years 39 weeks ago |
|
Calls for Papers |
CfP: 15th International Conference on Informatics in Control, Automation and Robotics (INCINCO 2018) |
CALL FOR POSITION PAPERS - Submission Deadline: April 27, 2018
15th International Conference on Informatics in Control, Automation and Robotics
July 29 - 31, 2018 | Porto - Portugal | http://www.icinco.org/
What is a position paper?
A position paper presents an arguable opinion about an issue....more |
Apr 20 2018 - 12:06pm |
6 years 39 weeks ago |
|
Calls for Papers |
CFP: Automated Verification of Critical Systems 2018, AVoCS@FLOC'18 |
CALL FOR PAPERS
18th International Workshop on Automated Verification of Critical Systems (AVoCS 2018)
Oxford University, UK | July 18-19, 2018 | http://avocs18.irisa.fr/
Overview
The aim of the AVoCS workshop series is to contribute to the interaction and exchange of ideas among members of the...more |
Apr 20 2018 - 11:56am |
6 years 40 weeks ago |
|
Calls for Papers |
Extended: 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018) |
CALL FOR PAPERS - Extended Deadlines
Abstract deadline: 08 April 2018 30 April 2018 Extended!
Papers deadline: 30 April 2018 08 May 2018 Extended!
12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018)
September 26-28, 2018 | Gre...more |
Apr 20 2018 - 11:34am |
6 years 40 weeks ago |
|
Calls for Papers |
CfP: 18th International Conference on Runtime Verification (RV 2018) |
CALL FOR PAPERS
18th International Conference on Runtime Verification (RV 2018)
November 10-13, 2018 | Limassol, Cyprus | https://rv2018.isp.uni-luebeck.de
rv18(at)easychair(dot)org
Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hard...more |
Apr 20 2018 - 11:27am |
6 years 40 weeks ago |
|
Calls for Papers |
CfP: 31st IEEE International System-on-Chip Conference (SOCC2018) |
CALL FOR PAPERS - EXTENDED DEADLINE 4/30
31st IEEE International System-on-Chip Conference (SOCC2018)
September 4-7, 2018 | Crystal City Marriott, Arlington, VA (Washington DC Metro Area) | www.ieee-socc.org
"Thinking SOCs: AI and ML applications"
For more than 30 years the IEEE Internat...more |
Apr 20 2018 - 11:15am |
6 years 40 weeks ago |
|
Position Announcements |
Research Position for PhD Candidates: System Correctness under Adverse Conditions (SCARE) |
The Carl von Ossietzky University of Oldenburg, Germany, offers one Research Position for a PhD Candidate in the second phase of the Computer Science Research Training Group SCARE -- System Correctness under Adverse Conditions
http://scare.uni-oldenburg.de
funded by the German Research Foundation...more |
Apr 20 2018 - 11:04am |
6 years 40 weeks ago |
|
Calls for Papers |
CfP: 8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2018) |
CALL FOR POSITION PAPERS - Submission Deadline: April 27, 2018
8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2018)
In Cooperation with EUROMICRO
http://www.peccs.org/ | July 29 - 30, 2018 | Porto - Portugal
The purpose of PECCS is to bri...more |
Apr 20 2018 - 10:52am |
6 years 40 weeks ago |
|
Calls for Papers |
CfP: 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2018) |
CALL FOR PAPERS - Full paper submission deadline : 23rd April 2018 (deadline Extension)
13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2018)
July 9th-11th, 2018, Lille, France, www.recosoc.org
Full paper submission deadline : 16th April 2018 23rd...more |
Apr 20 2018 - 10:42am |
6 years 40 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
8th Halmstad Summer School on Testing (HSST 2018) |
8th Halmstad Summer School on Testing (HSST 2018)
Organized in cooperation with TOCSYC Network
Introduction
Testing and debugging account for a major part of software development cost and effort, yet the current practice of software testing is often insufficiently structured and disciplined. Ther...more |
Apr 20 2018 - 10:33am |
6 years 40 weeks ago |
|
Calls for Papers |
CFP ICLP-DC 2018 |
ICLP-DC 2018 - 14th Doctoral Consortium (DC) on Logic Programming
https://www.cs.nmsu.edu/ALP/iclp2018/Proceedings/ICLP_DC.html
Call for Applications
The 14th Doctoral Consortium (DC) on Logic Programming will be held in conjunction with ICLP 2018 and FLoC 2018. It provides a forum for studen...more |
Apr 15 2018 - 9:11am |
6 years 39 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
SC3 Tech Jam in Portland: Call for Action Clusters |
We have a major call for action clusters at the 2018 GCTC-SC3 Tech Jam, which will be held in Portland, Oregon, June 20-22, 2018.
Submission process: See the participation guide at https://pages.nist.gov/GCTC/about/participation-guide/
Submissions due date: April 24, 2018 (Note: This due date is f...more |
Apr 4 2018 - 2:40pm |
6 years 42 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Participation: ETAPS 2018 |
CALL FOR PARTICIPATION
21st European Joint Conferences on Theory And Practice of Software (ETAPS 2018)
Thessaloniki, Greece | 14-20 April 2018 | http://www.etaps.org/index.php/2018
ABOUT ETAPS
ETAPS is the primary European forum for academic and industrial researchers working on topics rela...more |
Apr 3 2018 - 2:18pm |
6 years 42 weeks ago |
|
Calls for Papers |
Deadline Extended: IEEE VTC2018-Fall: Call for Papers |
CALL FOR PAPERS: Deadline Extended to April 10, 2018
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 April 10, 2018
Notificatio...more |
Apr 3 2018 - 2:15pm |
6 years 42 weeks ago |
|
Position Announcements |
Postdoc in heterogeneous computing for deep learning at MDH/Sweden |
Position description:
Malardalen University is looking for a postdoc in the field of heterogeneous computing for deep learning in automation and robotics. The position will be within the research project "DeepMaker - Deep Learning Accelerator on Commercial Programmable Devices". DeepMaker aims to p...more |
Apr 3 2018 - 2:13pm |
6 years 42 weeks ago |
|
Calls for Papers |
Extended Deadline: 21st Euromicro Conference on Digital System Design (DSD 2018) |
CALL FOR PAPERS: Extended Deadline: April 15th
21st Euromicro Conference on Digital System Design (DSD 2018)
Prague, Czech Republic | Aug. 29th - Aug. 31st, 2018 | http://dsd-seaa2018.fit.cvut.cz/dsd/
Scope
The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embe...more |
Apr 3 2018 - 2:11pm |
6 years 42 weeks ago |
|
Calls for Papers |
Deadline Extended: ACM SIGDA Ph.D. Forum 2018 |
Deadline Extended: April 5, 2018
ACM SIGDA Ph.D. Forum
San Francisco, CA, June 2018
The Ph.D. Forum at the Design Automation Conference is a poster session hosted by ACM SIGDA for Ph.D. students to present and discuss their dissertation research with people in the EDA community. It has become...more |
Apr 3 2018 - 2:03pm |
6 years 42 weeks ago |
|
Calls for Papers |
CfP: The 13th International Conference on Networking, Architecture, and Storage (NAS18) |
CALL FOR PAPERS
The 13th International Conference on Networking, Architecture, and Storage (NAS18)
October, 11-14, 2018 | Chongqing China | http://www.nas-conference.org/NAS-2018/
Sponsored by IEEE
NAS provides a high-quality international forum to bring together researchers and practitioners f...more |
Apr 3 2018 - 2:00pm |
6 years 42 weeks ago |
|
Position Announcements |
Postdoctoral and Ph.D. positions on Detecting and Removing Security Vulnerabilities in Software, at Uppsala University |
Uppsala University hereby declares the following positions open for application
1 Post-Doctoral Position
3 PhD positions
on
Techniques for Detecting and Removing Security Vulnerabilities in Software
Subject area and Duties:
The topic for the positions is to develop techniques for detecting a...more |
Apr 3 2018 - 1:48pm |
6 years 42 weeks ago |
|
Calls for Papers |
CfP: 16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '18) |
CALL FOR PAPERS
16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '18)
Beijing, China | October 15-18, 2-18 | http://memocode.irisa.fr/2018
MEMOCODE is a leading conference that brings together researchers and practitioners interested in formal method...more |
Apr 3 2018 - 1:07pm |
6 years 42 weeks ago |
|
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 - 1:00pm |
6 years 42 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 - 12:53pm |
6 years 42 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 - 12:51pm |
6 years 42 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 - 12:30pm |
6 years 42 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 - 12:19pm |
6 years 42 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 - 12:16pm |
6 years 42 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 - 12:10pm |
6 years 42 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 - 12:07pm |
6 years 42 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 - 4:05pm |
6 years 43 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 - 4:02pm |
6 years 44 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 - 10:20am |
6 years 44 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 - 10:18am |
6 years 44 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 - 3:02pm |
6 years 45 weeks ago |
