 |
||
| When: Sep 15, 2023 - Sep 15, 2023 | ||
| ====================================================================== • 1st Workshop on • Domain-specific Modeling Methods and Tools - OMiLAB Nodes experience & knowledge exchange (OMILA... | ||
| CONCEPTUAL MODELING MODELING LANGUAGES DOMAIN SPECIFIC MODELING MODELING TOOLS | ||
 |
||
| When: Nov 27, 2023 - Nov 28, 2023 Submission Deadline: Jul 16, 2023 | ||
| • PHRAME: Phraseological complexity measures in learner Italian. Integrating eye tracking, computational and learner corpus methods to develop second language pedagogical resources Closing event... | ||
| NLP COMPUTATIONAL LINGUISTICS ARTIFICIAL INTELLIGENE | ||
 |
||
| When: Oct 22, 2023 - Oct 22, 2023 Submission Deadline: Jul 21, 2023 | ||
| --------------------------------------------------------------------- • Call for Papers • FTSCS 2023 • 9th ACM International Workshop on Formal Techniques for Safety-Critical System... | ||
| FORMAL METHODS SOFTWARE ENGINEERING SAFETY-CRITICAL SYSTEMS VERIFICATION | ||
 ArgXAI 2023 : 2nd International Workshop on Argumentation for eXplainable AIImperial College London London, UK, |
||
| When: Jul 10, 2023 - Jul 10, 2023 Submission Deadline: May 15, 2023 | ||
| 2nd International Workshop on Argumentation for eXplainable AI (ArgXAI) • Co-located with ICLP 2023 (London, UK) • In recent years, research on intelligent systems that can explain their ... | ||
| LOGIC PROGRAMMING FORMAL METHODS EXPLAINABLE AI | ||
 VSTTE 2023 : International Conference on Verified Software: Theories, Tools, and ExperimentsAmes, Iowa, United States |
||
| When: Sep 21, 2023 - Sep 25, 2023 Submission Deadline: Jul 28, 2023 | ||
| Overview • The goal of the VSTTE conference series is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool... | ||
| FORMAL METHODS MODEL CHECKING THEOREM PROVING | ||
 ICEAI 2023 : International Conference on Evolutionary Artificial IntelligenceTaylor’s University, Malaysia |
||
| When: Sep 13, 2023 - Sep 14, 2023 Submission Deadline: Jun 10, 2023 | ||
| TRACK - I • Particle swarm optimization • Evolutionary programming • Genetic programming • Hybrid evolutionary algorithms • Ant colony optimization • Evolutionary ... | ||
| COMPUTATIONAL METHODS NETWORKS COMMUNICATION TECHNOLOGY | ||
ICACRS 2023 : 2nd International Conference on Automation, Computing and Renewable SystemsMount Zion College of Engineering and Te |
||
| When: Dec 11, 2023 - Dec 13, 2023 Submission Deadline: Sep 8, 2023 | ||
| Computational Methods • Soft Computing • Grid Computing • Machine Vision and Computational Imaging • Mobile Edge Computing • Autonomic Computing • Distributed Comp... | ||
| COMPUTATIONAL METHODS ROBOTICS AND AUTOMATION RENEWABLE SYSTEMS | ||
 |
||
| When: Nov 6, 2023 - Nov 9, 2023 Submission Deadline: Aug 9, 2023 | ||
| * At a Glance • . Submission Deadline: *NEW* August 9th, 2023 • . Location: Lisbon, Portugal • . Papers: Complete studies, designs, or position papers (10 LNCS pages max) • . ... | ||
| CONCEPTUAL MODELING EMPIRICAL METHODS | ||
|
|
||
| When: Nov 7, 2023 - Nov 9, 2023 Submission Deadline: Jun 15, 2023 | ||
| Dear Colleague(s), • the Third International Workshop on Artificial Intelligence methods for Smart Cities (AISC 2023) is organized in *online mode* by the Artificial Intelligence and Big Data L... | ||
| COMPUTER SCIENCE MACHINE LEARNING COMPUTER VISION ARTIFICIAL INTELLIGENCE | ||
 |
||
| When: Sep 18, 2023 - Sep 18, 2023 Submission Deadline: Jun 12, 2023 | ||
| Learning to Quantify (LQ - also known as "quantification", or "class prior estimation", or "unfolding"), is the task of training class prevalence estimators via supervised learning. In other words, t... | ||
| MACHINE LEARNING DATA MINING KNOWLEDGE DISCOVERY INFORMATION RETRIEVAL | ||
|
|
||
| When: Nov 16, 2023 - Nov 17, 2023 Submission Deadline: Sep 8, 2023 | ||
| LANMR 2023 is the fifteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning organized by Universidad Nacional Autónoma de México through Fa... | ||
| LOGIC AUTOMATED RESONING FORMAL METHODS | ||
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: 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: Oct 9, 2023 - Oct 13, 2023 Submission Deadline: May 22, 2023 | ||
| Call for Papers • Practical applications of explainable artificial intelligence methods special session at 10th IEEE International Conference on Data Science and Advanced Analytics (DSAA 2023) ... | ||
| XAI MACHINE LEARNING DATA MINING ARTIFICIAL INTELLIGENCE | ||
 RTNS 2023 : International conference on Real-Time Networks and SystemsDortmund, Germany |
||
| When: Jun 7, 2023 - Jun 8, 2023 Submission Deadline: Jan 17, 2023 | ||
| RTNS is a friendly and inclusive conference with a great sense of community that presents excellent opportunities for discussion and collaboration. • This 31st occurrence of RTNS is a special o... | ||
| REAL-TIME SYSTEMS FORMAL METHODS CYBER-PHYSICAL SYSTEMS | ||
ESOP 2023 : 32st European Symposium on ProgrammingParis, France |
||
| When: Apr 22, 2023 - Apr 27, 2023 Submission Deadline: Oct 13, 2022 | ||
| 32st European Symposium on Programming • General information • ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of pro... | ||
| PROGRAMMING LANGUAGES FORMAL METHODS | ||
 |
||
| When: Feb 16, 2023 - Feb 18, 2023 Submission Deadline: Dec 15, 2022 | ||
| CALL FOR PAPERS • 14th International Conference on Bioinformatics Models, Methods and Algorithms BIOINFORMATICS • website: https://bioinformatics.scitevents.org • February 16 - 18, ... | ||
| BIOINFORMATICS BIOMEDICAL ENGINEERING COMPUTATIONAL BIOLOGY INFORMATICS | ||
|
|
||
| When: Feb 22, 2023 - Feb 24, 2023 Submission Deadline: Dec 15, 2022 | ||
| CALL FOR PAPERS • 12th International Conference on Pattern Recognition Applications and Methods ICPRAM • website: https://icpram.scitevents.org • February 22 - 24, 2023 Lisbon, Port... | ||
| ARTIFICIAL INTELLIGENCE MACHINE LEARNING PATTERN RECOGNITION KNOWLEDGE DISCOVERY | ||
|
|
||
| Submission Deadline: Mar 18, 2023 | ||
| • International Journal of Software Engineering & Applications (IJSEA) ---- ERA 2018 Indexed ----Citations, h-index, i10-index of IJSEA • Citations 4082 h-index 30 i10-index 102 ... | ||
| SOFTWARE ENGINEERING COMPUTER SCIENCE FORMAL METHODS COMPUTER ENGINEERING | ||
|
|
||
| When: Nov 28, 2022 - Dec 4, 2022 Submission Deadline: Sep 30, 2022 | ||
| The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust, and verifiable methodologies. Arti... | ||
| FORMAL METHODS VERIFICATION GAME THEORY | ||
 |
||
| Submission Deadline: Dec 15, 2022 | ||
| Dear Colleagues, • Human–robot Interaction (HRI) research concerns the understanding, design, and evaluation of robotic systems for use by or with humans. The introduction of robots into envi... | ||
| ROBOTICS HUMAN-ROBOT INTERACTION MACHINE LEARNING SAFETY AND CONTROL | ||
|
|
||
| When: Sep 26, 2022 - Sep 26, 2022 Submission Deadline: Jul 31, 2022 | ||
| High levels of safety, security, and privacy standards require formal methods to specify and develop compliant software (sub-)systems. Any standard comes with an assessment process, which requires a ... | ||
| FORMAL METHODS THEORETICAL COMPUTE SCIENCE | ||
|
|
||
| When: Oct 23, 2022 - Oct 27, 2022 Submission Deadline: Sep 1, 2022 | ||
| AIM AND SCOPE • Reinforcement Learning (RL) is promising for continuous learning and discovery of optimal policies for complex tasks. However, a major open challenge is the safety and robustnes... | ||
| FORMAL METHODS CONTROL HUMAN-ROBOT INTERACTION | ||
 |
||
| When: Jun 18, 2022 - Jun 19, 2022 Submission Deadline: May 28, 2022 | ||
| International Conference on Emerging Practices in Software Process & Architecture (SOFTPA 2022)June 18 ~ 19, 2022, Sydney, Australia • Scope & TopicsInternational Conference on Emerging Practic... | ||
| SOFTWARE ENGINEERING PERFORMANCE AUTOMATION FORMAL METHODS | ||
 |
||
| When: Nov 7, 2022 - Nov 9, 2022 Submission Deadline: Jun 26, 2022 | ||
| ****** TIME 2022 ****** • 29th International Symposium on Temporal Representation and Reasoning • 07-09 November 2022 - Online • https://time2022.time-symposium.org • *** Scop... | ||
| FORMAL METHODS LOGIC DATABASE ARTIFICIAL INTELLIGENCE | ||
|
|
||
| When: Mar 3, 2022 - Mar 5, 2022 Submission Deadline: Oct 2, 2022 | ||
| ALI, the Association for Logic in India, announces the tenth edition of its biennial Indian Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Indore, f... | ||
| FORMAL METHODS LOGIC THEORETICAL COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE | ||
|
|
||
| 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: Sep 19, 2022 - Sep 20, 2022 Submission Deadline: Jul 1, 2022 | ||
| MOTIVATION AND SCOPE • The way services and information are currently delivered to a multitude of end-users is changing impressively thanks to the availability of new technologies (e.g., IoT co... | ||
| FORMAL METHODS VERIFICATION SOFTWARE ENGINEERING | ||
 |
||
| When: Aug 26, 2022 - Aug 27, 2022 Submission Deadline: May 30, 2022 | ||
| The workshop is organized by the Faculty of Informatics of the University of Debrecen, directly before DCFS 2022, the 24th International Conference of Descriptional Complexity of Formal Systems (Debr... | ||
| FORMAL METHODS COMPUTER SCIENCE AUTOMATA | ||
RE4ES 2022 : Requirements Engineering for Explainable SystemsOldenburg, Germany |
||
| When: Aug 15, 2022 - Aug 15, 2022 Submission Deadline: May 19, 2022 | ||
| We live in the age of autonomous and complex software systems. Research advances the state-of-the-art at great speed in search of higher degrees of system autonomy. With the number and impact of such... | ||
| SOFTWARE ENGINEERING FORMAL METHODS | ||
Find and Compare Upcoming Methods Events. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
