会议信息
ISMVL 2023: IEEE International Symposium on Multiple-Valued Logic
https://mvl.jpn.org/ISMVL2023/
截稿日期:
2022-12-01 Extended
通知日期:
2023-02-01
会议日期:
2023-05-22
会议地点:
Matsue, Shimane, Japan
届数:
53
浏览: 6181   关注: 0   参加: 0

征稿
The Technical Community on Multiple-Valued Logic of the IEEE Computer Society will hold its 53rd annual symposium in Matsue, Shimane, Japan on May 22-24, 2023. You are invited to submit original papers, surveys, or tutorial papers on any subject in the area of multiple-valued logic, including but not limited to:

Algebra and Formal Aspects
Automatic Test Pattern Generation
Automatic Reasoning
Boolean Satisfiability
Circuit/Device Implementation
Communication Systems
Computer Arithmetic
Data Mining
Fuzzy Systems and Soft Computing
Image Processing
Logic Design and Switching Theory
Logic Programming
Machine Learning and Robotics
Mathematical Fuzzy Logic
MVL Approaches to Big Data
MVL Aspects of Medical Technology
Nanotechnology
Philosophical Aspects
Quantum Computing
Quantum Cryptography
Reversible Computation
Signal Processing
Spectral Techniques
Verification

Authors should submit papers as PDF files following the IEEE style guidelines for conference proceedings. Each manuscript shall include a 50-100 word abstract and shall not exceed 6 pages. All accepted papers will be published by IEEE. The authors of selected papers will be invited after the symposium to prepare an extended version of their papers to be published in some journals.
最后更新 Dou Sun 在 2022-10-30
相关会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
aAiMLAdvances in Modal Logic2018-03-112018-05-182018-08-27
b4ICALInternational Conference on Automation and Logistics2012-04-302012-06-102012-08-15
ab1FLOPSInternational Symposium on Functional and Logic Programming2011-12-162012-02-032012-05-23
cb3MABSInternational Workshop on Multi-Agent-Based Simulation2012-03-302012-06-04
bba1ICMEInternational Conference on Multimedia and Expo2025-12-122026-03-132026-07-05
ccb1MMMInternational Conference on MultiMedia Modeling2025-08-192025-10-092026-01-29
cINMICInternational Multi Topic Conference2014-09-052014-10-062014-12-08
ccb1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
cb2ISMInternational Symposium on Multimedia2024-09-222024-10-182024-12-11
aa*MMACM Multimedia2025-04-042025-07-042025-10-27
相关期刊
CCF全称影响因子出版商ISSN
bACM Transactions on Computational Logic0.700ACM1529-3785
Studia Logica0.600Springer0039-3215
bIEEE Transactions on Multimedia9.7IEEE1520-9210
IEEE MultiMedia2.300IEEE1070-986X
cAnnals of Pure and Applied Logic0.600Elsevier0168-0072
Archive for Mathematical Logic0.400Springer0933-5846
cJournal of Symbolic LogicAssociation for Symbolic Logic0022-4812
bComputational Linguistics3.700MIT Press0891-2017
bJournal of Functional Programming1.100Cambridge University Press0956-7968
cMultimedia Systems3.500Springer0942-4962
全称影响因子出版商
ACM Transactions on Computational Logic0.700ACM
Studia Logica0.600Springer
IEEE Transactions on Multimedia9.7IEEE
IEEE MultiMedia2.300IEEE
Annals of Pure and Applied Logic0.600Elsevier
Archive for Mathematical Logic0.400Springer
Journal of Symbolic LogicAssociation for Symbolic Logic
Computational Linguistics3.700MIT Press
Journal of Functional Programming1.100Cambridge University Press
Multimedia Systems3.500Springer