|
|
|
|
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.
- Important
Information
- Program of the Symposium
- Program Committee
- Accompanying Workshops
- Accompanying events
- ISMVL 2002 - http://www.cs.umb.edu/~ismvl02/
For any additional
information please contact:
Symposium Chair:
Beata Konikowska
Institute of Computer
Science, Polish Academy of Sciences
e-mail: beatak@ipipan.waw.pl