30th IEEE International Symposium on Multiple-Valued-Logic 2000











Portland, Oregon
U.S.A.
23-25 May 2000



PROGRAM




-------------------------------------------------------


Location



Department of Electrical and Computer Engineering
Portland State University
Portland Center for Advanced Technology
1800 SW 6th.
Portland, Oregon, 97207-0751



Organizing Committee


Marek Perkowski, Symposium Chair
Malgorzata Chrzanowska-Jeske, Financial Chair
Xiayou Song, Publication Chair
W. Robert Daasch, Local Arrangement Chair

Department of Electrical and Computer Engineering
Portland State University,
Oregon, USA

Program Chairs

Dan Simovici, Program Chair Americas University of Masachussetts, Boston
Yutaka Hata, Program Chair Asia/Pacific ? University, Japan
Svetlana Yanushkevich, Program Chair Europe/Africa Technical University of Szczecin, Poland

Sponsors

We wish to thank the following institutions for their contribution to the success of this conference:
IEEE Computer Society.
Portland State University, Portland, Oregon.
Oregon Graduate Institute, Beaverton, Oregon.
Intel.
Technical Committee on Multiple-Valued Logic.
Air Force Office of Scientific Research.
United States Air Force Research Laboratory.

WELCOME TO ISMVL 2000


Welcome to Portland, the industrial and educational capital of Oregon, the site of the 30th International Symposium on Multiple-Valued Logic. Portland is a
It has more than 1,400,000 inhabitants. It is the first time that the symposium is being held in Northwest region of United States. Like in the past years researchers from different areas discuss the latest results in the field of multiple- valued logic. The symposium is co-sponsored by the Portland State University, the IEEE Computer Society, the Japan Research Group on Multiple-Valued Logic (JRG-MVL), and the
We wish to express our gratitude to the Symposium Committee for their hard work in preparing this event. Dr. Dan Simovici served as a Program Chair for Americas, Prof. Yutaka Hata served as a Program Chair for Asia and Australia, and Dr. Svetlana Yanushkevich served as a Program Chair for Europe and Africa. We would like to thank them for organizing an excellent program. ISMVL 2000 has been the joint effort of many people. I would like to thank especially Prof. Malgorzata Chrzanowska-Jeske (Financial Chair), Prof. Xiayou Song (Publication Chair), and Prof. Robert Daasch (Local Arrangement Chair).
Finally, we would like to wish all participants to have a scientifically interesting and turistically exciting time in Portland and Oregon and we hope that most of you will return here back.

Marek Perkowski
Symposium Chair


MESSAGE FROM THE PROGRAM CO-CHAIRS (will be forwarded by Prof. Simovici SYMPOSIUM COMMITTEE Symposium Chair Marek Perkowski, Portland State University Financial Chair Malgorzata Chrzanowska-Jeske, Portland State University Local Arrangement Chair W. Robert Daasch, Portland State University Publication Chair Xiayou Song, Portland State University PROGRAM COMMITTEE AMERICAS CO-CHAIR Dan Simovici, University of Masachussetts, Boston ASIA/PACIFIC CO-CHAIR Yutaka Hata, Himeji Institute of Technology, Japan EUROPE/AFRICA CO-CHAIR Svetlana Yanushkevich, Technical University of Szczecin, Poland SESSION CHAIRS SESSION 1: Yutaka Hata SESSION 2a: Lucien Haddad SESSION 2b: Claudio Moraga SESSION 3: Janusz Brzozowski SESSION 4a: Jon Muzio SESSION 4b: Reiner Haehnle SESSION 5a: Masao Mukaidono SESSION 5b: Radomir Stankovic SESSION 6: Elena Dubrova SESSION 7a: Ivo Rosenberg SESSION 7b: Michael Miller SESSION 8a: Michitaka Kameyama SESSION 8b: Svetlana Yanushkevich SESSION 9a: Okihiko Ishizuka SESSION 9b: Dan Simovici SESSION 10: SESSION 11a: Tsutomu Sasao SESSION 11b: Takahiro Hanyu SESSION 12: Aoki ??? SESSION 13: Dan Hammerstrom SESSION 14: XXXX Mazumder SESSION 15a: circuits SESSION 15b: Masahiro Miyakawa SESSION 16: quantum SESSION 17a: arithmetic and systems SESSION 17b: Grant Pogosyan