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: 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 | ||
|
||
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 | ||
|
||
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 | ||
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 | ||
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 | ||
|
||
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 | ||
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 | ||
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 | ||
|
||
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: Nov 28, 2022 - Dec 4, 2022 Submission Deadline: Sep 30, 2022 | ||
The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust, and verifiable methodologies. Arti... | ||
FORMAL METHODS VERIFICATION GAME THEORY | ||
|
||
Submission Deadline: Dec 15, 2022 | ||
Dear Colleagues, • Human–robot Interaction (HRI) research concerns the understanding, design, and evaluation of robotic systems for use by or with humans. The introduction of robots into envi... | ||
ROBOTICS HUMAN-ROBOT INTERACTION MACHINE LEARNING SAFETY AND CONTROL | ||
SBMF 2022 : 25th Brazilian Symposium on Formal MethodsAracaju, Brazil |
||
When: Dec 5, 2022 - Dec 9, 2022 Submission Deadline: Aug 8, 2022 | ||
25th Brazilian Symposium on Formal Methods • Virtual event, 5th to 9th of December, 2022 • Conference web page: https://sites.google.com/dcomp.ufs.br/sbmf2022 • Easychair CFP: https... | ||
FORMAL METHODS SOFTWARE TESTING VERIFICATION CYBER-PHYSICAL SYSTEMS | ||
|
||
When: Jan 1, 2000 - Dec 30, 2022 Submission Deadline: Dec 30, 2022 | ||
Dear Colleagues, • The journal Bioengineering would like to compile a collection of papers to report on the advancements in the field of computer methods in biomedicine. • The aim of this... | ||
BIOMEDICAL ENGINEERING MEDICAL IMAGE | ||
|
||
When: Dec 7, 2022 - Dec 11, 2022 Submission Deadline: Jun 24, 2022 | ||
The 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP 2022) invites the submission of long and short papers on substantial, original, and unpublished research on empirical me... | ||
NLP | ||
sas 2022 : 29th Static Analysis SymposiumAuckland, New Zealand |
||
When: Dec 5, 2022 - Dec 10, 2022 Submission Deadline: May 4, 2022 | ||
Call for Papers • Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The... | ||
FORMAL METHODS VERIFICATION MACHINE LEARNING | ||
SLE 2022 : Software Language EngineeringAuckland, New Zealand |
||
When: Dec 5, 2022 - Dec 10, 2022 Submission Deadline: Apr 13, 2022 | ||
Topics of Interest • SLE covers software language engineering rather than engineering a specific software language. Topics of interest include, but are not limited to: • - Software Langua... | ||
PROGRAMMING LANGUAGES SOFTWARE ENGINEERING FORMAL METHODS PERFORMANCE | ||
ICFMSD 2022 : International Conference on Formal Methods for Software DevelopmentDubai, United Arab Emirates |
||
When: May 5, 2022 - May 6, 2022 Submission Deadline: Dec 30, 2021 | ||
• 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 TESTING SOFTWARE ENGINEERING | ||
|
||
When: Dec 10, 2021 - Jun 5, 2022 Submission Deadline: Jun 1, 2022 | ||
... | ||
CHEMISTRY CHROMATOGRAPHY ANALYTICAL CHEMISTRY SPECTROSCOPY | ||
|
||
When: Jan 1, 2022 - Dec 1, 2022 Submission Deadline: Aug 25, 2022 | ||
Call for Book Chapters • Social Epidemic Network (SEN) • To be published by CRC Press Taylor & Francis Group, USA • This book aims to offer a set of readings as chapters synthesizin... | ||
INTRODUCTION TO EPIDEMICS AND EPIDEMIC NETWORK CONTAGIONS AN DETECTING EPIDEMICS METHODS MODELLING OF EPIDEMICS | ||
|
||
When: Dec 06, 2021 - Dec 10, 2021 Submission Deadline: Jul 23, 2021 | ||
The 19th edition of the International Conference on Software Engineering and Formal Methods will be held virtually between 6 and 10 December 2021. The conference aims to bring together researchers and... | ||
SOFTWARE ENGINEERING FORMAL METHODS COMPUTER SCIENCE | ||
ECRM 2021 : 20th European Conference on Research Methodology for Business and Management StudiesUniversity of Aveiro, Portugal |
||
When: Jun 17, 2021 - Jun 18, 2021 Submission Deadline: Dec 09, 2020 | ||
The ECRM conference will bring together researchers from a range of disciplines and sectors to share expertise and novel approaches in business and management research methods. ECRM is interested in c... | ||
QUANTITATIVE AND QUALITATIVE MIXED METHODS EXPERIMENTAL DESIGN TEACHING RESEARCH METHODOLOGY | ||
|
||
Submission Deadline: Dec 20, 2020 | ||
Today, engineering education organizations have been addressing new professional challenges, guided by general concerns, such as teamwork abilities, argumentation and persuasion abilities in multiple ... | ||
CLOUD COMPUTING MACHINE LEANING EDUCATION INTERNET OF THINGS | ||
|
||
When: Dec 07, 2020 - Dec 07, 2020 Submission Deadline: Sep 11, 2020 | ||
This one day workshop will bring together researchers working on a range of techniques for formal verification of autonomous systems, to present recent work in the area, discuss key difficulties, and ... | ||
FORMAL METHODS AUTONOMOUS SYSTEMS ROBOTICS FORMAL VERIFICATION | ||
|
||
When: Dec 02, 2020 - Dec 04, 2020 Submission Deadline: Jun 26, 2020 | ||
Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing together researchers and practition... | ||
FORMAL METHODS COMPUTER SCIENCE SOFTWARE TESTING EMBEDDED SYSTEMS | ||
A&WMA Measurements 2020 : Air Quality Measurement Methods and TechnologySan Diego, California, USA |
||
When: Dec 01, 2020 - Dec 03, 2020 Submission Deadline: May 04, 2020 | ||
One of our most popular specialty conferences, the Air Quality Measurement Methods and Technology Conference, returns in 2020 with its extensive coverage of all aspects of air measurement methodologie... | ||
ENVIRONMENT ENVIRONMENTAL SCIENCES ENVIRONMENTAL ENGINEERING | ||
Find and Compare Upcoming Methods Events in December. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.