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
Other Information:
Please see the official website http://ismvl.cs.uvic.ca/ for further information.