Conference Information
ISMVL 2023: IEEE International Symposium on Multiple-Valued Logic
Submission Date:
2022-12-01 Extended
Notification Date:
Conference Date:
Matsue, Shimane, Japan
Viewed: 2277   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
Philosophical Aspects
Quantum Computing
Quantum Cryptography
Reversible Computation
Signal Processing
Spectral Techniques

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
aa*MMACM Multimedia2024-04-082024-07-082024-10-28
b1EuroMPIEuroMPI conference2024-05-102024-07-052024-09-25
EECSEuropean Conference on Electrical Engineering and Computer Science2020-11-30 2020-12-21
aa*a1SODAACM-SIAM Symposium on Discrete Algorithms2024-07-05 2025-01-12
bEGSREurographics Symposium on Rendering2024-04-092024-05-312024-07-03
cSAGTInternational Symposium on Algorithmic Game Theory2024-05-152024-07-052024-09-03
CSE'International Conference on Computer Science and Education2011-04-152011-04-252011-07-09
cINCInternational Network Conference2020-07-302020-08-152020-09-19
bca2ICPCInternational Conference on Program Comprehension2023-10-30 2024-04-14
cICCI*CCInternational Conference on Cognitive Informatics & Cognitive Computing2023-05-222023-07-202023-08-19
ShortFull NameSubmissionConference
MMACM Multimedia2024-04-082024-10-28
EuroMPIEuroMPI conference2024-05-102024-09-25
EECSEuropean Conference on Electrical Engineering and Computer Science2020-11-302020-12-21
SODAACM-SIAM Symposium on Discrete Algorithms2024-07-052025-01-12
EGSREurographics Symposium on Rendering2024-04-092024-07-03
SAGTInternational Symposium on Algorithmic Game Theory2024-05-152024-09-03
CSE'International Conference on Computer Science and Education2011-04-152011-07-09
INCInternational Network Conference2020-07-302020-09-19
ICPCInternational Conference on Program Comprehension2023-10-302024-04-14
ICCI*CCInternational Conference on Cognitive Informatics & Cognitive Computing2023-05-222023-08-19
Related Journals
CCFFull NameImpact FactorPublisherISSN
Studia Logica0.342Springer0039-3215
IEEE MultiMedia4.962IEEE1070-986X
bIEEE Transactions on Multimedia5.452IEEE1520-9210
cAnnals of Pure and Applied Logic0.600Elsevier0168-0072
Archival Science Springer1389-0166
cJournal of Symbolic Logic Association for Symbolic Logic0022-4812
bComputational Linguistics0.721MIT Press0891-2017
bJournal of Functional Programming1.37Cambridge University Press0956-7968
cMultimedia Systems1.935Springer0942-4962
Full NameImpact FactorPublisher
Studia Logica0.342Springer
IEEE MultiMedia4.962IEEE
IEEE Transactions on Multimedia5.452IEEE
Annals of Pure and Applied Logic0.600Elsevier
Archival Science Springer
Journal of Symbolic Logic Association for Symbolic Logic
Computational Linguistics0.721MIT Press
Journal of Functional Programming1.37Cambridge University Press
Multimedia Systems1.935Springer