2014 IEEE 44th International Symposium on Multiple-Valued Logic