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