International Symposium on Multiple-Valued Logic

Topic

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

Speakers

No Image
Michele Mosca
Institute for Quantum Computing and Department of Combinatorics

Additional Information

Please see the official website http://ismvl.cs.uvic.ca/ for further information.

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

 


pims

 

ieee

 

 

 

 

Jump to Event Details
This is a Past Event
Event Type
Scientific, Conference
Date
May 14–16, 2012
Time
-
Location
University of Victoria