International Symposium on Multiple-Valued Logic

  • Start Date: 05/14/2012
  • End Date: 05/16/2012
Speaker(s):

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

 

Location: 

University of Victoria

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
Abstracts / Downloads / Reports: 
Multiple-Valued_Logic_Webarchive.zip
Other Information: 

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

Sponsor: 

pims

 

ieee