 AREA 2024 : 4th Workshop on Agents and Robots for reliable Engineered AutonomySantiago de Compostela |
||
| When: Oct 19, 2024 - Oct 20, 2024 Submission Deadline: Jun 18, 2024 | ||
| CALL FOR PAPERS • Fourth Workshop on Agents and Robots for reliable Engineered Autonomy (AREA) • Co-located with ECAI 2024 • Workshop: 19th October - 20th October 2024 (exact day TB... | ||
| MULTI-AGENT SYSTEMS ROBOTICS FORMAL VERIFICATION SOFTWARE ENGINEERING | ||
 LearnAut 2024 : Learning and AutomataTallinn, Estonia |
||
| When: Jul 7, 2024 - Jul 7, 2024 Submission Deadline: Apr 18, 2024 | ||
| Learning and Automata (LearnAut) -- ICALP 2024 workshop • July 7th - Tallinn, Estonia • Website: https://learnaut24.github.io/ • Deadline: April 18 • Submission portal: https:... | ||
| GRAMMATICAL INFERENCE THEORETICAL COMPUTER SCIENCE MACHINE LEARNING FORMAL VERIFICATION | ||
 |
||
| When: Jul 1, 2024 - Jul 5, 2024 Submission Deadline: Feb 26, 2024 | ||
| Over the past few years, challenges stemming from information disorder and its associated issues have presented significant hurdles in various domains including healthcare, election reporting, and po... | ||
| INFORMATION DISORDER COMPUTER SECURITY MULTIMEDIA VERIFICATION MACHINE LEARNING | ||
 RV 2024 : Runtime Verification 2024Istanbul, Turkey |
||
| When: Oct 15, 2024 - Oct 18, 2024 Submission Deadline: May 14, 2024 | ||
| Runtime Verification 2024 • October 15-18 • Istanbul, Türkiye • We are pleased to invite you to submit papers for the 24th International Conference on Runtime Verification (RV'24),... | ||
|
|
||
| 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: Jun 4, 2024 - Jun 5, 2024 Submission Deadline: Feb 18, 2024 | ||
| The 8th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2024), co-located with the 21st IEEE International Conference on Software Architecture (ICSA 2024), will be h... | ||
| SOFTWARE ARCHITECTURE FORMAL METHODS VALIDATION AND VERIFICATION GENERATIVE AI | ||
 |
||
| When: Nov 3, 2023 - Nov 4, 2023 Submission Deadline: Sep 30, 2023 | ||
| We are pleased to invite you to submit papers to the 14th • International Workshop on Program Semantics, Specification and Verification • (we've skipped number 13) • The submission ... | ||
| PROGRAM SEMANTICS VERIFICATION MODEL CHECKING TYPE THEORY | ||
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 1, 2023 - Oct 3, 2023 Submission Deadline: Jul 20, 2023 | ||
| MoDeVVa 2023: 20th Workshop on Model Driven Engineering, Verification and Validation • Co-located with MODELS 2023 • 1-3 October 2023 (precise date to be decided) • Västerås, Swed... | ||
| SOFTWARE ENGINEERING SYSTEMS ENGINEERING | ||
 KVC 2023 : Keystroke Verification Challenge @ IEEE BigData 2023Sorrento (Italy) |
||
| When: Dec 15, 2023 - Dec 18, 2023 Submission Deadline: Oct 20, 2023 | ||
| The aim of the Keystroke Verification Challenge (KVC) is providing a public and reproducible way to benchmark keystroke-based user recognition systems in desktop and mobile scenarios, using large-sca... | ||
| KEYSTROKE BIOMETRICS CHALLENGE COMPETITION | ||
|
|
||
| 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 | ||
|
|
||
| When: Oct 11, 2023 - Oct 13, 2023 Submission Deadline: Jul 4, 2023 | ||
| -------------------------------------------------- • RP 2023: Call For Papers • 11-13 October 2023 Nice, France • -------------------------------------------------- • The 17th... | ||
| THEORETICAL COMPUTER SCIENCE LOGIC ALGORITHMS VERIFICATION | ||
 |
||
| When: Sep 30, 2023 - Oct 1, 2023 Submission Deadline: Jun 23, 2023 | ||
| We would like to announce the call for papers for the Verifying Learning AI Systems Workshop @ ECAI'23 • **Workshop's Scope** • While there is no uniformly agreed-upon definition of what ... | ||
| AI SAFE & TRUSTHWORTHY AI VERIFICATION FOR AI | ||
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: Sep 18, 2023 - Sep 19, 2023 Submission Deadline: Jun 30, 2023 | ||
| The 7th Workshop on Formal Approaches for Advanced Computing Systems (FAACS’2023) Co-located with the 17th European Conference on Software Architecture (ECSA) • Istanbul, Turkey, September 18... | ||
| SOFTWARE ARCHITECTURE FORMAL METHODS VALIDATION AND VERIFICATION AUTONOMOUS SYSTEMS | ||
|
|
||
| When: Jan 15, 2023 - Jan 17, 2023 Submission Deadline: Sep 8, 2022 | ||
| VMCAI 2023 Call for Papers • VMCAI 2023 is the 24th International Conference on Verification, Model Checking, and Abstract Interpretation. The conference will be held during January 15-17, 2023... | ||
| VERIFICATION ABSTRACT INTERPRETATION AUTOMATED REASONING MODEL CHECKING | ||
SAS 2023 : Static Analysis SymposiumCascais (Lisbon), Portugal |
||
| When: Oct 22, 2023 - Oct 27, 2023 Submission Deadline: Apr 24, 2023 | ||
| -------------------------------------------------------------------------------- • SAS 2023 • 30th Static Analysis Symposium • Cascais (Lisbon), Portugal, Sun 22 - Fri 27, October 2... | ||
| ABSTRACT INTERPRETATION DATA FLOW ANALYSIS VERIFICATION AUTOMATED DEDUCTION | ||
|
|
||
| When: Oct 24, 2022 - Oct 24, 2022 Submission Deadline: Sep 15, 2022 | ||
| INTERNATIONAL WORKSHOP ON FORMAL ANALYSIS AND VERIFICATION OF POST-QUANTUM CRYPTOGRAPHIC PROTOCOLS 2022 • This workshop will be held as an ICFEM 2022 (http://maude.ucm.es/ICFEM22/) satellite wo... | ||
| COMPUTER SCIENCE CRYPTOGRAPHY SECURITY VERIFICATION | ||
 |
||
| 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: 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 | ||
ASYDE 2022 : Automated and verifiable Software sYstem DEvelopmentComputer Science Humboldt Univ. Berlin |
||
| When: Sep 28, 2022 - Sep 30, 2022 Submission Deadline: Aug 14, 2022 | ||
| Are you working on automated software development methods and • techniques, compositional verification theories, integration • architectures, flexible and dynamic composition, and automat... | ||
| AUTOMATED SOFTWARE DEVELOPMENT COMPOSITIONAL VERIFICATION INTEGRATION ARCHITECTURES AUTOMATION | ||
RP 2022 : Reachability ProblemsKaiserslautern |
||
| When: Oct 17, 2022 - Oct 21, 2022 Submission Deadline: Jun 28, 2022 | ||
| The 16th International Conference on Reachability Problems (RP'22) will be organised by the Max Planck Institute for Software Systems (MPI-SWS) and the University of Kaiserslautern. • In 2020 a... | ||
| THEORETICAL COMPUTER SCIENCE LOGIC ALGORITHMS VERIFICATION | ||
Find and Compare Upcoming Verification Events. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
