 |
||
| Submission Deadline: Jun 7, 2024 | ||
| Call for Papers • Science of Computer Programming special issue on • Advances in Formal Methods for Autonomous Systems • This special issue provides an opportunity for researchers a... | ||
| SPECIAL ISSUE AUTONOMOUS SYSTEMS FORMAL METHODS | ||
 |
||
| When: Aug 30, 2024 - Sep 1, 2024 Submission Deadline: Apr 5, 2024 | ||
| ★Full Name: IEEE--2024 the 7th International Conference on Intelligent Autonomous Systems (ICoIAS 2024) • ★Abbreviation: ICoIAS 2024 • ★Conference Venue: Dalian, Liaoning, China, Au... | ||
| INTELLIGENT SYSTEMS AUTOMATION ROBOTICS COMPUTATIONAL INTELLIGENCE | ||
|
|
||
| When: Aug 30, 2024 - Sep 1, 2024 Submission Deadline: Apr 5, 2024 | ||
| ★Full Name: IEEE--2024 the 7th International Conference on Intelligent Autonomous Systems (ICoIAS 2024) • ★Abbreviation: ICoIAS 2024 • ★Conference Venue: Dalian, Liaoning, China, Au... | ||
| ARTIFICIAL INTELLIGENCE SYSTEMS ENGINEERING SOFTWARE ENGINEERING CONTROL | ||
 |
||
| When: Aug 28, 2024 - Sep 1, 2024 Submission Deadline: Mar 1, 2024 | ||
| The 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE 2024) is one of the three flagship conferences of the IEEE Robotics & Automation Society and provides a primary... | ||
| AUTOMATION CONTROL THEORY AUTONOMOUS SYSTEMS ROBOTICS | ||
 |
||
| When: Apr 8, 2024 - Apr 8, 2024 Submission Deadline: Dec 18, 2023 | ||
| The Safe Autonomy workshop explores concepts, techniques and technology related to the continuous safety assurance of autonomous systems (AS). The first three workshops in the series ran under the na... | ||
| SAFETY AUTONOMY ASSURANCE AUTONOMOUS SYSTEMS | ||
 DAC 2024 : Design Automation ConferenceMoscone Center West in San Francisco, CA |
||
| When: Jun 23, 2024 - Jun 27, 2024 Submission Deadline: Nov 20, 2023 | ||
| 2024 Call for Contributions • For the past 60 years, DAC has been the premier conference for the design and automation of electronic circuits and systems. Research papers, technical presentatio... | ||
| ARTIFICIAL INTELLIGENCE (AI) AUTONOMOUS SYSTEMS DESIGN ELECTRONIC DESIGN AUTOMATION ( | ||
|
|
||
| Submission Deadline: Mar 31, 2024 | ||
| Dear Colleagues, • An intelligent vehicle is a vehicle enhanced with perception, reasoning, and actuating devices that enable the automation of driving tasks such as safe lane following, obstac... | ||
| SENSOR INTELLIGENT VEHICLES TRAFFIC IMAGE DRIVER MONITORING | ||
|
|
||
| When: Nov 14, 2023 - Nov 17, 2023 Submission Deadline: Aug 21, 2023 | ||
| The cyber-science congress DASC/PiCOM/CBDCom/CyberSciTech23 is an event combining four innovative IEEE conferences: • The 8th IEEE Cyber Science and Technology Congress (CyberSciTech 2023) &bu... | ||
| CYBERSYSTEM SECURITY AI AUTONOMOUS SYSTEMS | ||
|
|
||
| When: Dec 8, 2023 - Dec 14, 2023 Submission Deadline: Aug 1, 2023 | ||
| Topics of contributing papers include, but are not limited to, the following areas: • Computer Science and Engineering • Computer networks, computer vision, pattern recognition, virtual, ... | ||
| PATTERN RECOGNITION AUTONOMOUS SYSTEMS SIGNAL PROCESSING BIOINFORMATICS | ||
|
|
||
| When: Nov 14, 2023 - Nov 17, 2023 Submission Deadline: Aug 21, 2023 | ||
| The 21st IEEE International Conference on Dependable, Autonomic & Secure Computing (DASC 2023) • Joint conference IEEE DASC/PICom/CBDCom/CyberSciTech 2023 • 14-17 Nov 2023 || Abu Dhabi, U... | ||
| SECURITY DEPENDABILITY SELF-MANAGEMENT AUTONOMOUS SYSTEMS | ||
 FMAS 2023 : Fifth Workshop on Formal Methods for Autonomous SystemsLeiden, The Netherlands |
||
| When: Nov 15, 2023 - Nov 16, 2023 Submission Deadline: Aug 31, 2023 | ||
| FMAS 2023 is a two-day peer-reviewed international workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to present recent work... | ||
| FORMAL METHODS AUTONOMOUS SYSTEMS VERIFICATION SOFTWARE ENGINEERING | ||
|
|
||
| When: Aug 19, 2023 - Aug 21, 2023 Submission Deadline: May 22, 2023 | ||
| Dear Colleague, • The IEEE ICCI*CC series (https://www.i2cicc.org/ieee-iccicc23; https://www.easychair.org/cfp/IEEE_ICCI-CC_2023) is a flagship conference of its field sponsored by IEEE CS, CIS... | ||
| COGNITIVE COMPUTING COGNITIVE INFORMATICS INTELLIGENCE SCIENCE AUTONOMOUS SYSTEMS | ||
|
|
||
| When: Sep 18, 2023 - Sep 19, 2023 Submission Deadline: Jun 30, 2023 | ||
| The 7th Workshop on Formal Approaches for Advanced Computing Systems (FAACS’2023) Co-located with the 17th European Conference on Software Architecture (ECSA) • Istanbul, Turkey, September 18... | ||
| SOFTWARE ARCHITECTURE FORMAL METHODS VALIDATION AND VERIFICATION AUTONOMOUS SYSTEMS | ||
|
|
||
| When: Mar 13, 2023 - Mar 17, 2023 Submission Deadline: Dec 1, 2022 | ||
| Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to: • - ICAS 2023, The Nineteenth Internati... | ||
| AUTONOMIC COMPUTING AUTONOMOUS SYSTEMS AUTOMATION CONTEXT AWARE | ||
|
|
||
| When: Sep 26, 2022 - Sep 27, 2022 Submission Deadline: Jul 29, 2022 | ||
| FMAS 2022 is a two-day workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to present recent work in the area, discuss key ch... | ||
| FORMAL METHODS CYBER-PHYSICAL SYSTEMS | ||
|
|
||
| When: Jul 23, 2022 - Jul 25, 2022 Submission Deadline: May 13, 2022 | ||
| [Apologies for cross and multiple postings] • ------------------------------------------------------------------------------------------------------------------- • Call for Papers •... | ||
| SOFTWARE ENGINEERING ROBOTICS VERIFICATION & VALIDATION AUTONOMOUS SYSTEMS | ||
ICMLAS 2022 : 2nd International Conference on Machine Learning and Autonomous SystemsRohini College of Engineering and Techno |
||
| When: Oct 7, 2022 - Oct 8, 2022 Submission Deadline: May 13, 2022 | ||
| Machine Learning • Computational Learning Theory and Applications • Knowledge Discovery and Acquisition • Cognitive Modelling and Data Analysis Techniques • Hybrid Learning Al... | ||
DREAMS 2022 : Dynamic risk management for autonomous systemsZaragoza, Spain |
||
| When: Sep 12, 2022 - Sep 12, 2022 Submission Deadline: Jun 6, 2022 | ||
| • Autonomous systems have enormous potential and they are bound to be a major driver in future economical and societal transformations. In contexts where safety, or other critical properties, ne... | ||
| AUTONOMOUS SYSTEMS ARTIFICIAL INTELLIGENCE DEPENDABILITY SAFETY | ||
|
|
||
| When: Jul 23, 2022 - Jul 25, 2022 Submission Deadline: May 6, 2022 | ||
| ------------------------------------------------------------------------------------------------------------------- • Call for Papers • Second Workshop on Agents and Robots for reliable E... | ||
| AUTONOMOUS SYSTEMS VERIFICATION & VALIDATION ROBOTICS SOFTWARE ENGINEERING | ||
|
|
||
| When: May 30, 2021 - Jun 03, 2021 Submission Deadline: Mar 02, 2021 | ||
| ICAS 2021 conference tracks: SELFTRENDS: Toward brain-like autonomic and autonomous systems Adaptive robust resource allocation; Optimal self-organized collective actions; Collective adaptation;... | ||
| AUTONOMIC COMPUTING AUTONOMOUS SYSTEMS AUTOMATION | ||
|
|
||
| When: Dec 07, 2020 - Dec 07, 2020 Submission Deadline: Sep 11, 2020 | ||
| This one day workshop will bring together researchers working on a range of techniques for formal verification of autonomous systems, to present recent work in the area, discuss key difficulties, and ... | ||
| FORMAL METHODS AUTONOMOUS SYSTEMS ROBOTICS FORMAL VERIFICATION | ||
|
|
||
| When: Sep 07, 2020 - Sep 07, 2020 Submission Deadline: Jun 01, 2020 | ||
| The DREAMS Workshop will be colocated with the 16th European Dependable Computing Conference (EDCC) 7 - 10 September 2020 Munich, Germany. DREAMS aims at bringing together communities from diverse ... | ||
| AUTOMATION ARTIFICIAL INTELLIGENCE | ||
 WAAS 2020 : IEEE Workshop on Assured Autonomous SystemsHYATT REGENCY, SAN FRANCISCO, CA |
||
| When: May 21, 2020 - May 21, 2020 Submission Deadline: Feb 03, 2020 | ||
| The Workshop on Assured Autonomous Systems (WAAS) plans to address the gap that exists between theory-heavy autonomous systems and algorithms and the privacy, security, and safety of their real-world ... | ||
| COMPUTER SCIENCE MACHINE LEARNING SECURITY ARTIFICIAL INTELLIGENCE | ||
 ASYS 2020 : IEEE COMPSAC Symposium on Autonomous SystemsMadrid, Spain |
||
| When: Jul 13, 2020 - Jul 17, 2020 Submission Deadline: Jan 31, 2020 | ||
| COMPSAC is the IEEE Computer Society Signature Conference on Computers, Software and Applications. It is a major international forum for academia, industry, and government to discuss research results ... | ||
| AUTONOMOUS SYSTEMS ROBOTICS SENSING ARTIFICIAL INTELLIGENCE | ||
 IEEE ICAS 2020 : 2020 IEEE International Conference on Autonomous SystemsMontreal, Quebec, Canada |
||
| When: Aug 12, 2020 - Aug 14, 2020 Submission Deadline: Apr 15, 2020 | ||
| The IEEE International Conference on Autonomous Systems (IEEE ICAS 2020) will take place in Montréal, Québec, Canada on August 12-14, 2020. The IEEE ICAS 2020 will be a premier internati... | ||
| THEORETICAL FOUNDATIONS OF AUTONOMOUS SYSTEMS EMERGING FIELDS OF AUTONOMOUS SYSTEMS AUTONOMOUS SYSTEMS ENGINEERING | ||
|
|
||
| Submission Deadline: Jun 30, 2019 | ||
| The explosion of Smart Communications in Network Technologies has resulted in the growing smart communications fields embedded in complex systems for a wide variety of applications in the future gener... | ||
| SMART COMMUNICATIONS NETWORK TECHNOLOGIES CLOUD & MOBILE EDGE COMPUTING INDUSTRIAL NETWORKS | ||
|
|
||
| When: Feb 26, 2020 - Feb 29, 2020 Submission Deadline: Oct 10, 2019 | ||
| 2020 3rd International Conference on Intelligent Autonomous Systems (ICoIAS’2020)--IEEE Xplore, Ei Compendex and Scopus • Feb.26-29, 2020 • http://www.icias.org/index.html • Dear S... | ||
| ARTIFICIAL INTELLIGENCE COMPUTER SCIENCE SOFTWARE ENGINEERING COMPUTATIONAL INTELLIGENCE | ||
|
|
||
| When: Feb 26, 2020 - Feb 29, 2020 Submission Deadline: Oct 10, 2019 | ||
| 2020 3rd International Conference on Intelligent Autonomous Systems (ICoIAS’2020)--IEEE Xplore, Ei Compendex and Scopus • Feb.26-29, 2020 • http://www.icias.org/index.html • Dear S... | ||
| INTELLIGENT SYSTEMS SYSTEMS ENGINEERING AUTOMATION ROBOTICS | ||
|
|
||
| When: Sep 10, 2019 - Sep 10, 2019 Submission Deadline: May 13, 2019 | ||
| ... | ||
| FORMAL VERIFICATION FORMAL METHODS AUTONOMOUS SYSTEMS SAFETY | ||
|
|
||
| When: Jul 2, 2019 - Jul 5, 2019 Submission Deadline: Mar 31, 2019 | ||
| --------------------------------------------------------- • Our apologies if you receive multiple copies of this CFP • --------------------------------------------------------- • We ... | ||
| MOBILE COMMUNICATION BIGDATA AND CLOUD INTERNET OF THINGS AUTONOMOUS SYSTEMS | ||
Find and Compare Upcoming Autonomous Systems Events. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
