 |
||
| 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 | ||
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 | ||
|
|
||
| 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 | ||
|
|
||
| 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: 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 | ||
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 | ||
|
|
||
| When: Jun 07, 2021 - Jun 11, 2021 Submission Deadline: Feb 22, 2021 | ||
| 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 conceptual... | ||
| FORMAL METHODS COMPUTER SCIENCE | ||
TTCS 2020 : Topics in Theoretical Computer ScienceTehran, Iran |
||
| When: Jul 01, 2020 - Jul 03, 2020 Submission Deadline: Feb 16, 2020 | ||
| TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with th... | ||
| COMPUTER SCIENCE MACHINE LEARNING FORMAL METHODS SECURITY | ||
|
|
||
| When: Feb 24, 2020 - Feb 26, 2020 Submission Deadline: Nov 15, 2019 | ||
| CALL FOR PAPERS • 11th International Conference on Bioinformatics Models, Methods and Algorithms BIOINFORMATICS • website: http://www.bioinformatics.biostec.org/ • February 24 - 26, ... | ||
| BIOINFORMATICS BIOMEDICAL ENGINEERING COMPUTATIONAL BIOLOGY INFORMATICS | ||
|
|
||
| When: Feb 22, 2020 - Feb 24, 2020 Submission Deadline: Nov 15, 2019 | ||
| CALL FOR PAPERS • 9th International Conference on Pattern Recognition Applications and Methods ICPRAM • website: http://www.icpram.org/ • February 22 - 24, 2020 Valletta, Malta &bul... | ||
| ARTIFICIAL INTELLIGENCE MACHINE LEARNING PATTERN RECOGNITION KNOWLEDGE DISCOVERY | ||
|
|
||
| When: Jul 13, 2019 - Jul 18, 2019 Submission Deadline: Feb 7, 2019 | ||
| CAV 2019 is the 31st in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum... | ||
| VERIFICATION FORMAL METHODS | ||
|
|
||
| When: Jul 29, 2019 - Jul 31, 2019 Submission Deadline: Feb 28, 2019 | ||
| 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications SIMULTECH • website: http://www.simultech.org/ • July 29 - 31, 2019 Prague, Czech Repub... | ||
| SIMULATION ENERGY FORMAL METHODS COMPLEXITY | ||
Find and Compare Upcoming Methods Conferences in February. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.