 |
||
| When: Sep 8, 2024 - Sep 11, 2024 Submission Deadline: Apr 30, 2024 | ||
| Two major measures of the quality of high performance computations are numerical accuracy and efficiency. • Interval methods are a class of algorithms that are accurate and even allow to obtain... | ||
| INTERVAL METHODS FUZY METHODS HPC MACHINE LEARNING | ||
|
|
||
| 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 16, 2024 - Sep 18, 2024 Submission Deadline: Apr 21, 2024 | ||
| Call for papers CMSB 2024 • 22nd Conference on Computational Methods in Systems Biology • September 16-18, 2024 • Dipartimento di Informatica • Pisa • https://biomedinfo... | ||
| SYSTEMS BIOLOGY BIOINFORMATICS COMPUTATIONAL BIOLOGY | ||
 |
||
| When: Sep 24, 2024 - Sep 26, 2024 Submission Deadline: Apr 1, 2024 | ||
| Please check details at: https://atenea.esimecu.ipn.mx/cfp.html • Conference Topics of SOMET 2024, but no limited • Requirement engineering, especially for high-assurance system, and requ... | ||
| SOFTWARE SCIENCE SOFTWARE TOOLS ARTIFICIAL INTELLIGENCE IN SOF SOFTWARE METHODS | ||
|
|
||
| When: May 27, 2024 - May 27, 2024 Submission Deadline: Apr 3, 2024 | ||
| Machine Learning Methods in Visualisation will be held as part of EuroVis 2024 in Odense, Denmark. The ninth edition of this co-located event will be part-tutorial and part-workshop so as to increase... | ||
| MACHINE LEARNING VISUALISATION | ||
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: Apr 10, 2024 - Apr 11, 2024 Submission Deadline: Jan 15, 2024 | ||
| The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of... | ||
| FORMAL METHODS VERIFICATION | ||
 |
||
| When: Apr 15, 2024 - Apr 18, 2024 Submission Deadline: Jan 5, 2024 | ||
| Objectives and topics • We invite researchers, practitioners, and innovators to contribute to a special session dedicated to the transformative impact of generative and natural language process... | ||
| NEURAL NETWORKS NATURAL LANGUAGE PROCESSING NLP APPLICATIONS LLM | ||
 |
||
| 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 | ||
 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 | ||
 ESOP 2023 : 32st European Symposium on ProgrammingParis, France |
||
| When: Apr 22, 2023 - Apr 27, 2023 Submission Deadline: Oct 13, 2022 | ||
| 32st European Symposium on Programming • General information • ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of pro... | ||
| PROGRAMMING LANGUAGES FORMAL METHODS | ||
 |
||
| When: Jun 21, 2022 - Jun 21, 2022 Submission Deadline: Apr 20, 2022 | ||
| For the successful realization of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of cruci... | ||
| SOFTWARE ENGINEERING CYBER-PHYSICAL SYSTEMS FORMAL METHODS MODELING | ||
|
|
||
| When: Aug 11, 2022 - Aug 12, 2022 Submission Deadline: Apr 26, 2022 | ||
| 8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING • Co-located with FLoC/IJCAR 2022, August 11-12, 2022, Haifa, Isreal • General Information • The Eighth Workshop on Practica... | ||
| ARTIFICIAL INTELLIGENCE FORMAL METHODS LOGIC MACHINE LEARNING | ||
 LearnAut 2022 : Learning & Automata 2022Paris, France |
||
| When: Jul 4, 2022 - Jul 4, 2022 Submission Deadline: Apr 7, 2022 | ||
| Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexit... | ||
| MACHINE LEARNING FORMAL METHODS COMPLEXITY PROGRAMMING LANGUAGES | ||
|
|
||
| When: Jun 13, 2022 - Jun 13, 2022 Submission Deadline: Apr 20, 2022 | ||
| MLVis 2022: Machine Learning Methods in Visualisation for Big Data • https://www.tuni.fi/mlvis2022/ • MLVis 2022 will be a co-located workshop at EuroVis 2022. It aims to bring Machine Le... | ||
| VISUALIZATION MACHINE LEARNING DATA MINING DATA SCIENCE | ||
CISMA 2022 : Computer and Information Security: Methods and ApplicationsXalapa, Veracruz, Mexico |
||
| When: Aug 24, 2022 - Aug 26, 2022 Submission Deadline: Apr 30, 2022 | ||
| The "Computer and Information Security: Methods and Applications – CISMA" workshop will be held as part of "2022 Encuentro Nacional de Computación – ENC 2022", in virtual format, on August 24-26... | ||
| CRYPTOGRAPHY BLOCKCHAIN SECURITY DATA HIDING | ||
|
|
||
| When: Sep 14, 2022 - Sep 16, 2022 Submission Deadline: Apr 8, 2022 | ||
| The 10th International Conference on Soft Methods in Probability and Statistics (SMPS 2022) will be held in Valladolid, Spain, on September 14-16, 2022. • The SMPS conference is a biennial even... | ||
| MACHINE LEARNING FUZZY SETS CLUSTERING NEURAL NETWORKS | ||
|
|
||
| When: Jul 18, 2022 - Jul 21, 2022 Submission Deadline: Apr 18, 2022 | ||
| The International Workshop on Logic and Synthesis is the premier forum for research in • synthesis, optimization, and verification of integrated circuits ans systems. Research on logic synthesi... | ||
| LOGIC VERIFICATION FORMAL METHODS OPTIMIZATION | ||
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 | ||
 |
||
| When: Jun 14, 2022 - Jun 14, 2022 Submission Deadline: Apr 1, 2022 | ||
| KR4HI is the first International Workshop on Knowledge Representation for Hybrid intelligence which will be co-located with the first international conference on Hybrid-Human Artificial Intelligence ... | ||
| AS ARTIFICIAL INTELLIGENCE KNOWLEDGE ENGINEERING FORMAL METHODS LOGIC | ||
 |
||
| When: Jun 20, 2022 - Jun 21, 2022 Submission Deadline: Apr 1, 2022 | ||
| Data-driven AI is the dominating trend in AI at this time. From a planning and scheduling perspective – and for sequential decision making in general – this is manifested in two major kinds of te... | ||
| MACHINE LEARNING RELIABILITY DATA SCIENCE FORMAL METHODS | ||
|
|
||
| When: Oct 24, 2022 - Oct 28, 2022 Submission Deadline: Apr 30, 2022 | ||
| • The ISoLA Symposium is a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools for the specification, analysis, verification, certifi... | ||
| FORMAL METHODS SOFTWARE TESTING COMPUTATIONAL BIOLOGY TRANSPORTATION | ||
 |
||
| When: Jun 17, 2022 - Jun 17, 2022 Submission Deadline: Apr 15, 2022 | ||
| BlockTEE’22 is planned as a physical, in-person event, with certain support for remote presence, both for speakers and for other participants who are unable or unwilling to come. Depending on the p... | ||
| BLOCKCHAIN DISTRIBUTED SYSTEMS FORMAL METHODS | ||
|
|
||
| When: Jun 13, 2022 - Jun 17, 2022 Submission Deadline: Apr 29, 2022 | ||
| Interaction and Concurrency Experience (ICE) is a series of • international scientific meetings oriented to theoretical computer • science researchers with special interest in models, ver... | ||
| FORMAL METHODS LOGIC VERIFICATION | ||
|
|
||
| When: Jun 13, 2022 - Jun 17, 2022 Submission Deadline: Apr 15, 2022 | ||
| FOCODILE 2022 is one of the workshops at DisCoTec 2022, the 17th International Federated Conference on Distributed Computing Techniques. • COVID-19: FOCODILE 22 is planned as a physical, in-per... | ||
| FORMAL METHODS BLOCKCHAIN SECURITY | ||
|
|
||
| When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Feb 15, 2022 | ||
| Scope of Workshop • Cooperative software verification aims at increasing the effectiveness of verification by having different verifiers cooperate on a verification task. Cooperation might take... | ||
| VERIFICATION FORMAL METHODS SOFTWARE TESTING | ||
|
|
||
| When: Sep 12, 2022 - Sep 16, 2022 Submission Deadline: Apr 22, 2022 | ||
| Context • The International Systems and Software Product Lines Conference (SPLC) is the leading conference on variability and configuration of hardware and software systems. Researchers, practi... | ||
| ARTIFICIAL INTELLIGENCE SOFTWARE FORMAL METHODS GREEN COMPUTING | ||
|
|
||
| When: Sep 19, 2022 - Sep 22, 2022 Submission Deadline: Apr 11, 2022 | ||
| • Call for Papers • The 41st International Symposium on Reliable Distributed Systems (SRDS 2022) is a forum for researchers and practitioners interested in distributed systems design, deve... | ||
| RELIABILITY DISTRIBUTED SYSTEMS SECURITY FORMAL METHODS | ||
SEIM 2022 : Seventh Conference on Software Engineering and Information ManagementSaint Petersburg, Russia |
||
| When: Apr 23, 2022 - Apr 23, 2022 Submission Deadline: Feb 9, 2022 | ||
| The Seventh Conference on Software Engineering and Information Management (SEIM-2022) opens its doors to young researchers and practitioners in various areas of computer science and software engineer... | ||
| SOFTWARE ENGINEERING DISTRIBUTED SYSTEMS INTERNET OF THINGS FORMAL METHODS | ||
|
|
||
| When: Jun 27, 2022 - Jul 1, 2022 Submission Deadline: Apr 4, 2022 | ||
| ... | ||
| COMPUTATIONAL FLUID DYNAMICS COMPLEX FLUIDS COMPUTATIONAL MECHANICS HIGH PERFORMANCE COMPUTING | ||
Find and Compare Upcoming Methods Events in April. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
