Just a little reminder that Tomorrow's seminar we'll discuss Three
Valued Logic Analysis (TVLA):
http://citeseer.ist.psu.edu/viewdoc/download?doi=10.1.1.23.7815&rep=rep1&type=pdf
Brief tentative schedule: what TVLA is, how does it work, and its applications.
--Shuying