University of
Novi Sad

ISMVL 2017
IEEE International Symposium
on Multiple-Valued Logic

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

Thank You for Attending!
See You Next Year in Linz, Austria.

Photos at ISMVL 2017:
  • Photos kindly provided by Milica Popovic and Nemanja Jovanovic.

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)


IEEE      Computer Society      TC on MVL      University of Novi Sad

» Photos at ISMVL 2017 are available (May 30, 2017).

» Social Events was updated on May 15, 2017.

» Final Program was added on May 13, 2017.

» Social Events was updated on May 13, 2017.

» Program was updated on May 13, 2017.

» Presentation Guideline
was added on May 9, 2017.

» The page for Social Events was added on May 9, 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

|Final Program|