|
||
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 | ||
|
||
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 | ||
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 | ||
WUML 2024 : Workshop on Uncertainty in Machine LearningMunich, Germany |
||
When: Feb 19, 2024 - Feb 21, 2024 Submission Deadline: Sep 26, 2023 | ||
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: 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 | ||
COORDINATION 2024 : 26th International Conference on Coordination Models and LanguagesUniversity of Groningen, The Netherlands |
||
When: May 18, 2024 - May 20, 2024 Submission Deadline: Feb 9, 2024 | ||
Call For Papers • COORDINATION 2024 • 26th International Conference on Coordination Models and Languages • Dates: June 18-20, 2024 • Location: University of Groningen, The Net... | ||
COMPUTER SCIENCE DISTRIBUTED COMPUTING FORMAL METHODS PROGRAMMING LANGUAGES | ||
UAI 2024 : 40th Conference on Uncertainty in Artificial IntelligenceBarcelona, Spain |
||
When: Jul 15, 2024 - Jul 19, 2024 Submission Deadline: Feb 9, 2024 | ||
The Conference on Uncertainty in Artificial Intelligence (UAI) is one of the premier international conferences on research related to learning and reasoning in the presence of uncertainty. The confer... | ||
MACHINE LEARNING LEARNING THEORY BAYESIAN METHODS OPTIMIZATION | ||
TASE 2024 : 18th Theoretical Aspects of Software Engineering ConferenceGuiyang City, China |
||
When: Jul 29, 2024 - Aug 1, 2024 Submission Deadline: Feb 24, 2024 | ||
Call for papers: TASE 2024, Guiyang City, China, July 29 - August 1, 2024 • https://tase2024.github.io/ • Overview • ----------------------------------------------------------------... | ||
FORMAL METHODS CYBER PHYSICAL SYSTEMS MODEL CHECKING SOFTWARE ENGINEERING | ||
|
||
When: Feb 24, 2024 - Feb 26, 2024 Submission Deadline: Nov 22, 2023 | ||
CALL FOR PAPERS • 13th International Conference on Pattern Recognition Applications and Methods ICPRAM • website: https://icpram.scitevents.org • February 24 - 26, 2024 Rome, Italy ... | ||
ARTIFICIAL INTELLIGENCE MACHINE LEARNING PATTERN RECOGNITION KNOWLEDGE DISCOVERY | ||
|
||
When: Feb 21, 2024 - Feb 23, 2024 Submission Deadline: Nov 22, 2023 | ||
CALL FOR PAPERS • 15th International Conference on Bioinformatics Models, Methods and Algorithms BIOINFORMATICS • website: https://bioinformatics.scitevents.org • February 21 - 23, ... | ||
BIOINFORMATICS BIOMEDICAL ENGINEERING COMPUTATIONAL BIOLOGY INFORMATICS | ||
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 | ||
|
||
When: Feb 19, 2024 - Feb 24, 2024 Submission Deadline: Jul 31, 2023 | ||
===================================== • Call for papers (CSL'24) • https://csl2024.github.io/Home/ • Abstract submission deadline: July 24th, 2023 (AoE) • ====================... | ||
FORMAL METHODS LOGIC AUTOMATA AND GAMES THEORETICAL COMPUTER SCIENCE | ||
|
||
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 | ||
CSL 2022 : Computer Science Logic 2023Warsaw, Poland |
||
When: Feb 13, 2023 - Feb 17, 2023 Submission Deadline: Jul 16, 2022 | ||
CSL is the annual conference of the European Association for Computer Science Logic (EACSL). • It is an interdisciplinary conference, spanning across both basic and application oriented researc... | ||
FORMAL METHODS LOGIC | ||
MBE 2022 : Special Issue: Computational methods and biomedical application for single-cell omics data analysisMathematical Biosciences and Engineering |
||
When: Feb 18, 2022 - Aug 31, 2022 Submission Deadline: Aug 31, 2022 | ||
Guest Editors • Prof. Shixiong Zhang • School of Computer Science and Technology, Xidian University • Email: [email protected] • Prof. Ka-Chun Wong • Department of C... | ||
BIOINFORMATICS SINGLE CELL OMICS ANALYSIS DEEP LEARNING MACHINE LEARNING | ||
|
||
When: May 17, 2022 - May 18, 2022 Submission Deadline: Feb 16, 2022 | ||
• The International Research Conference Aims and Objectives • The International Research Conference is a federated organization dedicated to bringing together a significant number of diver... | ||
FORMAL METHODS SOFTWARE VERIFICATION CYBER-PHYSICAL SYSTEMS | ||
|
||
When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Feb 15, 2022 | ||
Scope of Workshop • Cooperative software verification aims at increasing the effectiveness of verification by having different verifiers cooperate on a verification task. Cooperation might take... | ||
VERIFICATION FORMAL METHODS SOFTWARE TESTING | ||
|
||
When: May 3, 2022 - May 4, 2022 Submission Deadline: Feb 1, 2022 | ||
• The International Research Conference Aims and Objectives • The International Research Conference is a federated organization dedicated to bringing together a significant number of diver... | ||
FORMAL METHODS VERIFICATION SECURITY SOFTWARE TESTING | ||
SEIM 2022 : Seventh Conference on Software Engineering and Information ManagementSaint Petersburg, Russia |
||
When: Apr 23, 2022 - Apr 23, 2022 Submission Deadline: Feb 9, 2022 | ||
The Seventh Conference on Software Engineering and Information Management (SEIM-2022) opens its doors to young researchers and practitioners in various areas of computer science and software engineer... | ||
SOFTWARE ENGINEERING DISTRIBUTED SYSTEMS INTERNET OF THINGS FORMAL METHODS | ||
|
||
When: Jun 13, 2022 - Jun 17, 2022 Submission Deadline: Feb 4, 2022 | ||
======================================================= • First Call for Papers • 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORT... | ||
COMPUTER SCIENCE DISTRIBUTED COMPUTING FORMAL METHODS | ||
|
||
When: Jun 13, 2022 - Jun 17, 2022 Submission Deadline: Feb 4, 2022 | ||
=================================================================== • FIRST CALL FOR PAPERS • COORDINATION 2022 • 24th International Conference on Coordination Models and Languages ... | ||
COMPUTER SCIENCE DISTRIBUTED COMPUTING FORMAL METHODS PROGRAMMING LANGUAGES | ||
|
||
When: Aug 25, 2022 - Aug 27, 2022 Submission Deadline: Feb 15, 2022 | ||
The Second International Conference on Emerging Techniques in Computational Intelligence, ICETCI 2022, will be held at Mahindra University, Hyderabad on Aug 25-27, 2022. This aims to highlight the ev... | ||
COMPUTATIONAL INTELLIGENCE NEURAL NETWORKS BAYESIAN METHODS COMPUTATIONAL FINANCE | ||
|
||
Submission Deadline: Feb 5, 2022 | ||
Formal methods emerged as an important area in computer science and software engineering about half a century ago. An international community is formed researching, developing and teaching formal the... | ||
FORMAL METHODS VERIFICATION CYBER-PHYSICAL SYSTEMS PARALLEL COMPUTING | ||
TASE 2022 : Theoretical Aspects of Software EngineeringCluj-Napoca, Romania |
||
When: Jul 8, 2022 - Jul 10, 2022 Submission Deadline: Feb 13, 2022 | ||
Overview • TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering.... | ||
FORMAL METHODS VERIFICATION CYBER-PHYSICAL SYSTEMS SOFTWARE ENGINEERING | ||
|
||
When: Apr 2, 2022 - Apr 2, 2022 Submission Deadline: Feb 1, 2022 | ||
The First Workshop on Reproducibility and Replication of Research Results (RRRR 2022) is part of ETAPS 2022 in Munich, Germany. It provides a forum to present novel approaches to foster reproducibili... | ||
FORMAL METHODS VERIFICATION TEST SOFTWARE | ||
|
||
When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Feb 1, 2022 | ||
Topic • The success of machine learning has recently motivated researchers in formal methods to adapt the highly scalable learning methods to the verification setting, where correctness guarant... | ||
FORMAL METHODS VERIFICATION MACHINE LEARNING NEURAL NETWORKS | ||
iFM 2022 : International Conference on integrated Formal MethodsLugano, Switzerland |
||
When: Jun 7, 2022 - Jun 10, 2022 Submission Deadline: Feb 11, 2022 | ||
Objectives and scope • In recent years, we have witnessed a proliferation of approaches that integrate several modelling, verification and simulation techniques, facilitating more versatile and... | ||
FORMAL METHODS VERIFICATION TESTING SOFTWARE ENGINEERING | ||
Find and Compare Upcoming Methods Events in February. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.