 |
||
| When: Jul 30, 2024 - Jul 30, 2024 Submission Deadline: Jun 20, 2024 | ||
| Welcome to the Research Methods Symposium (RMS 2024), on 30th July 2024. • A virtual conference dedicated to exploring crucial facets of research across diverse categories such as pedagogy, ski... | ||
| RESEARCH EGINEERING NATURAL SCIENCE INDUSTRY | ||
 ICFEM 2024 : International Conference on Formal Engineering MethodsHiroshima , Japan |
||
| When: Dec 2, 2024 - Dec 6, 2024 Submission Deadline: Jun 24, 2024 | ||
| Since it was started in Hiroshima, Japan in 1997, ICFEM has provided a forum for both researchers and practitioners to discuss and exchange their experience and results in research on theories, metho... | ||
| SOFTWARE ENGINEERING FORMAL METHODS | ||
 |
||
| 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: Dec 3, 2024 - Dec 6, 2024 Submission Deadline: Jun 3, 2024 | ||
| The 7th Symposium on Formal Methods in Architecture (7FMA) aims to contribute to the discussion in architecture and urbanism on the application of new formal methods to emerging social and technical ... | ||
| ARCHITECTURE SPACE SYNTAX AUTOMATION URBANISM | ||
 |
||
| Submission Deadline: Jun 30, 2024 | ||
| Dear Colleagues, • Industry 4.0 has ushered in advanced analytical control and calibration methods to achieve high precision in advanced industrial robotic applications. Such approaches must be... | ||
| CONTROL ROBOTICS CALIBRATION | ||
 COLT 2024 : 37th Annual Conference on Learning TheoryEdmonton, Canada |
||
| When: Jun 30, 2024 - Jul 3, 2024 Submission Deadline: Feb 9, 2024 | ||
| The 37th Annual Conference on Learning Theory (COLT 2024) will take place June 30th-July 3rd, 2024 in Edmonton, Canada. We invite submissions of papers addressing theoretical aspects of machine learn... | ||
| MACHINE LEARNING BAYESIAN METHODS NEURAL NETWORKS ONLINE LEARNING | ||
|
|
||
| When: Jun 26, 2024 - Jun 28, 2024 Submission Deadline: Mar 2, 2024 | ||
| **6th International Conference on Advanced Research Methods and Analytics** • *Internet and Big Data in Economics and Social Sciences* • 26 – 28 June, 2024 · Valencia, Spain • ht... | ||
| INTERNET AND BIG DATA SOURCES MACHINE LEARNING INTERNET AND BIG DATA APPLICAT DIGITAL TRANSFORMATION | ||
 |
||
| When: Jun 4, 2024 - Jun 5, 2024 Submission Deadline: Feb 18, 2024 | ||
| The 8th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2024), co-located with the 21st IEEE International Conference on Software Architecture (ICSA 2024), will be h... | ||
| SOFTWARE ARCHITECTURE FORMAL METHODS VALIDATION AND VERIFICATION GENERATIVE AI | ||
 |
||
| When: Jun 4, 2024 - Jun 7, 2024 Submission Deadline: Feb 18, 2024 | ||
| ------------------------------------------------ • CALL FOR RESEARCH PAPERS • ------------------------------------------------ • XP is the premier Agile software development confere... | ||
| SOFTWARE ENGINEERING AGILE METHODS AGILE TRANSFORMATION DIGITAL TRANSFORMATION | ||
 |
||
| When: Jun 24, 2024 - Jun 28, 2024 Submission Deadline: Jan 22, 2024 | ||
| +++++++++++++++++++++++++++++++++++ • # Call for papers: Petri Nets 2024 • =================================== • PETRI NETS 2024 • 45th International Conference on Application... | ||
| PETRI NETS FORMAL METHODS CONCURRENCY DISTRIBUTED SYSTEMS | ||
 NFM 2024 : NASA Formal Methods SymposiumMoffett Field, California, USA |
||
| When: Jun 4, 2024 - Jun 6, 2024 Submission Deadline: Dec 8, 2023 | ||
| The NASA Formal Methods community invites you to submit a paper to: • The 16th NASA Formal Methods Symposium (NFM 2024) • June 4-6, 2024 • Moffett Field, California • https://... | ||
| FORMAL METHODS THEOREM PROVING MODEL CHECKING MACHINE LEARNING | ||
CAiSE 2024 : 36th International Conference on Advanced Information Systems Engineering5* St. Raphael Resort and Marina, Limass |
||
| When: Jun 3, 2024 - Jun 7, 2024 Submission Deadline: Dec 8, 2023 | ||
| *** Final Call for Papers *** • 36th International Conference on Advanced Information Systems Engineering • (CAiSE'24) • June 3-7, 2024, 5* St. Raphael Resort and Marina, Limassol, ... | ||
| NOVEL APPROACHES TO IS ENG MODELS, METHODS AND TECHNIQUES ARCHITECTURES AND PLATFORMS DOMAIN-SPECIFIC AND MULTI-ASPE | ||
 |
||
| When: Jun 19, 2024 - Jun 21, 2024 Submission Deadline: Mar 18, 2024 | ||
| HEART2024 is a forum to present and discuss new research on all aspects of accelerator technologies that improve the performance, power- or energy-efficiency of computing systems. • This year, ... | ||
| FPGA AND GPU EFFICIENT ARCHITECTURES DESIGN METHODS AND TOOLS HETEROGENEOUS HPC | ||
SEFM 2023 : 21st International Conference on Software Engineering and Formal MethodsEindhoven, The Netherlands |
||
| When: Nov 6, 2023 - Nov 10, 2023 Submission Deadline: Jun 23, 2023 | ||
| ... | ||
ABZ 2024 : Abstract State Machines, Alloy, B and ZBergamo, Italy |
||
| When: Jun 25, 2024 - Jun 28, 2024 Submission Deadline: Feb 10, 2024 | ||
| The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptua... | ||
| FORMAL METHODS SOFTWARE ENGINEERING ASM B METHOD | ||
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 | ||
|
|
||
| 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: 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 | ||
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 | ||
|
|
||
| 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: Jun 21, 2022 - Jun 21, 2022 Submission Deadline: Apr 20, 2022 | ||
| For the successful realization of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of cruci... | ||
| SOFTWARE ENGINEERING CYBER-PHYSICAL SYSTEMS FORMAL METHODS MODELING | ||
 |
||
| When: Oct 17, 2022 - Oct 20, 2022 Submission Deadline: Jun 15, 2022 | ||
| * At a Glance • . Submission Deadline: June 15th, 2022 • . Location: Hyderabad, India (co-located with ER'22) • . Papers: Complete studies, designs, or position papers (10 LNCS page... | ||
| CONCEPTUAL MODELING EMPIRICAL METHODS | ||
|
|
||
| When: Jun 20, 2022 - Jun 22, 2022 Submission Deadline: May 6, 2022 | ||
| • Scope • The field of formal concept analysis is reaching a level of maturity where computer tools are beginning to be available. This workshop aims to promote these different tools and t... | ||
| FORMAL METHODS DATA SCIENCE | ||
|
|
||
| When: Oct 13, 2022 - Oct 16, 2022 Submission Deadline: Jun 1, 2022 | ||
| Call for Papers • Practical applications of explainable artificial intelligence methods special session at DSAA 2022 • Shenzhen, China, 13th -16th October, 2022 (Virtual and Onsite) &bul... | ||
| EXPLAINABLE AI MACHINE LEARNING DATA MINING XAI | ||
|
|
||
| When: Dec 7, 2022 - Dec 11, 2022 Submission Deadline: Jun 24, 2022 | ||
| The 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP 2022) invites the submission of long and short papers on substantial, original, and unpublished research on empirical me... | ||
| NLP | ||
|
|
||
| When: Sep 12, 2022 - Sep 15, 2022 Submission Deadline: Jun 1, 2022 | ||
| SYNASC aims to stimulate the interaction among multiple communities focusing on defining, optimizing and executing complex algorithms in several application areas. The focus of the conference ranges ... | ||
| MATHEMATICS ARTIFICIAL INTELLIGENCE FORMAL METHODS LOGIC | ||
|
|
||
| When: Sep 5, 2022 - Sep 5, 2022 Submission Deadline: Jun 15, 2022 | ||
| Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for... | ||
| FORMAL METHODS CYBER-PHYSICAL SYSTEMS VERIFICATION | ||
Find and Compare Upcoming Methods Events in June. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
