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: 4708   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 Analysis2017-04-212017-06-152017-10-03
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-312017-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 Computing0.569ELSEVIER2210-5379
International Journal of Information Technology, Modeling and Computing AIRCC2320-8449
Computer Methods in Applied Mechanics and Engineering3.467ELSEVIER0045-7825
Service Oriented Computing and Applications Springer1863-2386
cSoftware & Systems Modeling1.404Springer1619-1366
Recommendation