|
Calls for Papers |
Call for Papers: Embedded Systems Letters Special Issue on Real-Time Technologies in CPS |
Call for Papers: Submission Deadline: 30th January, 2018
IEEE Embedded Systems Letters: Special Issue on Real-Time Technologies in CPS
Introduction
This special issue of Embedded Systems Letters will focus on research themes in real-time and Cyber-Physical Systems (CPS)
related to the conclude...more |
Jan 4 2018 - 12:59pm |
7 years 2 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Registration Open: OpenModelica/MODPROD Workshops Febr 2018 |
12th MODPROD Workshop on Model-Based Product Development, February 6-7, 2018
10th OpenModelica Annual Workshop, February 5, 2018
Early registration until January 28: www.modprod.se
NOTE: Higher registration fee after January 28, 2017.
The preliminary program is available at www.modprod.se
Te...more |
Jan 4 2018 - 12:54pm |
7 years 2 weeks ago |
|
Calls for Papers |
CfP: Second Workshop on Adaptive Technology (WAT 2018) - DEADLINE EXTENDED |
-- FINAL DEADLINE EXTENDED TO JANUARY 7, 2018 --
Second Workshop on Adaptive Technology (WAT 2018)
May 9-11, 2017 | Porto, Portugal | http://www.lta.poli.usp.br/lta/wat/wat-2018
The Second Workshop on Adaptive Technology (WAT 2018) is a development of a 10+ years national event held at University...more |
Jan 4 2018 - 12:46pm |
7 years 2 weeks ago |
|
General Announcements |
New Course on Modeling and Simulation of Cyber-Physical Systems |
New Course on Modeling and Simulation of Cyber-Physical Systems
Cyber-physical systems (CPS for short) combine digital and analog devices, interfaces, networks, computer systems, and the like, with the natural and man-made physical world. The inherent interconnected and heterogeneous combination of...more |
Dec 24 2017 - 5:11pm |
7 years 4 weeks ago |
|
Calls for Papers |
CALL FOR PAPERS - 2nd IFAC Conference on Cyber-Physical & Human Systems |
CALL FOR PAPERS | The 2nd IFAC Conference on Cyber-Physical & Human Systems
December 14-15, 2018, Miami, USA
Submission Deadline: April 15, 2018
Acceptance notification: September 1, 2018
Final Submission Deadline: October 1, 2018
Steady advances in controls, communications, and computin...more |
Dec 21 2017 - 2:35pm |
6 years 16 weeks ago |
|
Position Announcements |
Trustworthy IoT and Cyber-physical Systems Positions_#12213 |
The Ira A. Fulton Schools of Engineering at Arizona State University (ASU), the School of Computing, Informatics, and Decision Systems Engineering (CIDSE) and the School of Engineering and Electrical, Computer and Energy Engineering (ECEE) seeks applicants for tenure-track/tenured faculty positions...more |
Dec 20 2017 - 1:06pm |
7 years 4 weeks ago |
|
Calls for Papers |
CfP: 11th International Conference on Model Transformation (ICMT 2018) |
CALL FOR PAPERS
11th International Conference on Model Transformation (ICMT 2018)
June 25-28, 2018 | Toulouse (France) | https://twitter.com/icmtconf
IMPORTANT DATES
Abstract submission: February 23, 2018
Paper submission: March 2, 2018
Notification of acceptance: April 9, 2018 Camera-ready...more |
Dec 14 2017 - 11:07am |
7 years 5 weeks ago |
|
Position Announcements |
Post Doctoral Researcher in Resilient and Secure Cyber-Physical Systems |
The Institute for Software Integrated Systems (ISIS) in the School of Engineering at Vanderbilt University invites applications for Post Doctoral Researcher positions in the area of Cyber Physical Systems (CPS) with emphasis on security and resilience. CPS is one of the strategic research areas at I...more |
Dec 13 2017 - 2:44pm |
7 years 5 weeks ago |
|
Calls for Papers |
CfP: 13th Workshop on Parallel Systems and Algorithms (PASA 2018) |
CALL FOR PAPERS - Submission Deadline: 12 January 2018
13th Workshop on Parallel Systems and Algorithms (PASA 2018)
Braunschweig, Germany | 9-10 April 2018 | https://www.cs12.tf.fau.de/conf/pasa2018/
in conjunction with ARCS 2018 - 31st International Conference on Architecture of Computing Sys...more |
Dec 13 2017 - 10:46am |
7 years 5 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
USDOT & ITS America to host webinar on ATTRI Project |
Greetings,
We wanted to inform you of a webinar which will be taking place next week on the USDOT Accessible Transportation Technologies Research Initiative (ATTRI). This webinar will provide updates from TRX Systems and the City College of New York about their wayfinding and navigation projects...more |
Dec 13 2017 - 10:33am |
7 years 5 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CES in Vegas, NSF and PSCR funding, DGSC webinar and Feb kickoff |
Dear Global City Teams Challenge (GCTC) community,
First, don't forget to register for upcoming 2018 Kickoff conference in Feb https://pages.nist.gov/GCTC/event/gctc-kickoff-2018/ - more details at the end of this email, including limited travel support for city/community officials.
We have...more |
Dec 13 2017 - 10:07am |
7 years 5 weeks ago |
|
Calls for Papers |
CfP: SCOPE 2018 with GCTC |
Third International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE)
in partnership with Global City Teams Challenge (GCTC)
April 10, 2018, Porto, Portugal (Co-located with CPS Week)
Smart cities are emerging as a priority for Cyber-Physical Systems (CPS) research...more |
Dec 12 2017 - 3:02pm |
6 years 39 weeks ago |
|
Calls for Papers |
CfP: 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018) |
CALL FOR PAPERS
21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018)
May 28 - 30, 2018 | Schloss Rheinfels | St. Goar, Germany | http://www.scopesconf.org
A next edition of the workshop on Software and Compilers for Embedded Systems (SCOPES) will be organized...more |
Dec 8 2017 - 10:27am |
7 years 6 weeks ago |
|
Calls for Papers |
CfP: 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2018) |
CALL FOR PAPERS
3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2018)
April 21, 2018 | Thessaloniki, Greece | https://www.react.uni-saarland.de/crest2018/
A satellite event of ETAPS 2018
Today's IT systems, and the interaction...more |
Dec 8 2017 - 10:16am |
7 years 6 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
CSEdWeek |
Dear CISE Colleagues,
This year's CSEdWeek is underway--with students, parents, teachers, school officials, and out-of-school providers focused on showing kids--all kids--that computing can be creative, fun, and empowering. And thanks to so many of you, computer science (CS) education is becoming m...more |
Dec 8 2017 - 10:06am |
7 years 6 weeks ago |
|
Calls for Papers |
CfP: 22nd International Symposium on Formal Methods (FM 2018) |
CALL FOR PAPERS
22nd International Symposium on Formal Methods (FM 2018)
Oxford, UK | July 15-17, 2018 | http://www.fm2018.org/
Important Dates:
Abstract registration deadline January 8, 2018
Submission deadline January 22, 2018
Notification April...more |
Dec 8 2017 - 10:03am |
7 years 6 weeks ago |
|
Calls for Papers |
CFP: JETCAS special issue on energy-quality scalable circuits and systems for sensing and computing |
CALL for PAPERS
Energy-Quality Scalable Circuits and Systems for Sensing and Computing: from Approximate, to Communication-Inspired and Learning-Based
Guest Editors
Massimo Alioto*, National University of Singapore, malioto@ieee.org
Vivek De, Intel Labs, vivek.de@intel.com
Andrea Marongiu, ET...more |
Dec 8 2017 - 9:50am |
7 years 6 weeks ago |
|
Calls for Papers |
CfP: IEEE Computer Special Issue on Resiliency in CPS |
CALL FOR PAPERS
IEEE Computer Special Issue on Resiliency in CPS
Important dates:
Abstract submission (by e-mail to co-1018@computer.org): 1 February 2018
Full paper submission: 1 March 2018
Expected publication date: October 2018
Guest editors:
Oleg Sokolsky, University of Pennsylvania...more |
Dec 8 2017 - 9:46am |
7 years 6 weeks ago |
|
General Announcements |
GCTC-SC3 2018 - Data Governance SuperCluster webinar, Urban-X funding opportunity for startups, News from Virginia |
We have a few exciting updates and opportunities in addition to the Kickoff conference in Feb (https://pages.nist.gov/GCTC/event/gctc-kickoff-2018/ - more details at the end of the email).
Data Governance & Exchange SuperCluster (DGSC) will host a webinar on December 14, 2017 (Thursday) at 12-1...more |
Dec 8 2017 - 9:27am |
7 years 6 weeks ago |
|
Calls for Papers |
CfP: IEEE Transactions on Industrial Informatics Special Section Call for Papers: Resilience in Energy Industries |
IEEE Transactions on Industrial Informatics Special Section Call for Papers: Resilience in Energy Industries - Recent Advances, Open Challenges, and Future Directions
Resilience is the capacity of critical infrastructure systems to proactively maintain a safe level of operational normalcy in respon...more |
Dec 8 2017 - 9:25am |
7 years 6 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call For Participation: BigDat 2018 |
4th INTERNATIONAL WINTER SCHOOL ON BIG DATA (BigDat 2018)
Timisoara, Romania | January 22-26, 2018 | http://grammars.grlmc.com/BigDat2018/
Organized by:
West University of Timisoara
Rovira i Virgili University
SCOPE:
BigDat 2018 will be a research training event with a global scope ai...more |
Dec 8 2017 - 9:21am |
7 years 6 weeks ago |
|
Position Announcements |
Post-doctoral position opening at the Army Research Laboratory for Experimental Guidance, Navigation, and Control Integration En |
Position: Experimental Guidance, Navigation, and Control Integration Engineer BS/MS in electrical, mechanical, aerospace engineering or other appropriate discipline or related Associates degree in with 3+ years' experience or equivalent significant flight testing and integration experience of 5+ yea...more |
Dec 7 2017 - 9:44am |
7 years 6 weeks ago |
|
Position Announcements |
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 techniques to support scalable verification of hybrid systems. Candidates working on ad...more |
Dec 3 2017 - 5:53pm |
7 years 7 weeks ago |
|
Position Announcements |
University of Virginia - Tenured/Tenure-Track Faculty Positions in 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 20 facu...more |
Nov 30 2017 - 7:05pm |
7 years 7 weeks ago |
|
Calls for Papers |
CfP - Security & Privacy in Automotive & Aerospace CPS - Springer Journal of Hardware & Systems Security |
CALL FOR PAPERS
Springer Journal of Hardware and Systems Security
Special Issue on Security & Privacy in Automotive and Aerospace Cyber-Physical Systems
Submission Link: https://www.editorialmanager.com/hass/default.aspx
Deadline: December 31, 2017.
AIMS and SCOPE:
Modern cars and aero...more |
Nov 29 2017 - 11:56pm |
7 years 7 weeks ago |
|
Position Announcements |
Faculty Positions - MIT |
Faculty Positions in Mechanical Engineering (also in AERO and CEE, see below)
The Massachusetts Institute of Technology (MIT) Department of Mechanical Engineering seeks candidates for faculty positions starting July 2018 or on a mutually agreed date thereafter. Appointments will be at the assista...more |
Nov 29 2017 - 4:13pm |
7 years 7 weeks ago |
|
Position Announcements |
Faculty Positions in Mechanical Engineering, Aero, and CEE (Massachusetts Institute of Technology) |
The Massachusetts Institute of Technology (MIT) Department of Mechanical Engineering seeks candidates for faculty positions starting July 2018 or on a mutually agreed date thereafter. Appointments will be at the assistant or untenured associate professor level. In special cases, a senior faculty app...more |
Nov 29 2017 - 4:11pm |
7 years 7 weeks ago |
|
Calls for Papers |
CfP: IEEE Transactions on Industrial Informatics Special Section on Resilience in Energy Industries |
CALL FOR PAPERS
IEEE Transactions on Industrial Informatics
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 norma...more |
Nov 29 2017 - 3:36pm |
7 years 7 weeks ago |
|
Position Announcements |
Faculty Positions in Aerospace Engineering Sciences at the University of Colorado Boulder - Open Rank |
The Ann and H.J. Smead Department of Aerospace Engineering Sciences in the College of Engineering and Applied Science at the University of Colorado Boulder invites applications for two tenure-track/tenured faculty position in all areas of aerospace engineering sciences.
The Department's vision o...more |
Nov 29 2017 - 2:52pm |
7 years 7 weeks ago |
|
Calls for Papers |
Call for Papers: First Workshop on Formal Methods for ML-Enabled Autonomous Systems (FOMLAS 2018) |
First Workshop on
Formal Methods for ML-Enabled Autonomous Systems
(FOMLAS 2018)
April 21, 2018
Affiliated With ETAPS 2018
Thessaloniki, Greece
https://fomlas2018.fortiss.org/en/
AIM:
After the well-known DARPA Urban challenge, there have been significant improvements t...more |
Nov 29 2017 - 11:48am |
7 years 7 weeks ago |
|
Position Announcements |
PolytechnicPositions - Faculty Positions in Polytechnic Universities |
Research Associate - Level A or Level B in Water Research Centre
University of New South Wales
Australia
http://www.polytechnicpositions.com/announcement,a351.html
In your application, please refer to Polytechnicpositions.com
PhD Scholarships in Stem Cell Biology
University of Queensland
Au...more |
Nov 29 2017 - 11:14am |
7 years 7 weeks ago |
|
Calls for Papers |
CfP: The 29th International Conference on Concurrency Theory (CONCUR 2018) |
CALL FOR PAPERS
The 29th International Conference on Concurrency Theory (CONCUR 2018)
Beijing, China | September 4-7, 2018 | http://lcs.ios.ac.cn/concur2018/
The purpose of CONCUR 2018, the 29th International Conference on Concurrency Theory, is to bring together researchers, developers, and stud...more |
Nov 21 2017 - 1:25pm |
7 years 9 weeks ago |
|
Position Announcements |
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 techniques to support scalable verification of hybrid systems. Candidates working on ad...more |
Nov 21 2017 - 1:17pm |
7 years 9 weeks ago |
|
Position Announcements |
[CPS] Research Experience for Undergraduates (REU) Summer Site at Nebraska! |
The NIMBUS Lab is proud to announce that beginning in Summer 2018, we will be hosting a 10 week Research Experience for Undergraduates (REU) Summer Site in coordination with the University of Nebraska-Lincoln's Summer Research Programs.
For more information, and to apply, please visit the Summer R...more |
Nov 21 2017 - 12:59pm |
7 years 9 weeks ago |
|
Calls for Papers |
CfP: 23rd Conf. Reliable Software Technologies, Ada-Europe 2018 |
CALL FOR PAPERS
23rd International Conference on Reliable Software Technologies (Ada-Europe 2018)
18-22 June 2018 | Lisbon, Portugal | http://ae2018.di.fc.ul.pt/index.html
Organized by U.Lisboa on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED (pending), SIGPLAN (pending) and the Ad...more |
Nov 21 2017 - 12:56pm |
7 years 9 weeks ago |
|
Calls for Papers |
CfP: 10th International Conference on Formal Ontology in Information Systems (FOIS 2018) |
CALL FOR PAPERS
10th International Conference on Formal Ontology in Information Systems (FOIS 2018)
September 17-21, 2018 | Cape Town, South Africa | http://fois2018.cs.uct.ac.za/
DEFINITION AND SCOPE
-----------------------------------
The advent of complex information systems which rely on...more |
Nov 21 2017 - 12:33pm |
7 years 9 weeks ago |
|
Calls for Papers |
CfP: The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018) |
CALL FOR PAPERS
The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018)
July 13-15, 2018 | Gran Canaria, Spain | http://cs-conferences.acadiau.ca/mobispc-18/
In Conjunction with The 13th International Conference on Future Networks and Communications (FNC 2018)...more |
Nov 21 2017 - 12:23pm |
7 years 9 weeks ago |
|
Calls for Papers |
CfP: Impending Deadline: 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO |
CALL FOR PAPERS
10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO
22th January 2018 | Manchester, UK | http://www.rapido.deib.polimi.it
co-located with HiPEAC Conference
The focus of the RAPIDO workshop is on methods and tools for rapid simulation and perf...more |
Nov 20 2017 - 5:59pm |
7 years 9 weeks ago |
|
Calls for Papers |
CFP: DATE 2018 Workshop on "New Platforms for Future Cars" |
Call for Contributions
Workshop affiliated to DATE 2018 about:
"New Platforms for Future Cars"
Dresden, Germany, March 23, 2018 | https://www.date-conference.com/conference/workshop-w03
Submission deadline: 14 January 2018
Acceptance notification: 31 January 2018
============================...more |
Nov 20 2017 - 5:53pm |
7 years 9 weeks ago |
|
Calls for Papers |
Early Submission closes 1st Dec - Intelligent Systems Conference 2018 (London) |
CALL FOR PAPERS
Intelligent Systems Conference (IntelliSys) 2018
Technically Co-Sponsored by IEEE
IntelliSys provides a leading international forum that brings together researchers and practitioners from diverse fields with the purpose of exploring the fundamental roles, interactions as well as p...more |
Nov 20 2017 - 5:44pm |
7 years 9 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Participation: TuToR 2017 - 2nd Tutorial on Tools for Real-Time Systems |
2nd Tutorial on Tools for Real-Time Systems (TuToR'17)
(held within RTSS 2017)
December 5th, 2017 | Paris, France | http://tutor2017.inria.fr/
Tools presented: CapeCode, pyCPA, SCHED_DEADLINE, UPPAAL
FOCUS
TuToR'17 is a one-day tutorial open to researchers from both industry and academia w...more |
Nov 20 2017 - 5:39pm |
7 years 9 weeks ago |
|
Position Announcements |
Funded PhD position for UK/EU students |
A fully funded PhD position:
Computer-aided methods for predictability of probabilistic discrete-time models with uncertainty
https://www.findaphd.com/search/ProjectDetails.aspx?PJID=89958
A fully funded 3-year PhD position is available at the Computer Science Department of the University of Li...more |
Nov 20 2017 - 5:28pm |
7 years 9 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
NIST and DHS S&T to host Kickoff conference on Feb 6-7, 2018 in Washington DC, followed by IES-City Workshop on Feb 8 |
Dear Global City Teams Challenge (GCTC) community,
NIST and DHS S&T will co-host the 2018 kickoff conference for the GCTC - Smart and Secure Cities and Communities Challenge (SC3).
When: Feb 6-7, 2018
Where: FHI 360 Conference Center in Washington DC. (1825 Connecticut Ave NW, Washington...more |
Nov 20 2017 - 5:26pm |
7 years 9 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
2018 Heidelberg Laureate Forum |
The Heidelberg Laureate Forum was created by the Klaus Tschira Foundation, the Heidelberg Institute of Theoretical Studies, ACM, the International Mathematical Union, and the Norwegian Academy of Science and Letters to provide an opportunity for young researchers to spend a week with winners of the...more |
Nov 20 2017 - 5:11pm |
7 years 9 weeks ago |
|
Position Announcements |
Tenure Track Position in AI |
Assistant Professor of Human Computer Interaction, Deep Learning or AI
New College of Florida is in an unprecedented growth phase, increasing enrollments and the size of our faculty by 50 percent. We invite applications for a tenure-track assistant professor position with a specialization in human...more |
Nov 20 2017 - 5:09pm |
7 years 9 weeks ago |
|
Position Announcements |
Open tenure-track faculty positions- Universite de Sherbrooke |
The Universite de Sherbrooke is inviting applications for a fulltime regular professor position in computer engineering at the Electrical and Computer Engineering department at the Faculty of Engineering. The applicants have to contribute to teaching in the computer engineering program and support r...more |
Nov 20 2017 - 5:07pm |
7 years 9 weeks ago |
|
Position Announcements |
Fully Funded PhD Position in Artificial Intelligence & Cyber Security (University of Edinburgh) |
We are seeking an exceptional candidate for a fully funded PhD position within the Centre for Intelligent Systems and their Applications http://web.inf.ed.ac.uk/cisa in the School of Informatics, University of Edinburgh. The successful candidate will work on innovative research involving artificial...more |
Nov 20 2017 - 5:05pm |
7 years 9 weeks ago |
|
Calls for Demos, Participation, Posters, Presentations, Solutions and Works in Progress |
Call for Presentations: High Confidence Software and Systems Conference (HCSS 2018) |
The Eighteenth Annual
High Confidence Software and Systems Conference
Call for Presentations
INTRODUCTION
The eighteenth annual High Confidence Software and Systems (HCSS) Conference will be held May 7-9, 2018 at the Historic Inns of Annapolis in Annapolis, Maryland. You are invited to submit a...more |
Nov 20 2017 - 5:03pm |
7 years 9 weeks ago |
|
Calls for Papers |
CfP: First cross-domain IFIP Internet of Things (IoT) Conference |
CALL FOR PAPERS
First cross-domain IFIP Internet of Things (IoT) Conference
IoT is hot. Experts and organizations are addressing the topic in policy statements, papers and conferences. There are many aspects to be looked at when talking about IoT. Earlier developments were quite focused on the l...more |
Nov 20 2017 - 4:54pm |
7 years 9 weeks ago |
|
Calls for Papers |
CfP: IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018) |
CALL FOR PAPERS
The 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018)
Saint Petersburg, Russia | May 15-18, 2018 | http://icps2018.net/
IEEE ICPS 2018 is going to be the first of a premier conference series presenting the state of the art and future perspectives o...more |
Nov 20 2017 - 4:44pm |
7 years 9 weeks ago |
