 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 | ||
 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: 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: Apr 2, 2022 - Apr 2, 2022 Submission Deadline: Feb 1, 2022 | ||
| The First Workshop on Reproducibility and Replication of Research Results (RRRR 2022) is part of ETAPS 2022 in Munich, Germany. It provides a forum to present novel approaches to foster reproducibili... | ||
| FORMAL METHODS VERIFICATION TEST SOFTWARE | ||
 |
||
| When: Apr 2, 2022 - Apr 3, 2022 Submission Deadline: Jan 10, 2022 | ||
| MARS 2022 - CALL FOR PAPERS - Munich (Germany) - 2-3 April 2022 • Call for Papers • Models for Formal Analysis of Real Systems • (MARS 2022) • 2-3 April 2022 • Affiliate... | ||
| NETWORKS FORMAL METHODS CYBER-PHYSICAL SYSTEMS MODELING | ||
 VPT 2022 : Verification and Program TransformationMünchen, Germany |
||
| When: Apr 2, 2022 - Apr 2, 2022 Submission Deadline: Jan 17, 2022 | ||
| The aim of the workshop is to bring together researchers working in the fields of Program Verification and Program Transformation. • There is a great potential for beneficial interactions betwe... | ||
| FORMAL METHODS VERIFICATION TEST PROGRAM | ||
|
|
||
| When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Feb 1, 2022 | ||
| Topic • The success of machine learning has recently motivated researchers in formal methods to adapt the highly scalable learning methods to the verification setting, where correctness guarant... | ||
| FORMAL METHODS VERIFICATION MACHINE LEARNING NEURAL NETWORKS | ||
 |
||
| When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Jan 24, 2022 | ||
| Scope of the Workshop • System variants often arise by configuring parameters that have a direct impact on the system’s behavior. Most prominently, in feature-oriented system design, features... | ||
| FORMAL METHODS CYBER-PHYSICAL SYSTEMS DESIGN PERFORMANCE | ||
|
|
||
| When: Mar 27, 2021 - Apr 01, 2021 Submission Deadline: Oct 15, 2020 | ||
| ... | ||
| FORMAL METHODS PARALLEL COMPUTING PROGRAMMING VERIFICATION | ||
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: Jun 22, 2020 - Jun 22, 2020 Submission Deadline: Apr 24, 2020 | ||
| The use of graphical security models to represent and analyse the security of systems has gained an increasing research attention over the last two decades. Formal methods and computer security resear... | ||
| SECURITY FORMAL METHODS VISUALIZATION COMPUTER SCIENCE | ||
|
|
||
| When: Aug 31, 2020 - Sep 03, 2020 Submission Deadline: Apr 03, 2020 | ||
| The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on evaluation and verification of computer systems and networks, through stochastic models and measuremen... | ||
| FORMAL METHODS SECURITY | ||
 WiL 2020 : 4th Women in Logic WorkshopParis, France |
||
| When: Jun 30, 2020 - Jun 30, 2020 Submission Deadline: Apr 22, 2020 | ||
| Women in Logic 2020 is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, a... | ||
| ARTIFICIAL INTELLIGENCE BIOINFORMATICS FORMAL METHODS | ||
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 | ||
Find and Compare Upcoming Formal Methods Events in April. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
