10:20 - 10:30 Opening remarks Room PCAT 138
Alan Mishchenko, Workshop Organizer
Session 1: Tutorial Talks Room PCAT 138 Chair: T. Sasao
10:30 - 11:15 What is Multiple-Valued Logic: One Point of View
M. Perkowski, Portland State University, USA
11:15 - 12:00 Implicit Methods for Logic Synthesis, Test and Verification
A. Mishchenko, Portland State University, USA
12:00 - 13:00 Lunch