2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL)

The Technical Committee on Multiple-Valued Logic of the IEEE Computer Society will hold its 49th annual symposium in Fredericton, Canada, on May 21-23, 2019. 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.

In conjunction with the symposium, the following workshops will be held.
Separate calls will follow.

• 28th International Workshop on Post-Binary ULSI Systems (May 20, 2019)
• Reed-Muller 2019 Workshop (May 23-24, 2019)