Conference Information
MEMOCODE 2012 : International Conference on Formal Methods and Models for Codesign
http://www.memocode-conference.com
Submission Date:
2012-03-02
Notification Date:
2012-05-04
Conference Date:
2012-07-16
Location:
Arlington, Virginia
Years:
10
Viewed: 4583   Tracked: 0   Attend: 0

Conference Location
Advertisment
Related Publications
Advertisment
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
BDSEInternational Conference on Big Data Science and Engineering2015-04-202015-05-312015-08-20
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2015-04-222015-06-082015-10-12
bb1FMInternational Symposium on Formal Methods2016-05-162016-08-082016-11-07
bb3WWICInternational Conference on Wired/Wireless Internet Communications2017-03-052017-04-102017-06-21
ARITHIEEE Symposium on Computer Arithmetic2017-01-152017-03-312017-07-24
ICEUCInternational Conference on Embedded and Ubiquitous Computing2015-05-202015-05-302015-07-17
bba2RECOMBInternational Conference on Research in Computational Molecular Biology2016-11-012016-12-162017-05-03
bb1PADLInternational Symposium on Practical Aspects of Declarative Languages2012-09-192012-10-282013-01-21
SSVInternational Workshop on Systems Software Verification 2012-10-192012-11-28
cb1FMOODSInternational Conference on Formal Methods for Open Object-based Distributed Systems2013-02-112013-03-182013-06-03
Related Journals
CCFFull NameImpact FactorPublisherISSN
International Journal of Information System Modeling and Design IGI Global1947-8186
bFormal Aspects of Computing1.226Springer0934-5043
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
Computational Geosciences0.769Springer1420-0597
Applied Informatics Springer2196-0089
Sustainable Computing ELSEVIER2210-5379
International Journal of Information Technology, Modeling and Computing AIRCC2320-8449
Computer Methods in Applied Mechanics and Engineering2.959ELSEVIER0045-7825
Service Oriented Computing and Applications Springer1863-2386
cSoftware & Systems Modeling1.404Springer1619-1366
Recommendation