|
|
|
| |||||||||||||||
ISMVL 2012 : IEEE 42nd International Symposium on Multiple-Valued Logic | |||||||||||||||
| Link: http://ismvl.cs.uvic.ca/ | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
|
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. Topics of interest for the symposium include but are 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 |
|
