Calls for Papers |
Extended Deadlines - 5th IEEE Intl Conference on Smart Computing (SMARTCOMP-19), Washington D.C. |
CALL FOR PAPERS - Extended Deadlines
5th IEEE International Conference on Smart Computing (SMARTCOMP)
Washington DC, USA | June 12-15, 2019 | http://www.smart-comp.org/
Important Dates
Workshop Proposal Submission: 23 November 2018
Notification of Workshop Acceptance: 15 December 2018
Paper...more |
Jan 18 2019 - 4:00pm |
5 years 46 weeks ago |
Calls for Papers |
CfP: IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2019) |
CALL FOR PAPERS
IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2019)
May 6-9, 2019 | Taipei, Taiwan | http://icps19.org/
The aim of the IEEE International Conference on Industrial Cyber-Physical Systems and IEEE International Conference on Multisensor Fusion and Integrat...more |
Jan 17 2019 - 2:52pm |
5 years 46 weeks ago |
Calls for Papers |
CfP: 26th Reconfigurable Architectures Workshop (RAW 2019) |
CALL FOR PAPERS
26th Reconfigurable Architectures Workshop (RAW 2019)
May 20-21 2019 | Rio de Janeiro, Brazil | raw.necst.it
The 26th Reconfigurable Architectures Workshop (RAW 2019) will be held in Rio the Janeiro, Brazil in May 2019. RAW 2019 is associated with the 33rd Annual IEEE Internationa...more |
Jan 17 2019 - 2:36pm |
5 years 46 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Extended Deadline: ACM/IEEE DESTION 2019 CALL FOR PAPERS AND DEMOS |
Extended Deadline: January 25, AOE, 2019
ACM/IEEE DESTION 2019 CALL FOR PAPERS & DEMOS
Design Automation for CPS and IoT (DESTION 2019)
April 15, 2019 | Montreal, Canada | https://cps-vo.org/group/DESTION19
part of CPS-IoT Week 2019
Overview:
Cyber-Physical Systems (CPS) and Internet-of-T...more |
Jan 17 2019 - 1:34pm |
5 years 46 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
VerifyThis Verification Competition @ ETAPS 2019 |
ACCOUNCEMENT AND CALL FOR PROBLEMS
VerifyThis Verification Competition 2019
to be held at ETAPS 2019
Get involved, even if you cannot participate in the competition: provide a challenge!
ABOUT THE COMPETITION
VerifyThis 2019 will take place as part of the European Joint Conferences on Theory an...more |
Jan 17 2019 - 12:17pm |
5 years 46 weeks ago |
Position Announcements |
Chair in Systems Engineering of Autonomous Vehicles |
The Department of Systems and Computer Engineering and the Department of Mechanical and Aerospace Engineering at Carleton University (Ottawa, Canada) invite applications from qualified candidates for a Canada Research Chair (CRC) Tier 2 appointment in the field of Systems Engineering of Autonomous V...more |
Jan 17 2019 - 11:06am |
5 years 46 weeks ago |
Calls for Papers |
CfP: 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019) |
CALL FOR PAPERS
17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)
October 28-31, 2019 | Taipei, Taiwan | http://atva2019.iis.sinica.edu.tw/
ATVA 2019 is the 17th in a series of symposia dedicated to the promotion of research on theoretical and practica...more |
Jan 17 2019 - 11:00am |
5 years 46 weeks ago |
Calls for Papers |
CfP: 2nd IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2019) |
CALL FOR PAPERS
The 2nd IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2019)
Taipei, Taiwan | May 6-9, 2019 | http://www.icps19.org
IEEE ICPS 2019 is a premier conference series presenting the state of the art and future perspectives of Industrial Cyber-Physical Systems....more |
Jan 17 2019 - 10:42am |
5 years 46 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CPS&IoT’2019 Summer School on Cyber-Physical Systems and Internet-of-Things |
CALL FOR PARTICIPATION
CPS&IoT'2019 Summer School on Cyber-Physical Systems and Internet-of-Things
Budva, Montenegro | June 10-14, 2019 | http://embeddedcomputing.me/en/cps-iot
in collaboration with Euromicro, IEEE and MANT
collocated with ECYPS 2019 - 7th EUROMICRO/IEEE Workshop on Embedde...more |
Jan 16 2019 - 1:30pm |
5 years 46 weeks ago |
Calls for Papers |
CfP: 7th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS 2019) |
CALL FOR PAPERS
7th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS 2019)
June 10-14, 2019 | Budva, Montenegro | http://embeddedcomputing.me
held in the scope of MECO'2019 - the 8th Mediterranean Conference on Embedded Computing
Cyber-physical systems (CPS) are smart compou...more |
Jan 16 2019 - 1:12pm |
5 years 46 weeks ago |
General Announcements |
GCTC-SC3 Expo - Announcing Expo Speaking and Exhibit opportunities and Federal Smart City Guide |
Dear SC3 community,
Winter is coming fast in Washington DC, but the National Institute of Standards and Technology (NIST) and the U.S. Department of Homeland Security Science and Technology Directorate (DHS S&T) are working hard to prepare for the upcoming Global City Teams Challenge Smart a...more |
Jan 16 2019 - 12:41pm |
5 years 46 weeks ago |
Calls for Papers |
4th Int'l Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST@ETAPS) |
CFP: 4th Int'l Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST@ETAPS)
Topic
Today's IT systems, and the interactions between them, become increasingly complex. Power grid blackouts, airplane crashes, failures of medical devices and...more |
Dec 20 2018 - 5:35am |
5 years 50 weeks ago |
Position Announcements |
UVA Tenured/Tenure Track Open Rank Cyber-Physical Systems |
The School of Engineering and Applied Science at the University of Virginia seeks innovative and collaborative applicants to join its world class center of research excellence in Cyber-Physical Systems (CPS). Qualified faculty will join the Link Lab (http://linklab.virginia.edu/), where over 30 facu...more |
Dec 19 2018 - 5:34pm |
5 years 50 weeks ago |
Calls for Papers |
CfP: 19th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2019) |
CALL FOR PAPERS
19th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2019)
Aachen, Germany | June 23-28, 2019 | http://www.petrinets2019.de/acsd-2019/
co-located with the 40th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Ne...more |
Dec 18 2018 - 3:12pm |
5 years 50 weeks ago |
Calls for Papers |
CfP: ANT-2019 Workshop on Activity Recognition in Smart Environements (ARISE) |
CALL FOR PAPERS
ANT-2019 Workshop on Activity Recognition in Smart Environments (ARISE)
April 29 - May 2, 2019 | Leuven, Belgium | http://www.uqac.ca/liara/ant19-workshop-arise.htm
in conjunction with the The 10th International Conference on Ambient Systems, Networks and Technologies
Importants...more |
Dec 18 2018 - 1:13pm |
5 years 50 weeks ago |
Calls for Papers |
CfP: 3rd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) |
CALL FOR PAPERS
3rd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS)
April 22, 2019 | Xi'an - China | http://www.mrtc.mdh.se/ITEQS/2019/
Co-located with the 12th IEEE International Conference on Software Testing, Verification an...more |
Dec 18 2018 - 12:52pm |
5 years 50 weeks ago |
Position Announcements |
Post-doc Offer : Constraint Programming and Symmetric Cryptography |
1 year Post-doc Position on Constraint Programming for Cryptanalysis of Symmetric Encryption Schemes in LIMOS, Clermont-Ferrand, France
Your Profile:
A PhD in Computer Science, Applied Mathematics, Cryptography or related field.
Competitive research record in symmetric cryptography or in constr...more |
Dec 18 2018 - 12:43pm |
5 years 50 weeks ago |
Calls for Papers |
CfP: Bx 2019: 8th International Workshop on Bidirectional Transformations (Deadline: Feb. 19) |
CALL FOR PAPERS (Deadline: Feb. 19)
Bx 2019: 8th International Workshop on Bidirectional Transformations (Bx 2019)
Philadelphia, PA, USA | http://bx-community.wikidot.com/bx2019:home
exact date TBD (some day during 3-7 June 2019)
part of Philadelphia Logic Week (PLW) 2019
Bidirectional transfor...more |
Dec 18 2018 - 12:32pm |
5 years 50 weeks ago |
Calls for Papers |
CfP: SI on Intelligent Embedded Systems Architectures and Applications |
CALL FOR PAPERS
Special Issue on Intelligent Embedded Systems Architectures and Applications (Elsevier Microprocessors and Microsystems)
https://www.journals.elsevier.com/microprocessors-and-microsystems/call-for-papers/special-issue-on-intelligent-embedded-systems-architectures
The purpose of th...more |
Dec 18 2018 - 12:26pm |
5 years 50 weeks ago |
Position Announcements |
Faculty position on CPS security and resilience at UGA |
Security and Resilience for Internet of Things/Cyber-Physical Systems
The College of Engineering at the University of Georgia is seeking applications for a tenure-track faculty position at the rank of assistant professor, associate professor, or professor with expertise in the area of security and...more |
Dec 18 2018 - 12:07pm |
5 years 50 weeks ago |
Position Announcements |
Open Rank Faculty position in socio-technical cybersecurity at the University of Maryland College of Information Studies |
University of Maryland College of Information Studies
Open Rank Tenure / Tenure-Track Faculty (Assistant Professor, Associate Professor, or Professor)
Best Consideration Date: 1/4/2019
To Apply: https://ejobs.umd.edu/postings/65528
A socio-technical approach to cybersecurity recognizes that t...more |
Dec 10 2018 - 12:38pm |
5 years 51 weeks ago |
Position Announcements |
Precision Medicine Faculty position at the University of California Santa Cruz (Medical CPS) |
The Department of Electrical and Computer Engineering at the University of California, Santa Cruz invites applications for a tenure track (Assistant Professor) in Precision Medicine. We seek outstanding applicants who have demonstrated research and teaching expertise in one or more areas related to...more |
Dec 8 2018 - 7:26pm |
5 years 45 weeks ago |
Calls for Papers |
CfP: DESTION 2019 |
CALL FOR PAPERS
The 1st Workshop on Design Automation for CPS (ACM/IEEE DESTION 2019)
April 15, 2019 | Montreal, Canada | https://cps-vo.org/group/DESTION19
part of CPS-IoT Week 2019
Overview:
Cyber-Physical Systems (CPS) such as autonomous vehicles, industrial robots, and medical devices, pr...more |
Dec 7 2018 - 4:45pm |
5 years 52 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 27 weeks ago |
Calls for Papers |
CFP: SCOPE 2019 with GCTC - Co-located with CPSWeek 2019 |
4th International Science of Smart City Operations and Platforms Engineering
SCOPE 2019 with GCTC
Co-located with CPSWeek 2019 in Montreal, Canada
Theme: Trustworthy Analytics and Privacy and Smart City Applications
Smart cities have emerged as a priority for Cyber-Physical Systems (CPS...more |
Nov 29 2018 - 5:41pm |
5 years 13 weeks ago |
Calls for Papers |
Call for papers: Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, CPSWeek, Montreal, 2019 |
" src="blob:https://cps-vo.org/3786d3db-06b2-4dfc-87be-56a5e8362f7e" style="opacity:1">
Call for Papers
MSCPES 2019
Montreal, CANADA
April 15th, 2019.
Apologies if you receive multiple copies of this CFP.
The workshop series on Modeling and Simulation of Cyber-Physical Energy Sy...more |
Nov 27 2018 - 3:29pm |
6 years 1 week ago |
Position Announcements |
Post-doc position on human-system partnership (TUDelft) |
Faculty Industrial Design Engineering
The faculty of Industrial Design Engineering at the Delft University of Technology, the Netherlands, is the largest and broadest scientific design institute in the world, with over 2,000 students, more than 6,000 alumni and 300 staff (researchers and lecturers,...more |
Nov 21 2018 - 10:52am |
6 years 2 weeks ago |
Position Announcements |
CPS Faculty Position at the University of Texas at Arlington |
Faculty Positions
Assistant/Associate Professor
The Computer Science and Engineering Department
at The University of Texas at Arlington
The Computer Science and Engineering Department at The University of Texas at Arlington invites applications for one tenure/tenure-track assistant/associate pro...more |
Nov 20 2018 - 12:12pm |
6 years 2 weeks ago |
Calls for Workshops & Tutorials |
Call for workshop proposals - SMARTCOMP 2019 |
CALL FOR WORKSHOP PROPOSALS
IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP 2019)
Washington D.C., (US) | 12-15 June 2019 | http://www.smart-comp.org
Continuing the well-established tradition of this series of symposia, SMARTCOMP 2019 will provide an international technical forum for...more |
Nov 9 2018 - 7:18pm |
6 years 3 weeks ago |
Position Announcements |
Faculty position in power and energy CPS at Iowa State University |
The Department of Electrical and Computer Engineering at Iowa State University invites applications for a tenure- track or tenured faculty position in the area of power and energy systems engineering at the Assistant, Associate, or Full Professor ranks to begin in Fall 2019. Complete details about t...more |
Nov 4 2018 - 12:33am |
6 years 4 weeks ago |
Calls for Papers |
Call for Papers -- ISORC 2019 |
*** IEEE ISORC 2019 - CALL FOR PAPERS - https://isorc2019.github.io/
*** The 22nd IEEE International Symposium on Real-Time Distributed Computing
*** Valencia, Spain, May 7-9, 2019
ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/comp...more |
Oct 23 2018 - 12:05pm |
6 years 6 weeks ago |
Calls for Papers |
CfP: The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40) |
The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40)
Leuven, Belgium | April 29 - May 2, 2019 | http://cs-conferences.acadiau.ca/EDI40-19/
Important Dates
Workshops Proposals Due: October 30, 2018
Paper Submission Due: December 6, 2018
Acceptance Notificati...more |
Oct 8 2018 - 9:45am |
6 years 8 weeks ago |
Calls for Papers |
ACM HSCC 2019 Final Call for Papers - Deadline Oct. 17 |
22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
Part of CPS-IoT Week 2019
April 16-18, 2019 | Montreal, Canada | http://hscc2019.eecs.umich.edu/
Scope
Hybrid Systems: Computation and Control (HSCC) 2019 is the 22nd in a series of conferences focusing on origin...more |
Oct 8 2018 - 9:40am |
6 years 8 weeks ago |
Calls for Papers |
CfP: OpenModelica/MODPROD Workshops Febr 2019 |
CALL FOR PAPERS
OpenModelica/MODPROD Workshops Febr 2019
In cooperation with IEEE Computer Society Swedish Chapter and INCOSE Sweden
Location: Linkoping University, Linkoping, Sweden
13th MODPROD Workshop on Model-Based Cyber-Physical Product Development, February 5-6, 2019
11th OpenM...more |
Oct 8 2018 - 9:28am |
6 years 8 weeks ago |
Calls for Workshops & Tutorials |
Call for Workshops Proposals in conjonction with ANT-19 |
CALL FOR WORKSHOP PROPOSALS
The 9th International Conference on Ambient Systems, Networks and Technologies (ANT-2019)
Leuven, Belgium | April 29- May 2, 2019 | http://cs-conferences.acadiau.ca/ant-19/#workshop
Important Dates
Workshop Proposal Due: October 30, 2018
Paper Submission: ~ Decembe...more |
Oct 8 2018 - 9:21am |
6 years 8 weeks ago |
Calls for Papers |
CfP: The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019) |
CALL FOR PAPERS
The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019)
18-21 June, 2019 | Valencia, Spain | https://eics.acm.org/2019/
EICS 2019 is the eleventh international conference devoted to engineering usable and effective interactive computing systems. Work...more |
Oct 3 2018 - 3:59pm |
6 years 9 weeks ago |
Position Announcements |
Research scientist (including tenured-track) positions available at CISTER-Labs |
We have at CISTER Labs a number of research scientist positions available, including a tenured-track position. All positions are in the areas of real-time & embedded computing systems, cyber-physical systems, internet of things, etc.
Deadlines for applications are already early October, and det...more |
Oct 3 2018 - 3:05pm |
6 years 9 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
2018 ACM SIGAI Student Essay Contest on Artificial Intelligence Technologies |
Win one of several $500 monetary prizes or a Skype conversation with a leading AI researcher, including Joanna Bryson, Murray Campbell, Eric Horvitz, Peter Norvig, Iyad Rahwan, Francesca Rossi, or Toby Walsh.
The ACM Special Interest Group on Artificial Intelligence (ACM SIGAI) supports the develop...more |
Oct 3 2018 - 3:04pm |
6 years 9 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
SYNCHRON 2018 Open Workshop, 26-30 Nov. Fréjus : Registrations are open |
Registrations are open !
SYNCHRON 2018
https://project.inria.fr/synchron2018/ | Villa Clythia, Frejus, FRANCE | November 26th to 30th, 2018
The 25th International Open Workshop on Synchronous Programming and related technologies will be held this year in France, in the "Villa Clythia" CNRS resort...more |
Oct 3 2018 - 3:02pm |
6 years 9 weeks ago |
Position Announcements |
Software Engineer Position: Embedded Operating System Development |
Title Integrating Sytare persistence support in the RIOT operating system
Keywords Embedded Software, Microcontroller, Energy Harvesting, Checkpointing
Location CITI laboratory, INSA Lyon, France
Funding 2-year INRIA contract (starting ASAP) with a gross salary of 2500EU per month.
Deadline to a...more |
Oct 3 2018 - 2:54pm |
6 years 9 weeks ago |
Position Announcements |
NSF Graduate Research Fellowship Program |
Dear CISE Community,
The National Science Foundation (NSF) Graduate Research Fellowship Program (GRFP) is an important but, from our experience, an often overlooked funding opportunity for the Computer and Information Science and Engineering (CISE) community. The program recognizes and supports...more |
Oct 3 2018 - 2:51pm |
6 years 9 weeks ago |
Calls for Papers |
CfP (IMPENDING DEADLINE): SPECIAL SESSION ON Energy Efficient Cyber Physical Systems@ICM2018 |
CALL FOR SPECIAL SESSION PAPERS
The 30th International Conference on Microelectronics (ICM 2018)
SPECIAL SESSION ON Energy Efficient Cyber Physical Systems
Important Dates:
Research Paper Submission: October 10, 2018
Notification of Acceptance: October 30, 2018
Camera Ready Submission...more |
Oct 3 2018 - 2:48pm |
6 years 9 weeks ago |
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Participation: VECoS 2018 |
Call for Participation
12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018)
Grenoble, France | September 26-28, 2018 | https://vecos.ensta-paristech.fr/2018/
VECoS is focused on formal approaches, methods and techniques for the verificati...more |
Oct 3 2018 - 2:08pm |
6 years 9 weeks ago |
Calls for Papers |
CfP: 22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019) |
JOINT CALL FOR PAPERS
22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019)
Prague, Czech Republic | 6-11 April 2019 | http://www.etaps.org/2019
ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ET...more |
Oct 3 2018 - 2:00pm |
6 years 9 weeks ago |
Calls for Papers |
CfP: IEEE ICPS 2019 & IEEE MFI 2019 |
CALL FOR PAPERS
IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2019)
IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2019)
May 6-9, 2018 | Howard Plaza Hotel Taipei, Taiwan | http://icps19.org/
Important dates:
Special...more |
Oct 3 2018 - 1:50pm |
6 years 9 weeks ago |
Calls for Papers |
CfP: Reliability, safety and security of railway systems (RSSRail 2019) |
CALL FOR PAPERS
International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification (RSSRail 2019)
June 4-6, 2019 | Lille, France | https://conferences.ncl.ac.uk/rssrail2019/
The important dates:
January 5, 2019 - abstract submis...more |
Oct 3 2018 - 1:24pm |
6 years 9 weeks ago |
Calls for Papers |
CfP: 11th Annual NASA Formal Methods Symposium (NFM 2019) |
CALL FOR PAPERS
11th Annual NASA Formal Methods Symposium (NFM 2019)
Challenges for Future Exploration
7 - 9 May 2019 | Rice University, Houston, Texas, USA | https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html
Important Dates:
Abstract Submission: 7 Dec 2018
Paper Submission: 14 Dec 201...more |
Oct 3 2018 - 12:46pm |
6 years 9 weeks ago |
Position Announcements |
Assistant/Associate Professor Positions in the Electronic Systems group at TU Eindhoven |
The Electronic Systems group at TU Eindhoven has two positions available for qualified candidates with a research profile in nano-electronic circuit design/VLSI and efficient machine learning/deep learning systems.
Tenure-track Assistant Professor, Nano-Electronic Digital Circuits and Systems (V36...more |
Oct 3 2018 - 12:37pm |
6 years 9 weeks ago |
Position Announcements |
Call for Applications: Helmut Veith Stipend for Female Master´s Students in Computer Science |
Female students in the field of computer science (CS) who plan to pursue (or are currently pursuing) one of the master's programs in Computer Science at the Vienna University of Technology - TU Wien taught in English are invited to apply for the annually awarded Helmut Veith Stipend. The computer sc...more |
Oct 3 2018 - 12:20pm |
6 years 9 weeks ago |
Calls for Papers |
CfP: 10th International Conference on Ambient Systems, Networks and Technologies (ANT-2019) |
10th International Conference on Ambient Systems, Networks and Technologies (ANT-2019)
Leuven, Belgium | April 29 - May 2, 2019 | http://cs-conferences.acadiau.ca/ant-19/
Important Dates
Workshops Proposals Due: October 30, 2018
Paper Submission Due: December 6, 2018
Acceptanc...more |
Oct 3 2018 - 12:19pm |
6 years 9 weeks ago |