ISMVL Sponsor Logos IEEE IEEE Computer Society ISMVL University of Toronto

34th International Symposium on
Multiple-Valued Logic

May 19-22, 2004
University of Toronto, Toronto, Canada


University of Toronto, Canada
May 19-22, 2004


The Multiple-Valued Logic Technical Committee of the IEEE Computer Society will hold its 34th annual symposium on May 19-22, 2004 in Toronto, Canada. The symposium is sponsored by the IEEE Computer Society and the University of Toronto. You are invited to submit an original paper, survey or tutorial paper on any subject in the area of multiple-valued logic, including but not limited to:

Algebra and Formal Aspects Automatic Reasoning
Logic Design and Switching Theory Fuzzy Logic and Soft Computing
Fault Detection and Diagnosis Logic Programming
Spectral Techniques Data Bases, Data Mining, Web Intelligence
Circuit/Device Implementation Reliability and Safety
Nano Technology Computer Security
Quantum Computing Philosophical Aspects

Authors should submit papers by November 1, 2003. Electronic submissions by PDF or PS files are strongly preferred. In exceptional cases, submissions of four (double-spaced typed) paper copies are also acceptable. Each manuscript should include a 50-100 word abstract and should not exceed 6 pages in the proceedings format. Authors will be notified about acceptance by February 1, 2004. Photo-ready copies of accepted papers are due on March 1, 2004.

For submission details, visit:

For additional information contact:

Prof. Ali Sheikholeslami, Symposium Chair
Department of Electrical and Computer Engineering
University of Toronto
10 King's College Road
Toronto, ON  M5S 3G4
Phone: 1-416-978-1681
Fax: 1-416-971-2286

The symposium will be preceded by the Post Binary ULSI Workshop on May 19, 2004.