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: 6182 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
| CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|---|
| a | AiML | Advances in Modal Logic | 2018-03-11 | 2018-05-18 | 2018-08-27 | ||
| 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 | ||
| b | b | a1 | ICME | International Conference on Multimedia and Expo | 2025-12-12 | 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 | INMIC | International Multi Topic Conference | 2014-09-05 | 2014-10-06 | 2014-12-08 | ||
| c | c | b1 | CSL | Conference on Computer Science Logic | 2025-07-15 | 2025-10-14 | 2026-02-23 |
| c | b2 | ISM | International Symposium on Multimedia | 2024-09-22 | 2024-10-18 | 2024-12-11 | |
| a | a* | MM | ACM Multimedia | 2025-04-04 | 2025-07-04 | 2025-10-27 |
| Short | Full Name | Conference |
|---|---|---|
| AiML | Advances in Modal Logic | 2018-08-27 |
| ICAL | International Conference on Automation and Logistics | 2012-08-15 |
| FLOPS | International Symposium on Functional and Logic Programming | 2012-05-23 |
| MABS | International Workshop on Multi-Agent-Based Simulation | 2012-06-04 |
| ICME | International Conference on Multimedia and Expo | 2026-07-05 |
| MMM | International Conference on MultiMedia Modeling | 2026-01-29 |
| INMIC | International Multi Topic Conference | 2014-12-08 |
| CSL | Conference on Computer Science Logic | 2026-02-23 |
| ISM | International Symposium on Multimedia | 2024-12-11 |
| MM | ACM Multimedia | 2025-10-27 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| b | ACM Transactions on Computational Logic | 0.700 | ACM | 1529-3785 |
| Studia Logica | 0.600 | Springer | 0039-3215 | |
| b | IEEE Transactions on Multimedia | 9.7 | IEEE | 1520-9210 |
| IEEE MultiMedia | 2.300 | IEEE | 1070-986X | |
| c | Annals of Pure and Applied Logic | 0.600 | Elsevier | 0168-0072 |
| Archive for Mathematical Logic | 0.400 | Springer | 0933-5846 | |
| c | Journal of Symbolic Logic | Association for Symbolic Logic | 0022-4812 | |
| b | Computational Linguistics | 3.700 | MIT Press | 0891-2017 |
| b | Journal of Functional Programming | 1.100 | Cambridge University Press | 0956-7968 |
| c | Multimedia Systems | 3.500 | Springer | 0942-4962 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| ACM Transactions on Computational Logic | 0.700 | ACM |
| Studia Logica | 0.600 | Springer |
| IEEE Transactions on Multimedia | 9.7 | IEEE |
| IEEE MultiMedia | 2.300 | IEEE |
| Annals of Pure and Applied Logic | 0.600 | Elsevier |
| Archive for Mathematical Logic | 0.400 | Springer |
| Journal of Symbolic Logic | Association for Symbolic Logic | |
| Computational Linguistics | 3.700 | MIT Press |
| Journal of Functional Programming | 1.100 | Cambridge University Press |
| Multimedia Systems | 3.500 | Springer |