2154 | MEMOCODE 2005: 3rd ACM/IEEE Conference on Formal Methods and Programming Models for Codesign 2005 | ||
---|---|---|---|
¸¶°¨ÀÏÀÚ | 2005/03/01 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://memocode.irisa.fr/ | Àå ¼Ò | |
MEMOCODE 2005: 3rd ACM/IEEE Conference on Formal Methods and Programming Models for Codesign 2005 July 11-15, 2005 Verona, Italy Important Dates: -Abstract submission deadline: March 1, 2005 -Final submission deadline: March 8, 2005 -Deadline for panel and tutorial proposals: March 8, 2005 -Notification sent to authors: April 9, 2005 -Camera-ready copies due: April 30, 2005 |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.