2011 41st IEEE International Symposium on Multiple-Valued Logic