Logic List Mailing Archive

ISMVL 2008: "Symposium on Multiple Valued-Logic"

22-24 May 2008
Dallas TX, U.S.A.

ISMVL 2008
38th IEEE International
Symposium on Multiple-Valued Logic
22 May 2008 -- 24 May 2008; Dallas, TX, United States
http://engr.smu.edu/ismvl08/

TOPICS:

* Algebraic and Formal Aspects
* Automatic Reasoning
* Communication Systems
* Data Mining
* Image Processing
* Logic Programming
* Nanotechnology
* Quantum Computing
* Spectral Techniques
* ATPG and SAT
* Circuit/Device Implementation
* Computer Arithmetic
* Fuzzy Logic and Soft Computing
* Logic Design
* Switching Theory
* Machine Learning and Robotics
* Philosophical Aspects
* Signal Processing