Thank You for Attending the 1st Hybrid Symposium!
May 20-22 Nov. 9 - 11, 2020, Miyazaki, Japan
The Technical Committee on Multiple-Valued
Logic of the IEEE Computer Society will hold its 50th annual
symposium in Miyazaki, Japan, on Nov. 9-11, 2020.
Online Presentation (VIDEOs & LIVE):
The on-demand VIDEOs for presentations can be accessed from
to November 27
And, the LIVE sessions will start at 9:00 am
on November 9
To access the VIDEOs
, please click on
and enter the ID & Password
* ID & Password have been sent to registerers via email.
To access the LIVE sessions
, please click on the
that has been sent to registerers
via email on Oct. 31, 2020.
Please make sure of the schedule of
Note that an author of each paper MUST participate in the LIVE
session where the paper is scheduled.
In order to access the on-demand video and the live sessions,
you must have a paid registration
to the Symposium.
Proceedings are available now!
The online proceedings for ISMVL 2020 are available
To access the proceedings, user ID and password
The ID and password have been sent to registered authors via email.
For general attendees, they will be sent in around the beginning of
The registration site is here
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
that is the broadest and
most complete engineering literature database available
in the world.
The following keynote speakers will present their cutting-edge
Prof. Masayuki Ohzeki
(Tohoku University, Tokyo Institute of Technology, Japan)
Title: Quantum Annealing and Its Application to Real World
Quantum annealing is a generic solver of combinatorial
optimization problem and is implemented by a hardware known as
the D-Wave quantum annealer.
In this talk, we introduce future directions of its
application, while showing several practical applications,
namely the control of the automated guided vehicles in factory
and evacuation system from disaster after big earthquake etc.
Prof. Ali Sheikholeslami
(University of Toronto, Canada)
Digital Annealer: A Stochastic Search for Global Optimum
As Moore's law nears the end of its time, the search for
continued improvement in performance has focused on the
architecture-level and system-level innovations.
At the system level, we resort to stochastic moves to solve
hard optimization problems, where the goal is to minimize
(or maximize) a function of many variables (in the order of
1000's) in a fraction of a second.
These optimization problems are predominant in engineering,
health, finance, and environment.
In engineering, for example, we often wish to allocate
resources to tasks, or schedule tasks given limited resources,
to minimize waste.
In health, we wish to maximize radiation to a tumor in a
patient's body while sparing the healthy organs surrounding
the tumor. This indeed requires optimization of the density
of an X-ray beam as it rotates 360 degrees around the patient.
In this keynote speech, we will walk you through a stochastic
journey of a Markov Chain Monte Carlo (MCMC) process where we
try to find the global minimum of a quadratic function of 1024
We will demonstrate how employing several techniques in
hardware parallelism including parallel tempering (deploying
several parallel hardware blocks exploring the solution space
at various "temperatures" and occasionally exchanging their
states), parallel trial, and parallel update, can provide
significant speedup, allowing CMOS to live far beyond the end
of CMOS scaling.
Dr. Alan Mishchenko
(University of California Berkeley, USA)
Title: Boolean Logic Networks for Machine Learning
This talk explores the use of logic networks and Boolean
methods in machine learning (ML). Both synthesis and
verification are addressed. On the synthesis side, we
introduce a novel ML model based on logic networks, which
can potentially replace neural networks in some applications.
The advantages are, substantially reduced evaluation latency,
simpler hardware implementation (no need for memories and
arithmetic operations), straight-forward design automation.
The challenge is, matching the accuracy of neural networks.
On the verification side, we use logic networks, in particular,
and-inverter graphs (AIGs), to detect overfitting in any ML
model using only the AIG representation of the model and the
training data, assuming that the evaluation data is not
available or cannot be trusted.
The 50th International Symposium will take place from Nov. 9 to 11,
2020 in Miyazaki, Japan.
Interested researchers are invited to participate the symposium!
» PDF of Final Program was added on Oct. 31, 2020.
» Access Information for LIVE Presentations was sent vie email on Oct. 31, 2020.
» Site for Video Presentations was added on Oct. 26, 2020.
» Registration Page was updated on Sep. 15, 2020.
» Final Program was added on Sep. 14, 2020.
» Information on Keynote
Speakers has been added on Oct. 24, 2019.
» This site was open on May 23, 2019.
» Paper Submission Deadline:
November 1, 2019 (extended!)
Abstract: November 23, 2019
Manucript: November 30, 2019
» Notification of Acceptance:
February 3, 2020
» Camera-Ready Version:
March 1, 2020
» Author Registration Deadline*:
March 8, 2020
*It is NOT going to be extended!
» Videos for Presentation Deadline:
October 2, 2020
» Early Registration Deadline:
April 21, 2020 (postponed!)
October 10, 2020
May 20-22, 2020 (postponed!)
November 9-11, 2020
» ULSI Workshop:
May 19, 2020 (postponed!)
November 11, 2020
» Journal of Applied Logics
Special Issue (Submission
August 25, 2020 (extended!)
September 25, 2020
» IEICE Transactions Special
Issue (Submission Deadline):
August 28, 2020 (extended!)
September 30, 2020