The symposium will bring together researchers from computer science, engineering, mathematics, and further disciplines to discuss new developments and directions for future research in the area of multi-valued logic and related fields. Research papers, surveys, or tutorial papers on any subject in these areas are within the scope of the symposium.
The Technical Committee on Multiple-Valued Logic of the IEEE Computer Society will hold its 51st annual symposium fully online, on May 25-27, 2021.
Sponsor Type:1
Symposium Chair:
Prof. Martin Lukac
(Nazarbayev University, Kazakhstan)
Program Chair:
Shinobu Nagayama
(Hiroshima City University, Japan)
Publicity Chair:
Shinobu Nagayama
(Hiroshima City University, Japan)
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
May 25
2021
May 27
2021
Abstract Submission Deadline
Draft paper submission deadline
2019-05-21 Canada
2019 IEEE 49th International Symposium on Multiple-Valued Logic2018-05-16 Austria
2018 IEEE 48th International Symposium on Multiple-Valued Logic2017-05-22 Serbia Novi Sad, Serbia
2017 IEEE 47th International Symposium on Multiple-Valued Logic2016-05-18 Japan Sapporo, Japan
2016 IEEE 46th International Symposium on Multiple-Valued Logic2015-05-18 Canada
2015 IEEE International Symposium on Multiple-Valued Logic2014-05-19 Germany
2014 IEEE 44th International Symposium on Multiple-Valued Logic2013-05-21 Japan
2013 IEEE 43rd International Symposium on Multiple-Valued Logic
Submit Comment