 |
||
| When: Jul 10, 2024 - Jul 12, 2024 Submission Deadline: Feb 15, 2024 | ||
| CALL FOR PAPERS • 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH) • Submission Deadline: February 15, 2024 • In Coo... | ||
| SIMULATION ENERGY FORMAL METHODS COMPLEXITY | ||
 TASE 2024 : 18th Theoretical Aspects of Software Engineering ConferenceGuiyang City, China |
||
| When: Jul 29, 2024 - Aug 1, 2024 Submission Deadline: Feb 24, 2024 | ||
| Call for papers: TASE 2024, Guiyang City, China, July 29 - August 1, 2024 • https://tase2024.github.io/ • Overview • ----------------------------------------------------------------... | ||
| FORMAL METHODS CYBER PHYSICAL SYSTEMS MODEL CHECKING SOFTWARE ENGINEERING | ||
 |
||
| When: Feb 19, 2024 - Feb 24, 2024 Submission Deadline: Jul 31, 2023 | ||
| ===================================== • Call for papers (CSL'24) • https://csl2024.github.io/Home/ • Abstract submission deadline: July 24th, 2023 (AoE) • ====================... | ||
| FORMAL METHODS LOGIC AUTOMATA AND GAMES THEORETICAL COMPUTER SCIENCE | ||
SBMF 2023 : SBMF 2023Manaus, Brazil |
||
| When: Dec 4, 2023 - Dec 8, 2023 Submission Deadline: Jul 28, 2023 | ||
| ========================================================================= • CALL FOR PAPERS • 26th Brazilian Symposium on Formal Methods • Manaus, Brazil, 4th to 8th of December,... | ||
| FORMAL METHODS FORMAL VERIFICATION THEORETICAL FOUNDATIONS SPECIFICATION AND MODELING LAN | ||
 |
||
| When: Oct 22, 2023 - Oct 22, 2023 Submission Deadline: Jul 21, 2023 | ||
| --------------------------------------------------------------------- • Call for Papers • FTSCS 2023 • 9th ACM International Workshop on Formal Techniques for Safety-Critical System... | ||
| FORMAL METHODS SOFTWARE ENGINEERING SAFETY-CRITICAL SYSTEMS VERIFICATION | ||
 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 | ||
 VSTTE 2023 : International Conference on Verified Software: Theories, Tools, and ExperimentsAmes, Iowa, United States |
||
| When: Sep 21, 2023 - Sep 25, 2023 Submission Deadline: Jul 28, 2023 | ||
| Overview • The goal of the VSTTE conference series is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool... | ||
| FORMAL METHODS MODEL CHECKING THEOREM PROVING | ||
|
|
||
| When: Sep 26, 2022 - Sep 26, 2022 Submission Deadline: Jul 31, 2022 | ||
| High levels of safety, security, and privacy standards require formal methods to specify and develop compliant software (sub-)systems. Any standard comes with an assessment process, which requires a ... | ||
| FORMAL METHODS THEORETICAL COMPUTE SCIENCE | ||
|
|
||
| When: Sep 26, 2022 - Sep 27, 2022 Submission Deadline: Jul 29, 2022 | ||
| FMAS 2022 is a two-day workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to present recent work in the area, discuss key ch... | ||
| FORMAL METHODS CYBER-PHYSICAL SYSTEMS | ||
|
|
||
| When: Sep 19, 2022 - Sep 20, 2022 Submission Deadline: Jul 1, 2022 | ||
| MOTIVATION AND SCOPE • The way services and information are currently delivered to a multitude of end-users is changing impressively thanks to the availability of new technologies (e.g., IoT co... | ||
| FORMAL METHODS VERIFICATION SOFTWARE ENGINEERING | ||
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 | ||
|
|
||
| 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 | ||
CSL 2022 : Computer Science Logic 2023Warsaw, Poland |
||
| When: Feb 13, 2023 - Feb 17, 2023 Submission Deadline: Jul 16, 2022 | ||
| CSL is the annual conference of the European Association for Computer Science Logic (EACSL). • It is an interdisciplinary conference, spanning across both basic and application oriented researc... | ||
| FORMAL METHODS LOGIC | ||
 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: Oct 16, 2022 - Oct 21, 2022 Submission Deadline: Jul 20, 2022 | ||
| Models are purposeful abstractions of systems and their environments. They can be used to understand, simulate, and validate complex systems at different abstraction levels. Thus, the use of models i... | ||
| FORMAL METHODS VERIFICATION MODELING TEST | ||
 |
||
| 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 | ||
|
|
||
| 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 | ||
|
|
||
| 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 | ||
TASE 2022 : Theoretical Aspects of Software EngineeringCluj-Napoca, Romania |
||
| When: Jul 8, 2022 - Jul 10, 2022 Submission Deadline: Feb 13, 2022 | ||
| Overview • TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering.... | ||
| FORMAL METHODS VERIFICATION CYBER-PHYSICAL SYSTEMS SOFTWARE ENGINEERING | ||
|
|
||
| When: Dec 06, 2021 - Dec 10, 2021 Submission Deadline: Jul 23, 2021 | ||
| The 19th edition of the International Conference on Software Engineering and Formal Methods will be held virtually between 6 and 10 December 2021. The conference aims to bring together researchers and... | ||
| SOFTWARE ENGINEERING FORMAL METHODS 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 | ||
|
|
||
| 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 | ||
TTCS 2020 : Topics in Theoretical Computer ScienceTehran, Iran |
||
| When: Jul 01, 2020 - Jul 03, 2020 Submission Deadline: Feb 16, 2020 | ||
| TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with th... | ||
| COMPUTER SCIENCE MACHINE LEARNING FORMAL METHODS SECURITY | ||
 |
||
| When: Oct 8, 2019 - Oct 8, 2019 Submission Deadline: Jul 4, 2019 | ||
| Objective : • Abstract domains are a key notion in Abstract Interpretation theory • and practice. The Abstract Interpretation framework provides • constructive and systematic formal ... | ||
| ABSTRACT INTERPRETATION VERIFICATION FORMAL METHODS NUMERICAL DOMAINS | ||
|
|
||
| When: Sep 16, 2019 - Sep 17, 2019 Submission Deadline: Jul 1, 2019 | ||
| # CoSim-CPS-19: 3rd Workshop on Formal Co-Simulation of Cyber-Physical Systems • **Oslo, Norway, September 16-17, 2019** • ## Overview • **Conference website:** https://sites.google.... | ||
| FORMAL METHODS CO-SIMULATION MODELLING SAFETY | ||
|
|
||
| When: Nov 5, 2019 - Nov 9, 2019 Submission Deadline: Jul 12, 2019 | ||
| http://csse.szu.edu.cn/icfem2019/symposium.html • Background and Objectives • The ICFEM 2019 Doctoral Symposium is an international forum for PhD students working in all areas related to f... | ||
| FORMAL METHODS PROGRAM ANALYSIS SOFTWARE ENGINEERING | ||
|
|
||
| When: Dec 4, 2019 - Dec 8, 2019 Submission Deadline: Jul 5, 2019 | ||
| ... | ||
| FORMAL METHODS SOFTWARE ENGINEERING | ||
FVPS 2019 : 2nd Workshop on Formal Verification of Physical SystemsPrague, Czech Republic |
||
| When: Jul 8, 2019 - Jul 12, 2019 Submission Deadline: Apr 25, 2019 | ||
| ... | ||
| FORMAL METHODS CYBER-PHYSICAL SYSTEMS SAFETY FORMAL VERIFICATION | ||
|
|
||
| When: Aug 26, 2019 - Aug 30, 2019 Submission Deadline: Jul 5, 2019 | ||
| • *** Application Deadline: July 5, 2019 • FOSAD has been one of the foremost events established • with the goal of disseminating knowledge about • foundations of security anal... | ||
| SECURITY COMPUTER SCIENCE FORMAL METHODS INFORMATION TECHNOLOGY | ||
Find and Compare Upcoming Formal Methods Events in July. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
