University of
Novi Sad

ISMVL 2017
IEEE International Symposium
on Multiple-Valued Logic

ISMVL 2017, May 22-24, 2017, Novi Sad, Serbia

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 going to hold special sessions tribute to Ivan Stojmenović and Bogdan Falkowski in the symposium.

Keynote Speakers:

The following keynote speakers will present their cutting-edge research results:

  • Dmitriy Zhuk (Moscow State University, Russia)
    An Algorithm for Constraint Satisfaction Problem

  • Branislav Kisačanin (Nvidia Corporation, USA)
    Deep Learning for Autonomous Vehicles

  • Tsutomu Sasao (Meiji University, Japan)
    Index Generation Functions: Minimization Methods

Special issues in the following Journals are planned for selected ISMVL 2017 papers.
  » the Journal of Multiple-Valued Logic and Soft Computing
  » the Elsevier Journal of Applied Logic

Accompanying Workshops

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

» 26th International Workshop on Post-Binary ULSI Systems (May 21, 2017)
» Reed-Muller 2017 Workshop (May 24-25, 2017)

Tentative Program


IEEE      Computer Society      TC on MVL      University of Novi Sad

» Tentative Program was added on March 23, 2017.

» Information on airport shuttles was added on March 16, 2017.

» Call for Participation was added on Feb. 8, 2017.

» Information on hotels was added on Feb. 7, 2017.

» Registration site was open on Feb. 7, 2017.

» This site was open on May 31, 2016.

» Paper Submission Deadline:
   November 1, 2016 (extended!)
   November 30, 2016

» Notification of Acceptance:
   February 1, 2017

» Camera-Ready Version:
   March 1, 2017

» Early Registration Deadline:
   April 10, 2017

» Symposium:
   May 22-24, 2017

|Call for Participation|