会議情報
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
閲覧: 6909   追跡: 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省略名完全な名前提出日通知日会議日
bba1ICMEInternational Conference on Multimedia and Expo2025-12-312026-03-132026-07-05
ccb1MMMInternational Conference on MultiMedia Modeling2025-08-192025-10-092026-01-29
ccb1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
aa*MMACM Multimedia2025-04-042025-07-042025-10-27
cb2ISMInternational Symposium on Multimedia2024-09-222024-10-182024-12-11
aAiMLAdvances in Modal Logic2018-03-112018-05-182018-08-27
cINMICInternational Multi Topic Conference2014-09-052014-10-062014-12-08
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
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
bIEEE Transactions on Multimedia9.7IEEE1520-9210
bComputational Linguistics5.3MIT Press0891-2017
IEEE MultiMedia3.3IEEE1070-986X
cMultimedia Systems3.1Springer0942-4962
Computational Economics2.2Springer0927-7099
bJournal of Functional Programming1.100Cambridge University Press0956-7968
bACM Transactions on Computational Logic0.700ACM1529-3785
Studia Logica0.600Springer0039-3215
cAnnals of Pure and Applied Logic0.600Elsevier0168-0072
Archive for Mathematical Logic0.400Springer0933-5846