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

 

 

Final Program

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

The symposium will be co-located with the 21st 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

 

Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: mvlTCDescription: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: IEEE Computer Society
Technical Committee on
Multiple-Valued Logic

 

 

 

Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: C:\Users\Michael\Desktop\ISMVL-2012\WebSite\index_files\image003.png