ISMVL 2012 : IEEE 42nd International Symposium on Multiple-Valued Logic
Conference Series : International Symposium on Multiple-Valued Logic
Call For Papers
The Multiple-Valued Logic Technical Committee of the IEEE Computer Society will hold its 42nd annual symposium on
May 14-16, 2012, in Victoria, British Columbia, Canada.
The symposium will be co-located with the 21st International Workshop on Post-Binary ULSI Systems.
Topics of interest for the symposium include but are not limited to:
Algebra and Formal Aspects
ATPG and SAT
Fuzzy Systems and Soft Computing
Logic Design and Switching Theory
Machine Learning and Robotics
Mathematical Fuzzy Logic