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: 853 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 |
---|---|---|---|---|---|---|---|
b1 | EuroMPI | EuroMPI conference | 2023-05-08 | 2023-06-19 | 2023-09-11 | ||
a | a* | MM | ACM Multimedia | 2023-04-23 | 2023-07-25 | 2023-10-28 | |
EECS | European Conference on Electrical Engineering and Computer Science | 2020-11-30 | 2020-12-21 | ||||
a | a* | a1 | SODA | ACM-SIAM Symposium on Discrete Algorithms | 2021-07-05 | 2022-01-09 | |
b | EGSR | Eurographics Symposium on Rendering | 2022-04-08 | 2022-06-03 | 2022-07-04 | ||
c | INC | International Network Conference | 2020-07-30 | 2020-08-15 | 2020-09-19 | ||
CSE' | International Conference on Computer Science and Education | 2011-04-15 | 2011-04-25 | 2011-07-09 | |||
b | c | a2 | ICPC | International Conference on Program Comprehension | 2022-01-13 | 2022-05-21 | |
c | ICCI*CC | International Conference on Cognitive Informatics & Cognitive Computing | 2023-05-22 | 2023-07-20 | 2023-08-19 | ||
MCIS | Mediterranean Conference on Information Systems | 2012-03-09 | 2012-05-11 | 2012-09-08 |
Abreviación | Nombre Completo | Entrega | Conferencia |
---|---|---|---|
EuroMPI | EuroMPI conference | 2023-05-08 | 2023-09-11 |
MM | ACM Multimedia | 2023-04-23 | 2023-10-28 |
EECS | European Conference on Electrical Engineering and Computer Science | 2020-11-30 | 2020-12-21 |
SODA | ACM-SIAM Symposium on Discrete Algorithms | 2021-07-05 | 2022-01-09 |
EGSR | Eurographics Symposium on Rendering | 2022-04-08 | 2022-07-04 |
INC | International Network Conference | 2020-07-30 | 2020-09-19 |
CSE' | International Conference on Computer Science and Education | 2011-04-15 | 2011-07-09 |
ICPC | International Conference on Program Comprehension | 2022-01-13 | 2022-05-21 |
ICCI*CC | International Conference on Cognitive Informatics & Cognitive Computing | 2023-05-22 | 2023-08-19 |
MCIS | Mediterranean Conference on Information Systems | 2012-03-09 | 2012-09-08 |
Revistas Relacionadas
CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
---|---|---|---|---|
Studia Logica | 0.342 | Springer | 0039-3215 | |
IEEE MultiMedia | 4.962 | IEEE | 1070-986X | |
b | IEEE Transactions on Multimedia | 5.452 | IEEE | 1520-9210 |
c | Annals of Pure and Applied Logic | 0.678 | Elsevier | 0168-0072 |
Archival Science | Springer | 1389-0166 | ||
c | Journal of Symbolic Logic | Association for Symbolic Logic | 0022-4812 | |
b | Computational Linguistics | 0.721 | MIT Press | 0891-2017 |
b | Journal of Functional Programming | 1.37 | Cambridge University Press | 0956-7968 |
c | Multimedia Systems | 1.935 | Springer | 0942-4962 |
Combinatorica | 1.065 | Springer | 0209-9683 |
Nombre Completo | Factor de Impacto | Editor |
---|---|---|
Studia Logica | 0.342 | Springer |
IEEE MultiMedia | 4.962 | IEEE |
IEEE Transactions on Multimedia | 5.452 | IEEE |
Annals of Pure and Applied Logic | 0.678 | Elsevier |
Archival Science | Springer | |
Journal of Symbolic Logic | Association for Symbolic Logic | |
Computational Linguistics | 0.721 | MIT Press |
Journal of Functional Programming | 1.37 | Cambridge University Press |
Multimedia Systems | 1.935 | Springer |
Combinatorica | 1.065 | Springer |
Recomendaciones