data mining & big datacomputing

The Technical Community on Multiple-Valued Logic of the IEEE Computer Society will hold its 55th annual symposium in Montreal, Quebec, Canada, on June 5-6, 2025.

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 proceedings of ISMVLs are in the Ei compendex that is the broadest and most complete engineering literature database available in the world.

The symposium committee is also going to hold a special session tribute to Kenneth C. Smith in the symposium.

Call for Papers
The Technical Community on Multiple-Valued Logic of the IEEE Computer Society will hold its 55th annual symposium in Montreal, Quebec, Canada on June 5-6, 2025. 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 AspectsAutomatic Test Pattern GenerationAutomatic ReasoningBoolean SatisfiabilityCircuit/Device ImplementationCommunication SystemsComputer ArithmeticData MiningFuzzy Systems and Soft ComputingImage ProcessingLogic Design and Switching TheoryLogic ProgrammingMachine Learning and RoboticsMathematical Fuzzy LogicMVL Approaches to Big DataMVL Aspects of Medical TechnologyNanotechnologyPhilosophical AspectsQuantum ComputingQuantum CryptographyReversible ComputationSignal ProcessingSpectral TechniquesVerification