posted by user: cpsvida || 54 views || tracked by 1 users: [display]

MEMOCODE 2023 : 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design


Conference Series : International Conference on Formal Methods and Models for Co-Design
When Sep 21, 2023 - Sep 22, 2023
Where Hamburg, Germany
Abstract Registration Due May 12, 2023
Submission Deadline May 26, 2023
Notification Due Jul 7, 2023
Final Version Due Aug 4, 2023

Call For Papers


Related Resources

CIFMA 2023   Cognition: Interdisciplinary Foundations, Models and Applications
IEEE ICCRE 2024   IEEE--2024 9th International Conference on Control and Robotics Engineering (ICCRE 2024)
ABZ 2024   Abstract State Machines, Alloy, B and Z
VSTTE 2023   International Conference on Verified Software: Theories, Tools, and Experiments
AIAP 2024   11th International Conference on Artificial Intelligence and Applications
CGDEIJ 2023   Computer Game Development and Education: An International Journal
SOFTFM 2023   2nd International Conference on Software Engineering Advances and Formal Methods
AVC 2023   Advances in Vision Computing: An International Journal
FMAS 2023   Fifth Workshop on Formal Methods for Autonomous Systems
NLP 2023   12th International Conference on Natural Language Processing