University of
Novi Sad

ISMVL 2017
IEEE International Symposium
on Multiple-Valued Logic
   

Call for Papers

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. 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


You are also invited to submit papers to the special session tribute to Ivan Stojmenović.

Authors should submit papers as PDF files following the IEEE style guidelines for conference proceedings. Each manuscript shall include a 50-100 word abstract and shall 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 the Journal of Multiple-Valued Logic and Soft Computing or the Elsevier Journal of Applied Logic.


In conjunction with the symposium, the following workshops will be held.
Separate call will follow.



Symposium Chair: Program Chair:
Prof. Jovanka Pantović
University of Novi Sad, Serbia
Email: pantovic{at}uns.ac.rs
Prof. Elena Dubrova
Royal Institute of Technology, Sweden
Email: dubrova{at}kth.se



» Paper Submission Deadline:
   November 1, 2016 (extended!)
  November 30, 2015
   It will NOT be extended any more.

» Notification of Acceptance:
   February 1, 2017

» Camera-Ready Version:
   March 1, 2017

» ULSI Workshop:
   May 21, 2017

» ISMVL 2017:
   May 22-24, 2017

» Reed-Muller Workshop:
   May 24-25, 2017

»Download the Document (PDF)