Third Oregon Workshop on Logic, Design and Learning


Monday, 22 May

10:00 - 10:20 Registration 

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


Session 2: Room PCAT 138 Chair: 14:40 - 15:20 15:20 - 16:00 15:40 - 16:00 16:00 - 16:20 Session 4: Chair: 16:20 - 16:40 16:40 - 17:00 17:00 - 17:20 17:20 - 17:40 Tuesday, May 23 Notes Map Posters Software and Classwork Demos