IEEE Computer Society Open Conference Statement & IEEE Event Conduct and Safety Statement
  IEEE Privacy Policy


ISMVL 2024
IEEE International Symposium
on Multiple-Valued Logic
     

Call for Papers

The Technical Community on Multiple-Valued Logic of the IEEE Computer Society will hold its 54th annual symposium in Brno, Czech Republic, on May 28–30, 2024. 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 in Data Science and Analytics
MVL Aspects of Medical Technology
Nanotechnology
Philosophical Aspects of MVL
Quantum Computing
Quantum Cryptography
Reversible Computing
Signal Processing
Spectral Techniques
Test and Verification


Authors should submit papers as PDF files following the IEEE style guidelines for conference proceedings. Each manuscript should include a 50–100 word abstract and should 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.

The proceedings of ISMVLs are part of Ei Compendex, being the broadest and most complete engineering literature database available in the world.


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



Symposium Chair: Programme Chairs:
Prof. Jan Paseka
Masaryk University, Brno, Czech Repub.
Email: paseka{at}math.muni.cz

Dr. Mike Behrisch
Technische Universität Wien, Vienna, Austria
Email: behrisch{at}logic.at

Prof. Yasushi Yuminaka
Gunma University, Japan
Email: yuminaka{at}gunma-u.ac.jp



» Paper Submission Deadline:
   December 1, 2023 (extended)
   December 7, 2023 (abstract)
   December 14, 2023 (paper)

» Notification of Acceptance:
   February 19, 2024

» Camera-Ready Version:
   March 18, 2024

» ISMVL 2024:
   May 28–30, 2024

» ULSI Workshop:
   May 27, 2024

»Download the Document (PDF)