MONDAY, May 21, 2001

10th International Workshop on Post-Binary ULSI Systems

ULSI-2001

Workshop accompanying the 31^st IEEE International Symposium

on Multiple Valued Logic, Warsaw, Poland

Organizer: Vlad P. Shmerko

10⁰⁰-10⁰⁵ Opening talk: S. Yanushkevich, V. Shmerko (Poland), On the 10^th Anniversary of ULSI Workshop:

History, Analysis, Researchers

10¹⁰-10⁵⁵ Invited talk: H. Sawada, S. Yamashita, A. Nagoya (NTT, Japan),

SPFD: A METHOD TO EXPRESS FUNCTIONAL FLEXIBILITY

10⁵⁵-11³⁵ Invited talk: T. Luba, M. Rawski (Poland),

FUNCTIONAL DECOMPOSITION - THE VALUE AND IMPLICATION FOR BOTH DIGITAL DESIGNING

AND DATA ANALYSIS

11⁴⁰-11⁵⁵ Coffee

Session I. Formal methods in VLSI CAD (Chair F. Schmiedle)

12⁰⁰-12³⁰ A. Dani, D. Popel (Dubai, U.A.E.), A. Tomaszewska (Poland), Minimizing ESOP Expressions Using Fractals

12³⁰-13⁰⁰ A. Zuzek (Slovenia), R. Drechsler, F. Novak (Germany), AND/OR GRAPHS FOR DESIGN AUTOMATION

PROBLEMS AND TESTING

13⁰⁰-13³⁰ c. Albrecht (Germany), Global Routing by New Approximation Algorithms for MulticommoDity Flow

13³⁰-14³⁰ Lunch

Session II. Reversible and Quantum Logic (Chair M. Perkowski)

14³⁰-15¹⁰ Invited talk: M. Perkowski, A. Al-Rabadi (USA), P. Kerntopf (Poland), A. Mishchenko, M. Chrzanowska-Jeske (USA),

three – dimensional realization of Multiple-Valued functions using Reversible Logic

15¹⁰-15⁴⁰ P. Kerntopf (Poland), MAXIMALLY EFFICIENT BINARY AND MULTIPLE-VALUED REVERSIBLE GATES

15⁴⁰-16¹⁰ M. Perkowski (USA), PORTLAND QUANTUM LOGIC GROUP

Session III. To the honor of pioneering results by Y. Komamiya (Chair T. Sasao)

16¹⁵-16⁵⁵ Invited talk: R. S. Stankovic(Yugoslavia), T. Sasao (Japan) Komamiya Equation for Multiple-Valued Adders

16⁵⁵-17¹⁵ S. Yanushkevich (Poland), P. Dziurzanski (Poland) Linear Decision Diagrams

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

FRIDAY, May 25, 2001

THEORY AND APPLICATIONS OF MULTIPLE - VALUED LOGIC

Workshop accompanying the 31^st IEEE International Symposium

on Multiple Valued Logic, Warsaw, Poland

Organizer: Ewa Orłowska

9.00 –9.40

Decomposition of relations: a new approach to constructive induction in machine

learning and data mining - an overview

Marek Perkowski

9.40 – 10.20

An algebraic approach to entropy and its generalizations - a survey

Dan A. Simovici

10.20 –10.30

Break

10.30 – 11.10

An abstract algebraic logic view of some multiple-valued logics

Josep M. Font

11.10 – 11.50

Surveying new results on BL-algebras

Antonio Di Nola

11.50 – 13.30

Lunch

13.30 – 14.10

Many - valued logics with identity - a survey

Siegfried Gottwald

14.10 – 14.50

Two values, three values, many values, no values

Charles G. Morgan

14.50 –15.00

Break

15.00 – 15.40

Relational resolution

Wendy MacCaull and Ewa Orłowska

15.40 – 16.20

Model checking for modal logics

Wojtek Penczek

16.20 – 16.30

Break

16.30 – 17.10

Decision diagrams - a universal data structure

Paweł Kerntopf

17.10 –17.50

Many-valued similarity reasoning

Esko Turunen