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 | ||
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 | ||
|
||
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: Jun 4, 2024 - Jun 7, 2024 Submission Deadline: Mar 2, 2024 | ||
------------------------------------------------ • CALL FOR RESEARCH PAPERS • ------------------------------------------------ • XP is the premier Agile software development confere... | ||
SOFTWARE ENGINEERING AGILE METHODS AGILE TRANSFORMATION DIGITAL TRANSFORMATION | ||
|
||
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 | ||
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 | ||
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 | ||
... | ||
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 | ||
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: Jun 18, 2022 - Jun 19, 2022 Submission Deadline: May 28, 2022 | ||
International Conference on Emerging Practices in Software Process & Architecture (SOFTPA 2022)June 18 ~ 19, 2022, Sydney, Australia • Scope & TopicsInternational Conference on Emerging Practic... | ||
SOFTWARE ENGINEERING PERFORMANCE AUTOMATION FORMAL METHODS | ||
|
||
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 | ||
EBL 2022 : 20th EBL: XX Encontro Brasileiro de Lógica - XX Brazilian Logic ConferenceSalvador - Bahia, Brazil |
||
When: Sep 12, 2022 - Sep 16, 2022 Submission Deadline: Jun 5, 2022 | ||
The Brazilian Logic Conference (EBL) is a traditional event organized by the Brazilian Logic Society (SBL) since 1979. It gathers logicians from all research areas - Foundations and Philosophy of Sci... | ||
LOGIC FORMAL METHODS THEORETICAL COMPUTER SCIENCE | ||
|
||
When: Sep 28, 2022 - Sep 30, 2022 Submission Deadline: Jun 26, 2022 | ||
Overview and Scope • The 20th edition of the International Conference on Software Engineering and Formal Methods (SEFM'22) will be held Sept. 28 - 30, 2022, with workshops on Sept. 26 and 27 an... | ||
SOFTWARE ENGINEERING FORMAL METHODS PROGRAMMING LANGUAGES CYBER-PHYSICAL SYSTEMS | ||
|
||
When: Jun 27, 2022 - Jul 1, 2022 Submission Deadline: Apr 4, 2022 | ||
... | ||
COMPUTATIONAL FLUID DYNAMICS COMPLEX FLUIDS COMPUTATIONAL MECHANICS HIGH PERFORMANCE COMPUTING | ||
|
||
When: Oct 16, 2022 - Oct 20, 2022 Submission Deadline: Jun 2, 2022 | ||
The International Conference on Software Engineering Advances (ICSEA 2022) continues a series of events covering a broad spectrum of software-related topics. The conference covers fundamentals on des... | ||
SOFTWARE ENGINEERING SOFTWARE TESTING FORMAL METHODS PERFORMANCE | ||
|
||
When: Oct 16, 2022 - Oct 20, 2022 Submission Deadline: Jun 2, 2022 | ||
SECURWARE 2022, The Sixteenth International Conference on Emerging Security Information Systems and Technologies, is an event covering related topics on theory and practice on security, cryptography,... | ||
SECURITY CRYPTOGRAPHY RELIABILITY 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: Jun 14, 2022 - Jun 17, 2022 Submission Deadline: Jan 16, 2022 | ||
The conference is an established international forum for providers, practitioners and • researchers in reliable software technologies. The conference presentations will • illustrate curre... | ||
FORMAL METHODS RELIABILITY EMBEDDED SYSTEMS SOFTWARE ENGINEERING | ||
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: Dec 10, 2021 - Jun 5, 2022 Submission Deadline: Jun 1, 2022 | ||
... | ||
CHEMISTRY CHROMATOGRAPHY ANALYTICAL CHEMISTRY SPECTROSCOPY | ||
|
||
When: Oct 22, 2022 - Oct 23, 2022 Submission Deadline: Jun 4, 2022 | ||
International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2022)October 22 ~ 23, 2022, Sydney, AustraliaTopics of interest include, but are not limited to, the followingDevop... | ||
SOFTWARE ENGINEERING MACHINE LEARNING SOFTWARE ARCHITECTURE SOFTWARE TESTING | ||
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 | ||
|
||
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 | ||
iFM 2020 : 16th International Conference on integrated Formal MethodsLugano, Switzerland |
||
When: Nov 16, 2020 - Nov 20, 2020 Submission Deadline: Jun 22, 2020 | ||
The Integrated Formal Methods (iFM) conference series targets research in formal approaches that combine different methods for modeling and analysis. The conference covers a broad spectrum o... | ||
FORMAL METHODS MODELING SOFTWARE ENGINEERING | ||
ICE 2020 : 13th Interaction and Concurrency ExperienceUniversity of Malta, Valletta |
||
When: Jun 19, 2020 - Jun 20, 2020 Submission Deadline: Apr 22, 2020 | ||
Interaction and Concurrency Experiences (ICE) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools... | ||
COMPUTER SCIENCE CONCURRENCY FORMAL METHODS PROGRAMMING LANGUAGES | ||
|
||
When: Jun 15, 2020 - Jun 19, 2020 Submission Deadline: Jan 15, 2020 | ||
The IPMU conference is organized every two years with the focus of bringing together scientists working on methods for the management of uncertainty and aggregation. It also provides a forum for the e... | ||
UNCERTAINTY BAYESIAN METHODS FUZZY SETS MACHINE LEARNING | ||
|
||
When: Jun 18, 2020 - Jun 19, 2020 Submission Deadline: Nov 27, 2019 | ||
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 interes... | ||
RESEARCH METHODOLOGY MIXED METHODS | ||
|
||
When: Oct 15, 2019 - Oct 17, 2019 Submission Deadline: Jun 2, 2019 | ||
---------------------------------------------------------------------- • IFIP-ICTSS 2019 • THE 31st IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS • Paris, France, Oct... | ||
INTERNATIONAL CONFERENCE TESTING FORMAL METHODS VERIFICATION | ||
Find and Compare Upcoming Methods Conferences in June. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.