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 | ||
|
||
When: Apr 23, 2024 - Apr 25, 2024 Submission Deadline: Nov 25, 2023 | ||
The 5th International Workshop on Statistical Methods and Artificial Intelligence • In conjunction with the The 15th International Conference on Ambient Systems, Networks and Technologies (ANT)... | ||
ARTIFICIAL INTELLIGENCE DATA MINING COMPUTATIONAL STATISTICS NEURAL NETWORKS | ||
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 | ||
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: Sep 29, 2023 - Nov 1, 2023 Submission Deadline: Nov 1, 2023 | ||
CFP: Call for short case studies and field reflections: edited book, Practicing Digital Ethnography • Routledge invites submissions of short chapters for an edited volume, Practicing Digital Et... | ||
DIGITAL ETHNOGRAPHY DIGITAL ANTHROPOLOGY DIGITAL HUMANITIES DIGITAL METHODS | ||
|
||
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 | ||
FM 2024 : Formal MethodsMilan, Italy |
||
When: Sep 9, 2024 - Sep 13, 2024 Submission Deadline: Apr 12, 2024 | ||
FM 2024 is the 26th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, f... | ||
FORMAL METHODS | ||
|
||
Submission Deadline: Jan 15, 2023 | ||
We are pleased to invite you to submit your chapter proposal, which can be selected for inclusion in an upcoming edited book titled "Advanced Intelligence Methods for Data Science and Optimization," ... | ||
ARTIFICIAL INTELLIGENCE MACHINE LEARNING DATA ANALYTICS EVOLUTIONARY COMPUTATION | ||
|
||
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: Mar 26, 2024 - Mar 26, 2024 Submission Deadline: Nov 26, 2023 | ||
The Workshop is a part of WorldCist'24 - 12th World Conference on Information Systems and Technologies, to be held in Lodz, at Lodz University of Technology, Poland, 26 - 28 March 2024 (https://world... | ||
COMPUTATIONAL INTELLIGENCE INTELLIGENT SYSTEMS COMPUTER SCIENCE ALGORITHMS | ||
OrMeKR 2023 : Ordinal Methods for Knowledge Representation and Capture @ K-Cap 2023Pensacola, Florida, USA |
||
When: Dec 5, 2023 - Dec 5, 2023 Submission Deadline: Oct 15, 2023 | ||
Workshop at K-CAP 2023: Ordinal Methods for Knowledge Representation and Capture (OrMeKR) • December 5, 2023 • In conjuction with The Twelfth International Conference on Knowledge Capture... | ||
ARTIFICIAL INTELLIGENCE KNOWLEDGE DISCOVERY MACHINE LEARNING DATA MINING | ||
|
||
Submission Deadline: Jan 15, 2024 | ||
************************************************************************************************ • Electronics : Special Issue "Combining Model-Based and Data-Driven Methods in Human–Computer... | ||
MODEL-DRIVEN ENGINEERING SIGNAL PROCESSING HUMAN-CENTERED DESIGN ACTIVITY RECOGNITION | ||
|
||
When: Dec 21, 2023 - Dec 23, 2023 Submission Deadline: Oct 1, 2023 | ||
Special Session on Advanced Computational and Artificial Intelligence Methods in Smart Forestry is a part of 7th European Conference on Electrical Engineering & Computer Science (ELECS 2023) • ... | ||
ARTIFICIAL INTELLIGENCE CYBER-PHYSICAL SYSTEMS IOT INTERNET OF THINGS | ||
ISAIM 2024 : 18th International Symposium on Artificial Intelligence and MathematicsFort Lauderdale, Florida, USA |
||
When: Jan 8, 2024 - Jan 10, 2024 Submission Deadline: Oct 17, 2023 | ||
The 18th International Symposium on Artificial Intelligence and Mathematics is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intellige... | ||
ARTIFICIAL INTELLIGENCE MATHEMATICAL METHODS OF AI FAIRNESS IN AI DEEP REINFORCEMENT LEARNING | ||
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 | ||
|
||
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 | ||
SBMF 2023 : SBMF 2023Manaus, Brazil |
||
When: Dec 4, 2023 - Dec 8, 2023 Submission Deadline: Jul 28, 2023 | ||
========================================================================= • CALL FOR PAPERS • 26th Brazilian Symposium on Formal Methods • Manaus, Brazil, 4th to 8th of December,... | ||
FORMAL METHODS FORMAL VERIFICATION THEORETICAL FOUNDATIONS SPECIFICATION AND MODELING LAN | ||
|
||
Submission Deadline: Dec 20, 2023 | ||
Dear colleague, • We are preparing a Special Issue called “Data Science Methods in Big Data Era” within the Applied Sciences Journal (MDPI) that will be published next year. • We want... | ||
DATA MINING BIG DATA MACHINE LEARNING STREAM MINING | ||
|
||
When: Nov 7, 2023 - Nov 7, 2023 Submission Deadline: Sep 8, 2023 | ||
Cognition encompasses many aspects of intellectual functions and processes such as attention, knowledge, memory, judgment, reasoning, problem solving, decision making, comprehension and production of... | ||
COGNITIVE COMPUTING FORMAL METHODS INTERDISCIPLINARY APPROACH MODELS AND APPLICATIONS | ||
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.