 |
||
| When: Sep 4, 2024 - Sep 6, 2024 Submission Deadline: May 15, 2024 | ||
| CIBB is a multidisciplinary forum for researchers interested in the broad application of computational intelligence to open problems in bioinformatics, biostatistics, systems and synthetic biology, a... | ||
| BIOINFORMATICS COMPUTATIONAL BIOLOGY STATISTICS ARTIFICIAL INTELLIGENCE | ||
 |
||
| 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 | ||
 |
||
| Submission Deadline: May 31, 2024 | ||
| ================[Apologies for any cross-posting]================ • **Special issue of the journal Traitement Automatique des Langues (TAL) Abusive Language Detection : Linguistic Resources, Me... | ||
| NLP COMPUTATIONAL LINGUISTICS TEXT MINING ARTIFICIAL INTELLIGENCE | ||
 |
||
| When: Sep 9, 2024 - Sep 11, 2024 Submission Deadline: May 1, 2024 | ||
| FMICS 2024: • 29th International Conference on Formal Methods for Industrial Critical Systems4 • Colocated with FM 2024 • Milan, Italy, 9-11 September 2024 • https://fmics.inr... | ||
| FORMAL METHODS INDUSTRIAL CASE STUDIES | ||
 SEMMES 2024 : Semantic Methods for Events and StoriesHersonissos, Greece |
||
| When: May 26, 2024 - May 27, 2024 Submission Deadline: Mar 7, 2024 | ||
| • *************** • Semantic Methods for Events and Stories, 2nd Edition (SEMMES 2024) – Call for Papers • *************** • Website: https://anr-kflow.github.io/semmes/ &bu... | ||
| NLP COMPUTATIONAL LINGUISTICS ARTIFICIAL INTELLIGENE | ||
|
|
||
| When: Sep 9, 2024 - Sep 10, 2024 Submission Deadline: May 15, 2024 | ||
| Aim and Scope • ------------- • TAP 2024 is the 18th International Conference on Tests and Proofs. TAP • promotes research in verification and formal methods that targets the &bull... | ||
| FORMAL METHODS THEOREM PROVING TESTING | ||
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 | ||
 ArgXAI 2023 : 2nd International Workshop on Argumentation for eXplainable AIImperial College London London, UK, |
||
| When: Jul 10, 2023 - Jul 10, 2023 Submission Deadline: May 15, 2023 | ||
| 2nd International Workshop on Argumentation for eXplainable AI (ArgXAI) • Co-located with ICLP 2023 (London, UK) • In recent years, research on intelligent systems that can explain their ... | ||
| LOGIC PROGRAMMING FORMAL METHODS EXPLAINABLE AI | ||
 |
||
| When: Oct 9, 2023 - Oct 13, 2023 Submission Deadline: May 22, 2023 | ||
| Call for Papers • Practical applications of explainable artificial intelligence methods special session at 10th IEEE International Conference on Data Science and Advanced Analytics (DSAA 2023) ... | ||
| XAI MACHINE LEARNING DATA MINING ARTIFICIAL INTELLIGENCE | ||
|
|
||
| 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: Aug 26, 2022 - Aug 27, 2022 Submission Deadline: May 30, 2022 | ||
| The workshop is organized by the Faculty of Informatics of the University of Debrecen, directly before DCFS 2022, the 24th International Conference of Descriptional Complexity of Formal Systems (Debr... | ||
| FORMAL METHODS COMPUTER SCIENCE AUTOMATA | ||
 RE4ES 2022 : Requirements Engineering for Explainable SystemsOldenburg, Germany |
||
| When: Aug 15, 2022 - Aug 15, 2022 Submission Deadline: May 19, 2022 | ||
| We live in the age of autonomous and complex software systems. Research advances the state-of-the-art at great speed in search of higher degrees of system autonomy. With the number and impact of such... | ||
| SOFTWARE ENGINEERING FORMAL METHODS | ||
 |
||
| When: Aug 14, 2022 - Aug 18, 2022 Submission Deadline: May 10, 2022 | ||
| This workshop aims to bring together both academic researchers and industrial practitioners from different backgrounds to discuss a wide range of topics of emerging importance for GNN, including 1) t... | ||
| DEEP LEARNING GRAPH NEURAL NETWORK ARTIFICIAL INTELLIGENCE DATA MINING | ||
|
|
||
| When: Sep 11, 2022 - Sep 14, 2022 Submission Deadline: May 20, 2022 | ||
| The submission deadline is extended till May 20!!! • Overview: • ============ • Two major measures of the quality of high performance computations are numerical accuracy and efficie... | ||
| INTERVAL METHODS FUZZY METHODS HPC MACHINE LEARNING | ||
 |
||
| When: Jun 20, 2022 - Jun 22, 2022 Submission Deadline: May 6, 2022 | ||
| • Scope • The field of formal concept analysis is reaching a level of maturity where computer tools are beginning to be available. This workshop aims to promote these different tools and t... | ||
| FORMAL METHODS DATA SCIENCE | ||
|
|
||
| When: Jul 27, 2022 - Jul 29, 2022 Submission Deadline: May 20, 2022 | ||
| CALL FOR PAPERS • ---------------------------------------------------- • DS4CS 2022: IEEE Workshop on Data Science for Cyber Security • Held in conjunction with the IEEE Internation... | ||
| DATA SCIENCE CYBER SECURITY MACHINE LEARNING VISUALIZATION METHODS | ||
|
|
||
| When: Jul 8, 2022 - Jul 10, 2022 Submission Deadline: May 15, 2022 | ||
| The formal design and verification of Cyber-Physical Systems pose numerous diverse and interesting challenges to both research and engineering communities. Because of their hybrid and distributed nat... | ||
| CYBER-PHYSICAL SYSTEMS FORMAL METHODS PROGRAMMING LANGUAGES | ||
|
|
||
| When: Sep 6, 2022 - Sep 6, 2022 Submission Deadline: May 9, 2022 | ||
| In recent years it has become evident that the use of software to perform critical functions is on the rise. As a result, dependable embedded systems are getting more intelligent and automated. &bul... | ||
| FORMAL METHODS CYBER-PHYSICAL SYSTEMS SECURITY DATA SCIENCE | ||
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 | ||
|
|
||
| When: Oct 10, 2022 - Oct 12, 2022 Submission Deadline: May 15, 2022 | ||
| The 28th International Workshop on Cellular Automata and Discrete Complex Systems will take place on October 10-12 at the Indian Institute of Technology Kharagpur, India • AUTOMATA 2022 is the ... | ||
| COMPUTER SCIENCE MACHINE LEARNING FORMAL METHODS PROGRAMMING LANGUAGES | ||
|
|
||
| When: Aug 11, 2022 - Aug 11, 2022 Submission Deadline: May 10, 2022 | ||
| Scope • Numerical computations are ubiquitous in digital systems: supervision, prediction, simulation and signal processing rely heavily on numerical calculus to achieve desired goals. Design a... | ||
| FORMAL METHODS VERIFICATION MACHINE LEARNING CONTROL | ||
 |
||
| When: Jul 31, 2022 - Aug 1, 2022 Submission Deadline: May 20, 2022 | ||
| 2022 Joint Workshop Linearity & TLLA • Haifa, Israel • 31 July - 1 August 2022 • ======================================================== • FIRST Call for Papers • 3rd J... | ||
| LOGIC FORMAL METHODS THEORETICAL COMPUTER SCIENCE PROGRAMMING LANGUAGES | ||
SBLP 2022 : XXVI Brazilian Symposium on Programming LanguagesUberlândia, Brazil |
||
| When: Oct 3, 2022 - Oct 7, 2022 Submission Deadline: May 22, 2022 | ||
| SBLP 2022 • 26th Brazilian Symposium on Programming Languages • SBLP 2022 is the 26th edition of the Brazilian Symposium on Programming Languages. It is promoted by the Brazilian Computer... | ||
| PROGRAMMING LANGUAGES FORMAL METHODS BLOCKCHAIN | ||
EMAS 2022 : 10th International Workshop on Engineering Multi-Agent SystemsAuckland, New Zealand |
||
| When: May 9, 2022 - May 10, 2022 Submission Deadline: Mar 4, 2022 | ||
| Multiagent systems (MAS)—systems composed of autonomous agents who interact with each other— are ideally suited to realizing modern software applications. For instance, MAS ideas are well-suited ... | ||
| IOT MACHINE LEARNING FORMAL METHODS TRANSPORTATION | ||
 |
||
| When: May 17, 2022 - May 18, 2022 Submission Deadline: Feb 16, 2022 | ||
| • 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 SOFTWARE VERIFICATION CYBER-PHYSICAL SYSTEMS | ||
|
|
||
| When: May 3, 2022 - May 4, 2022 Submission Deadline: Feb 1, 2022 | ||
| • 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 SECURITY SOFTWARE TESTING | ||
FMCAD 2022 : Formal Methods in Computer-Aided DesignTrento, Italy |
||
| When: Oct 18, 2022 - Oct 21, 2022 Submission Deadline: May 22, 2022 | ||
| CONFERENCE SCOPE AND PUBLICATION • FMCAD 2022 is the twenty-second in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provide... | ||
| FORMAL METHODS VERIFICATION CYBER-PHYSICAL SYSTEMS | ||
|
|
||
| When: Jul 31, 2022 - Aug 1, 2022 Submission Deadline: May 10, 2022 | ||
| ========================================================== • First Call for Contributions • FOMEO'22 Formal Methods Education Online: Tips, Tricks & Tools • Collocated with FLoC'22 ... | ||
| FORMAL METHODS LOGIC | ||
Find and Compare Upcoming Methods Events in May. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
