31st IEEE INTERNATIONAL SYMPOSIUM ON

MULTIPLE-VALUED LOGIC (ISMVL 2001)

MAY 22-24, 2001, WARSAW, POLAND

The Multiple-Valued Logic Technical Committee of the IEEE Computer Society will hold its 31st annual symposium on May 22-24, 2001, in Warsaw, the capital of Poland. The symposium is co-sponsored by the IEEE Computer Society and by the Institute of Computer Science of the Polish Academy of Sciences. It will feature 5 invited lectures, 2 tutorials and 48 contributed talks on a wide range of theoretical and practical issues connected with multiple-valued logics, from circuits, design and verification of systems through logical design, computing paradigms and automated reasoning to
complexity and  theoretical aspects of mv logics and algebra.
 

 

For any additional information please contact:

Symposium Chair:

Beata Konikowska

Institute of Computer Science, Polish Academy of Sciences

e-mail: beatak@ipipan.waw.pl