 |
||
| 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 | ||
 |
||
| 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 | ||
 |
||
| 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: 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 | ||
 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: 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 | ||
 |
||
| When: Nov 27, 2023 - Nov 28, 2023 Submission Deadline: Jul 16, 2023 | ||
| • PHRAME: Phraseological complexity measures in learner Italian. Integrating eye tracking, computational and learner corpus methods to develop second language pedagogical resources Closing event... | ||
| NLP COMPUTATIONAL LINGUISTICS ARTIFICIAL INTELLIGENE | ||
 |
||
| When: Nov 6, 2023 - Nov 9, 2023 Submission Deadline: Aug 9, 2023 | ||
| * At a Glance • . Submission Deadline: *NEW* August 9th, 2023 • . Location: Lisbon, Portugal • . Papers: Complete studies, designs, or position papers (10 LNCS pages max) • . ... | ||
| CONCEPTUAL MODELING EMPIRICAL METHODS | ||
 |
||
| When: Nov 7, 2023 - Nov 9, 2023 Submission Deadline: Jun 15, 2023 | ||
| Dear Colleague(s), • the Third International Workshop on Artificial Intelligence methods for Smart Cities (AISC 2023) is organized in *online mode* by the Artificial Intelligence and Big Data L... | ||
| COMPUTER SCIENCE MACHINE LEARNING COMPUTER VISION ARTIFICIAL INTELLIGENCE | ||
 |
||
| When: Nov 16, 2023 - Nov 17, 2023 Submission Deadline: Sep 8, 2023 | ||
| LANMR 2023 is the fifteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning organized by Universidad Nacional Autónoma de México through Fa... | ||
| LOGIC AUTOMATED RESONING FORMAL METHODS | ||
FMAS 2023 : Fifth Workshop on Formal Methods for Autonomous SystemsLeiden, The Netherlands |
||
| When: Nov 15, 2023 - Nov 16, 2023 Submission Deadline: Aug 31, 2023 | ||
| FMAS 2023 is a two-day peer-reviewed international workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to present recent work... | ||
| FORMAL METHODS AUTONOMOUS SYSTEMS VERIFICATION SOFTWARE ENGINEERING | ||
 |
||
| 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 | ||
 |
||
| When: Nov 7, 2022 - Nov 9, 2022 Submission Deadline: Jun 26, 2022 | ||
| ****** TIME 2022 ****** • 29th International Symposium on Temporal Representation and Reasoning • 07-09 November 2022 - Online • https://time2022.time-symposium.org • *** Scop... | ||
| FORMAL METHODS LOGIC DATABASE ARTIFICIAL INTELLIGENCE | ||
|
|
||
| When: Nov 27, 2022 - Nov 28, 2022 Submission Deadline: Aug 20, 2022 | ||
| ICCSAITCS ‘2022 is an International Conference on Cyber Security, Artificial Intelligence and Theoretical Computer Science. • The Faculty of Sciences, of the University M’Hamed Bougara – ... | ||
| ARTIFICIAL INTELLIGENCE CYBER SECURITY FORMAL METHODS | ||
|
|
||
| Submission Deadline: Nov 1, 2022 | ||
| Special Issue on Novel Bayesian Methods in Biopharmaceutical Statistics • Guest Editors: • James D. Stamey, Baylor University, USA • Mani Lakshminarayanan, Independent consultant, U... | ||
| STATISTICS BAYESIAN METHODS | ||
FACS 2022 : 18th International Conference on Formal Aspects of Component SoftwareOslo, Norway (online) |
||
| When: Nov 10, 2022 - Nov 11, 2022 Submission Deadline: Jul 4, 2022 | ||
| FOLLOW US • All updates on https://twitter.com/facs_conf. • INVITED SPEAKERS • - Christel Baier, TU Dresden, Germany • - Renato Neves, University of Minho, Portugal • - ... | ||
| FORMAL METHODS CYBER-PHYSICAL SYSTEMS SOFTWARE | ||
FM 2021 : Formal Methods 2021Beijing, China |
||
| When: Nov 20, 2021 - Nov 26, 2021 Submission Deadline: Apr 30, 2021 | ||
| FM 2021 is the 24th international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for s... | ||
| SOFTWARE SYSTEMS ENGINEERING | ||
|
|
||
| When: Mar 23, 2021 - Mar 26, 2021 Submission Deadline: Nov 01, 2020 | ||
| Artificial intelligence (AI) is mainly data-driven. It uses statistical methods through human-machine relationships during the generation of data, production of algorithms, and prediction of results. ... | ||
| STATISTICAL METHODS ARTIFICIAL INTELLIGENCE | ||
|
|
||
| When: May 19, 2021 - May 21, 2021 Submission Deadline: Nov 01, 2020 | ||
| FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in t... | ||
| SOFTWARE ENGINEERING FORMAL METHODS SOFTWARE TESTING COMPUTER SCIENCE | ||
|
|
||
| When: Nov 28, 2020 - Nov 30, 2020 Submission Deadline: Jul 15, 2020 | ||
| The 4th Edition of the International Conference on Advanced Aspects of Software Engineering (ICAASE’20) will be held in November 28-30, 2020. The conference will provide an excellent internation... | ||
| SOFTWARE ENGINEERING FORMAL METHODS ARTIFICIAL INTELLIGENCE EMERGING SYSTEMS | ||
SBMF 2020 : 23rd Brazilian Symposium on Formal MethodsOuro Preto / Brazil |
||
| When: Nov 25, 2020 - Nov 27, 2020 Submission Deadline: Jul 17, 2020 | ||
| The 23rd SBMF is the 2020 edition of a series of events devoted to the development, dissemination, and use of formal methods for the construction of high-quality computational systems. It is now a wel... | ||
| FORMAL METHODS COMPUTER SCIENCE SOFTWARE TESTING | ||
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 | ||
|
|
||
| When: Nov 03, 2020 - Nov 04, 2020 Submission Deadline: Sep 14, 2020 | ||
| Program Committee solicites regular research submissions in the form of extended abstracts (up to 8 pages, LNCS style) in English (additional details could be included in an appendix up to 4 pag... | ||
| FORMAL METHODS SEMANTICS | ||
|
|
||
| When: Feb 28, 2020 - Nov 30, 2020 Submission Deadline: Nov 30, 2020 | ||
| Composite fibres with new functions are increasingly used in a broad range of industrial applications, including textiles, automotive, aerospace, electrical, and piping systems. Composite fibres are c... | ||
| MATERIALS SCIENCE MECHANICAL SUSTAINABILITY | ||
CONISOFT 2020 : 8th International Conference on Software Engineering Research and InnovationChetumal, Quintana Roo, Mexico |
||
| When: Nov 04, 2020 - Nov 06, 2020 Submission Deadline: May 22, 2020 | ||
| The 8th International Conference in Software Engineering Research and Innovation (CONISOFT’20) will be held at the Instituto Tecnológico de Chetumal (Technological Institute of ... | ||
| SOFTWARE ENGINEERING FORMAL METHODS | ||
|
|
||
| When: Nov 24, 2020 - Nov 27, 2020 Submission Deadline: Jul 04, 2020 | ||
| The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA) 2020 will be held in Guangzhou China on November 24-27, 2020. SETTA 2020 will be sponsored by Institute of So... | ||
| FORMAL METHODS EMBEDDED SYSTEMS SOFTWARE ENGINEERING SAFETY | ||
|
|
||
| When: Nov 02, 2020 - Nov 06, 2020 Submission Deadline: May 01, 2020 | ||
| International Conference on Formal Engineering Methods (ICFEM) is an international leading conference series in formal methods and software engineering. Since 1997, ICFEM has been serving as an intern... | ||
| FORMAL METHODS VERIFICATION SOFTWARE ENGINEERING PROGRAM ANALYSIS | ||
EMNLP 2020 : The 2020 Conference on Empirical Methods in Natural Language ProcessingPunta Cana, Dominican Republic |
||
| When: Nov 08, 2020 - Nov 12, 2020 Submission Deadline: May 11, 2020 | ||
| The 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP 2020) invites the submission of long and short papers on substantial, original, and unpublished research in empirical met... | ||
| NATURAL LANGUAGE PROCESSING | ||
Find and Compare Upcoming Methods Events in November. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.