Información de la conferencia
ISMVL 2023: IEEE International Symposium on Multiple-Valued Logic
https://mvl.jpn.org/ISMVL2023/Día de Entrega: |
2022-12-01 Extended |
Fecha de Notificación: |
2023-02-01 |
Fecha de Conferencia: |
2023-05-22 |
Ubicación: |
Matsue, Shimane, Japan |
Años: |
53 |
Vistas: 6184 Seguidores: 0 Asistentes: 0
Solicitud de Artículos
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.
Última Actualización Por Dou Sun en 2022-10-30
Conferencias Relacionadas
| CCF | CORE | QUALIS | Abreviación | Nombre Completo | Entrega | Notificación | Conferencia |
|---|---|---|---|---|---|---|---|
| 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 |
| Abreviación | Nombre Completo | Conferencia |
|---|---|---|
| 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 |
Revistas Relacionadas
| CCF | Nombre Completo | Factor de Impacto | Editor | 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 |
| Nombre Completo | Factor de Impacto | Editor |
|---|---|---|
| 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 |