18072 | MEMOCODE 2023 : ACM-IEEE International Symposium on Formal Methods and Models for System Design
![]() ![]() |
||
---|---|---|---|
¸¶°¨ÀÏÀÚ | 2023/04/28 | ±¹³»/±¹¿Ü | ±¹¿Ü |
ȨÆäÀÌÁö | https://memocode2023.github.io/ | Àå ¼Ò | Hamburg, Germany |
MEMOCODE 2023 : 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design September 21-22, 2023 Hamburg, Germany Important Dates: - Abstract submission deadline : April 28, 2023 - Paper submission deadline : May 5, 2023 - Notification : July 7, 2023 - Final version of papers : August 4, 2023 |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.