IEEE 42^nd International Symposium on Multiple-Valued Logic
ISMVL-2012: May 14-16, Victoria, BC, Canada

Final Program

Author Kit

Please pay any extra page charges when you register using the link below.

Registration

Location, Accommodation and Travel

Tourism Victoria

Victoria.travel.bc.ca

Call For Papers

Paper Submission
Closed

Organizing Committee

Program Committee

History of ISMVL

E-mail enquiries

The Multiple-Valued Logic Technical Committee of the IEEE Computer Society will hold its 42^nd annual symposium on
May 14-16, 2012, in Victoria, British Columbia, Canada

The symposium will be co-located with the 21^st International Workshop on Post-Binary ULSI Systems (ULSI web site) which will be held on May 13, 2012.

The final program for ISML-2012 is now posted here.

ISMVL-2012 Invited Speakers:

Michele Mosca, Institute for Quantum Computing and Department of Combinatorics and Optimization, University of Waterloo, Perimeter Institute for Theoretical Physics, Waterloo, Canada

Presentation: Quantum Computing, Cryptography, and Compilers

Hajime Machida, International Christian University, Tokyo, Japan

Presentation: Honouring Ivo G. Rosenberg: His Contributions to ISMVL

The symposium encompasses all aspects of multiple-valued logic, including but not limited to:

Algebra and Formal Aspects ATPG and SAT Automatic Reasoning Circuit/Device Implementation Communication Systems Computer Arithmetic Data Mining

Fuzzy Systems and Soft Computing Image Processing Logic Design and Switching Theory Logic Programming Machine Learning and Robotics Mathematical Fuzzy Logic Nano Technology

Philosophical Aspects Quantum Computing Quantum Cryptography Signal Processing Spectral Techniques Verification

Important dates:

Paper submission	Paper submission is closed.
Author notification	February 1, 2012
Final version due	March 9, 2012
Early registration deadline	April 1, 2012