Conference Information
ISMVL 2023: IEEE International Symposium on Multiple-Valued Logic
Please Login to view website of conference
Submission Date: |
2022-12-01 Extended |
Notification Date: |
2023-02-01 |
Conference Date: |
2023-05-22 |
Location: |
Matsue, Shimane, Japan |
Years: |
53 |
Viewed: 7141 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.
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
| CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|---|
| b | b | a1 | ICME | International Conference on Multimedia and Expo | 2025-12-31 | 2026-03-13 | 2026-07-05 |
| c | c | b1 | MMM | International Conference on MultiMedia Modeling | 2025-08-19 | 2025-10-09 | 2026-01-29 |
| c | c | b1 | CSL | Conference on Computer Science Logic | 2025-07-15 | 2025-10-14 | 2026-02-23 |
| a | a* | MM | ACM Multimedia | 2025-04-04 | 2025-07-04 | 2025-10-27 | |
| c | b2 | ISM | International Symposium on Multimedia | 2024-09-22 | 2024-10-18 | 2024-12-11 | |
| a | AiML | Advances in Modal Logic | 2018-03-11 | 2018-05-18 | 2018-08-27 | ||
| c | INMIC | International Multi Topic Conference | 2014-09-05 | 2014-10-06 | 2014-12-08 | ||
| b4 | ICAL | International Conference on Automation and Logistics | 2012-04-30 | 2012-06-10 | 2012-08-15 | ||
| a | b1 | FLOPS | International Symposium on Functional and Logic Programming | 2011-12-16 | 2012-02-03 | 2012-05-23 | |
| c | b3 | MABS | International Workshop on Multi-Agent-Based Simulation | 2012-03-30 | 2012-06-04 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| b | IEEE Transactions on Multimedia | 9.7 | IEEE | 1520-9210 |
| b | Computational Linguistics | 5.3 | MIT Press | 0891-2017 |
| IEEE MultiMedia | 3.3 | IEEE | 1070-986X | |
| c | Multimedia Systems | 3.1 | Springer | 0942-4962 |
| Computational Economics | 2.2 | Springer | 0927-7099 | |
| b | Journal of Functional Programming | 1.100 | Cambridge University Press | 0956-7968 |
| b | ACM Transactions on Computational Logic | 0.700 | ACM | 1529-3785 |
| Studia Logica | 0.600 | Springer | 0039-3215 | |
| c | Annals of Pure and Applied Logic | 0.600 | Elsevier | 0168-0072 |
| Archive for Mathematical Logic | 0.400 | Springer | 0933-5846 |