The Technical Committee on Multiple-Valued Logic of the IEEE Computer Society will hold its 46th annual symposium (ISMVL 2016) in Sapporo, Japan, from May 18 to 20, 2016. ISMVL 2016 offers you a great opportunity to follow the recent technologies and explore future directions in multiple-valued logic and its related areas.

Call for paper

Submission Topics

The IEEE Computer Society's Technical Committee on Multiple-Valued Logic will hold its 46th annual symposium in Sapporo, Japan, in May 2016. You are invited to submit an original paper, survey, or tutorial paper on any subject in the area of multiple-valued logic, including but not limited to:

  • Algebra and Formal Aspects  Logic Design and Switching Theory
  • Automatic Reasoning  Test and Verification
  • Logic Programming  Spectral Techniques
  • Philosophical Aspects of MVL Circuit/Device Implementation
  • Fuzzy Logic and Soft Computing  VLSI Architecture and Computing
  • Data Mining System-on-Chip Technology
  • Machine Learning and Robotics  MVL Aspects of Nanotechnology
  • Quantum Computing MVL Aspects of Medical Technologies
  • Reversible Computing MVL Approaches to Big Data
Submit Comment
Verify Code Change Another
All Comments