会议信息
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 |
浏览: 6181 关注: 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
相关会议
| CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
|---|---|---|---|---|---|---|---|
| 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 |
| 简称 | 全称 | 会议日期 |
|---|---|---|
| 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 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | 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 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| 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 |