2015 IEEE International Symposium on Multiple-Valued Logic