Introduction

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

Committee

Symposium Chair:

Prof. Martin Lukac
(Nazarbayev University, Kazakhstan)

Program Chair:

Shinobu Nagayama
(Hiroshima City University, Japan)

Publicity Chair:

Shinobu Nagayama
(Hiroshima City University, Japan)

Call for paper

Important date

2020-12-21
Abstract submission deadline
2020-12-28
Draft paper submission deadline

Submission Topics

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

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

    May 25

    2021

    to

    May 27

    2021

  • Dec 21 2020

    Abstract Submission Deadline

  • Dec 28 2020

    Draft paper submission deadline

Sponsored By
IEEE Computer Society
Contact Information