Conference Information
ISMVL 2023: IEEE International Symposium on Multiple-Valued Logic
https://mvl.jpn.org/ISMVL2023/
Submission Date:
2022-12-01 Extended
Notification Date:
2023-02-01
Conference Date:
2023-05-22
Location:
Matsue, Shimane, Japan
Years:
53
Viewed: 6179   Tracked: 0   Attend: 0

Call For Papers
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.
Last updated by Dou Sun in 2022-10-30
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
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
Related Journals
CCFFull NameImpact FactorPublisherISSN
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
Full NameImpact FactorPublisher
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