34th INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC 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: http://www.eecg.toronto.edu/~ali/ismvl2004/.
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
Email:ali@eecg.utoronto.ca
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. |