The Technical Committee on Multiple-Valued Logic of the IEEE Computer Society will hold its 47th annual symposium in Novi Sad, Serbia, on May 22-24, 2017.
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 symposium committee is also planning to hold a special subsymposium tribute toIvan Stojmenović in the symposium.
The 47th International Symposium will take place from May 22 to 24, 2017 in Novi Sad, Serbia. Interested researchers are invited to submit original research papers, surveys, or tutorial papers.
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 22
2017
May 24
2017
Draft Paper Acceptance Notification
2021-05-25 Kazakhstan Nursultan
2021 IEEE 51st International Symposium on Multiple-Valued Logic2019-05-21 Canada
2019 IEEE 49th International Symposium on Multiple-Valued Logic2018-05-16 Austria
2018 IEEE 48th 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