ISMVL 2015
IEEE International Symposium
on Multiple-Valued Logic
Quantum Nano Centre Math Building Uptown

Source: University of Waterloo website

ISMVL 2015, May 18-20, 2015, Waterloo, Ontario, Canada

Thank You for Attending!
See You Next Year in Sapporo, Japan.

Photos at ISMVL 2015:
  • Photos kindly provided by Prof. Yuminaka at Gunma University, Japan.

The Technical Committee on Multiple-Valued Logic of the IEEE Computer Society held its 45th annual symposium in Waterloo, Ontario, Canada, on May 18-20, 2015.
The Conference brought 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.

Invited Talks:

The following invited talks were presented:

  • Prof. Michitaka Kameyama (Tohoku University, Japan)
    Novel VLSI Architectures for Real-World Intelligent Systems

  • Prof. Matt Valeriote (McMaster University, Canada)
    Algebras and Algorithms

  • Dr. Mark Howard (University of Waterloo, Canada)
    Contextuality Supplies the Magic for Quantum Computation

The event is sponsored by the IEEE Computer Society and the University of Waterloo, Faculty of Engineering.

Accompanying Workshops

In conjunction with the conference, the following workshops were held.

» 24th International Workshop on Post-Binary ULSI Systems (May 17, 2015)

» Reed-Muller 2015 Workshop (May 20-21, 2015)

Final Program


» Photos at ISMVL 2015 are available (May 28, 2015).

» ISMVL 2015 has successfully done.

» Info. on Shuttles to & from hotels was added on May 15, 2015.

» Info. on Restaurants was added on May 5, 2015.

» Final Program was added on April 16, 2015.

» Discount airport shuttles are available!

» The page for Social Events was added on Feb. 24, 2015.

» Information on Hotels and Location was added on Nov. 19, 2014.

» This site was open on June 7, 2013.

» Paper Submission Deadline:
   November 3, 2014
   November 23, 2014

» Notification of Acceptance:
   February 2, 2015

» Camera-Ready Version:
   March 2, 2015
   March 13, 2015

» Early Registration Deadline:
   March 31, 2015
   April 8, 2015

» Conference:
   May 18-20, 2015