|
||
When: Sep 8, 2024 - Sep 11, 2024 Submission Deadline: Apr 30, 2024 | ||
Two major measures of the quality of high performance computations are numerical accuracy and efficiency. • Interval methods are a class of algorithms that are accurate and even allow to obtain... | ||
INTERVAL METHODS FUZY METHODS HPC MACHINE LEARNING | ||
|
||
When: Sep 11, 2024 - Sep 13, 2024 Submission Deadline: Apr 1, 2024 | ||
42nd International Conference on Mathematical Methods in Economics • (MME 2024) • September 11โ13, 2024, Czech Republic • Website: https://mme2024.ujep.cz/ • Contact us: hos... | ||
ECONOMETRICS OPERATIONS RESEARCH DECISION SUPPORT SYSTEMS FINANCIAL MODELLING | ||
|
||
When: Sep 4, 2024 - Sep 6, 2024 Submission Deadline: May 15, 2024 | ||
CIBB is a multidisciplinary forum for researchers interested in the broad application of computational intelligence to open problems in bioinformatics, biostatistics, systems and synthetic biology, a... | ||
BIOINFORMATICS COMPUTATIONAL BIOLOGY STATISTICS ARTIFICIAL INTELLIGENCE | ||
|
||
When: Sep 16, 2024 - Sep 18, 2024 Submission Deadline: Apr 21, 2024 | ||
Call for papers CMSB 2024 • 22nd Conference on Computational Methods in Systems Biology • September 16-18, 2024 • Dipartimento di Informatica • Pisa • https://biomedinfo... | ||
SYSTEMS BIOLOGY BIOINFORMATICS COMPUTATIONAL BIOLOGY | ||
|
||
When: Sep 24, 2024 - Sep 26, 2024 Submission Deadline: Apr 1, 2024 | ||
Please check details at: https://atenea.esimecu.ipn.mx/cfp.html • Conference Topics of SOMET 2024, but no limited • Requirement engineering, especially for high-assurance system, and requ... | ||
SOFTWARE SCIENCE SOFTWARE TOOLS ARTIFICIAL INTELLIGENCE IN SOF SOFTWARE METHODS | ||
|
||
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 | ||
|
||
When: Sep 3, 2024 - Sep 6, 2024 Submission Deadline: Feb 29, 2024 | ||
Topics (incomplete list) • Classification • Clustering • Decision Theory • Dependence Modeling • Functional Data Analysis • Fuzzy Sets • Imprecise / Generali... | ||
DECISION THEORY SOFT COMPUTING MACHINE LEARNING DATA MINING | ||
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 | ||
|
||
When: May 27, 2024 - May 27, 2024 Submission Deadline: Apr 3, 2024 | ||
Machine Learning Methods in Visualisation will be held as part of EuroVis 2024 in Odense, Denmark. The ninth edition of this co-located event will be part-tutorial and part-workshop so as to increase... | ||
MACHINE LEARNING VISUALISATION | ||
|
||
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: Jul 10, 2024 - Jul 12, 2024 Submission Deadline: Feb 15, 2024 | ||
CALL FOR PAPERS • 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH) • Submission Deadline: February 15, 2024 • In Coo... | ||
SIMULATION ENERGY FORMAL METHODS COMPLEXITY | ||
|
||
Submission Deadline: May 31, 2024 | ||
================[Apologies for any cross-posting]================ • **Special issue of the journal Traitement Automatique des Langues (TAL) Abusive Language Detection : Linguistic Resources, Me... | ||
NLP COMPUTATIONAL LINGUISTICS TEXT MINING ARTIFICIAL INTELLIGENCE | ||
|
||
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 | ||
|
||
When: Sep 9, 2024 - Sep 11, 2024 Submission Deadline: May 1, 2024 | ||
FMICS 2024: • 29th International Conference on Formal Methods for Industrial Critical Systems4 • Colocated with FM 2024 • Milan, Italy, 9-11 September 2024 • https://fmics.inr... | ||
FORMAL METHODS INDUSTRIAL CASE STUDIES | ||
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 | ||
ALT 2024 : 35th Annual Conference on Algorithmic Learning TheorySan Diego, California, USA |
||
When: Feb 25, 2024 - Feb 28, 2024 Submission Deadline: Sep 26, 2023 | ||
The Algorithmic Learning Theory (ALT) 2024 conference will be held in San Diego, CA on February 25-28th 2024. The conference is dedicated to all theoretical and algorithmic aspects of machine learnin... | ||
LEARNING THEORY MACHINE LEARNING NEURAL NETWORKS BAYESIAN METHODS | ||
|
||
When: Dec 13, 2023 - Dec 15, 2023 Submission Deadline: Sep 30, 2023 | ||
The 15th World Congress on Nature and Biologically Inspired Computing (NaBIC 2023) brings together international researchers, developers, practitioners, and users. The aim of NaBIC is to serve as a f... | ||
EVOLUTIONARY ALGORITHMS NEURAL NETWORKS METAHEURISTICS HYBRID METHODS | ||
SEC 2024 : 10th International Conference on Software EngineeringMelbourne, Australia |
||
When: Apr 20, 2024 - Apr 21, 2024 Submission Deadline: Jan 13, 2024 | ||
• 10thInternational Conference on Software Engineering (SEC 2024)April 20 ~ 21, 2024, Melbourne, Australia Hybrid -- Registered authors can present their work online or face to face.Topics of in... | ||
SOFTWARE ENGINEERING COMPUTER SCIENCE INFORMATION TECHNOLOGY FORMAL METHODS | ||
SEMMES 2024 : Semantic Methods for Events and StoriesHersonissos, Greece |
||
When: May 26, 2024 - May 27, 2024 Submission Deadline: Mar 7, 2024 | ||
• *************** • Semantic Methods for Events and Stories, 2nd Edition (SEMMES 2024) โ Call for Papers • *************** • Website: https://anr-kflow.github.io/semmes/ &bu... | ||
NLP COMPUTATIONAL LINGUISTICS ARTIFICIAL INTELLIGENE | ||
|
||
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 | ||
UKCI 2024 : 23rd UK Workshop on Computational IntelligenceBelfast, Northern Ireland, UK |
||
When: Sep 4, 2024 - Sep 6, 2024 Submission Deadline: Mar 2, 2024 | ||
The 23rd UK Workshop on Computational Intelligence (UKCI 2024) will be held in Belfast Campus, Ulster University, Belfast, United Kingdom, on September 4th-6th, 2024. It will be co-located with the 8... | ||
NEURAL NETWORKS EVOLUTIONARY COMPUTATION DATA MINING HYBRID METHODS | ||
|
||
When: Apr 10, 2024 - Apr 11, 2024 Submission Deadline: Jan 15, 2024 | ||
The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of... | ||
FORMAL METHODS VERIFICATION | ||
|
||
When: Aug 22, 2024 - Aug 24, 2024 Submission Deadline: Mar 23, 2024 | ||
The Fourth International Conference on Emerging Techniques in Computational Intelligence, ICETCI 2024 will be held at Mahindra University, Hyderabad on Aug 22-24, 2024. This aims to highlight the evo... | ||
DEEP LEARNING COMPUTATIONAL INTELLIGENCE SEQUENCE MODELLING BAYESIAN METHODS | ||
|
||
When: Sep 9, 2024 - Sep 10, 2024 Submission Deadline: May 15, 2024 | ||
Aim and Scope • ------------- • TAP 2024 is the 18th International Conference on Tests and Proofs. TAP • promotes research in verification and formal methods that targets the &bull... | ||
FORMAL METHODS THEOREM PROVING TESTING | ||
WUML 2024 : Workshop on Uncertainty in Machine LearningMunich, Germany |
||
When: Feb 19, 2024 - Feb 21, 2024 Submission Deadline: May 15, 2024 | ||
The notion of uncertainty is of major importance in machine learning and constitutes a key element of modern machine learning methodology. In recent years, it has gained in importance due to the incr... | ||
ENSEMBLE METHODS IMPRECISE PROBABILITY PREDICTION INTERVALS UNCERTAINTY QUANTIFICATION | ||
|
||
When: Apr 15, 2024 - Apr 18, 2024 Submission Deadline: Jan 5, 2024 | ||
Objectives and topics • We invite researchers, practitioners, and innovators to contribute to a special session dedicated to the transformative impact of generative and natural language process... | ||
NEURAL NETWORKS NATURAL LANGUAGE PROCESSING NLP APPLICATIONS LLM | ||
|
||
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 | ||
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.