 |
||
| 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 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: 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 | ||
 |
||
| 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 | ||
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 | ||
|
|
||
| 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: 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 | ||
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 | ||
 |
||
| When: Jun 4, 2024 - Jun 7, 2024 Submission Deadline: Feb 9, 2024 | ||
| ------------------------------------------------ • CALL FOR RESEARCH PAPERS • ------------------------------------------------ • XP is the premier Agile software development confere... | ||
| SOFTWARE ENGINEERING AGILE METHODS AGILE TRANSFORMATION DIGITAL TRANSFORMATION | ||
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: Jul 4, 2024 - Jul 5, 2024 Submission Deadline: Jan 5, 2024 | ||
| Papers that are straightforward pieces of research are not of interest UNLESS they spend a significant amount of space on the methods used and the important issues raised with respect to research met... | ||
| ONLINE RESEARCH METHODS TEACHING RESEARCH METHODOLOGY | ||
 |
||
| 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 | ||
|
|
||
| When: Dec 16, 2023 - Dec 16, 2023 Submission Deadline: Dec 1, 2023 | ||
| SCOPE: • NUMERICAL ANALYSIS AND METHODS • SCIENTIFIC COMPUTATION • ALGEBRA AND ITS APPLICATION • FUZZY MATHEMATICS AND ITS APPLICATIONS • GEOMETRY AND ITS APPLICATION &... | ||
| NUMERICAL ANALYSIS AND METHODS SCIENTIFIC COMPUTATION ALGEBRA AND ITS APPLICATION FUZZY MATHEMATICS AND ITS APPL | ||
|
|
||
| When: Sep 15, 2024 - Sep 18, 2024 Submission Deadline: Nov 30, 2023 | ||
| We are thrilled to invite submissions for the 20th International Conference on Metal Forming, an esteemed event organized by AGH University of Krakow, Poland, along with other notable international u... | ||
| PROCESS AND SYSTEM MODELLING DEFORMATION MECHANICS MANUFACTURING METHODS MATERIALS | ||
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: 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 | ||
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 | ||
| ... | ||
|
|
||
| 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 | ||
 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 | ||
 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: 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 | ||
Find and Compare Upcoming Methods Conferences. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.