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.

Call for paper

Important date

Draft paper acceptance notification

Submission Topics

  • 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

Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    May 22



    May 24


  • Feb 01 2017

    Draft Paper Acceptance Notification

Sponsored By
Contact Information