Abbrevation
ISMVL
Link
http://engr.smu.edu/ismvl08/
City
Dallas
Country
United States
Deadline Paper
Start Date
End Date
Abstract

The aim of ISMVL is to publish and disseminate knowledge in the field of multiple&#8211;valued logic and related areas&#046; All aspects of MVL are considered at the symposium, ranging form algebra, formal aspects, and philosophy to logic design, verification, and circuit implementation&#046; <B>Keywords:</B> <TABLE cellSpacing=1 cellPadding=1 width=&#8243;70%&#8243; border=0> <TBODY> <TR> <TD width=&#8243;50%&#8243;>Algebra and Formal Aspects</TD> <TD width=&#8243;50%&#8243;>ATPG and SAT</TD></TR> <TR> <TD width=&#8243;50%&#8243;>Automatic Reasoning </TD> <TD width=&#8243;50%&#8243;>Circuit/Device Implementation</TD></TR> <TR> <TD width=&#8243;50%&#8243;>Communication Systems</TD> <TD width=&#8243;50%&#8243;>Computer Arithmetic</TD></TR> <TR> <TD width=&#8243;50%&#8243;>Data Mining</TD> <TD width=&#8243;50%&#8243;>Fuzzy Logic and Soft Computing</TD></TR> <TR> <TD width=&#8243;50%&#8243;>Image Processing</TD> <TD width=&#8243;50%&#8243;>Logic Design and Switching Theory</TD></TR> <TR> <TD width=&#8243;50%&#8243;>Logic Programming</TD> <TD width=&#8243;50%&#8243;>Machine Learning and Robotics</TD></TR> <TR> <TD width=&#8243;50%&#8243;>Nanotechnology</TD> <TD width=&#8243;50%&#8243;>Philosophical Aspects</TD></TR> <TR> <TD width=&#8243;50%&#8243;>Quantum Computing</TD> <TD width=&#8243;50%&#8243;>Signal Processing</TD></TR> <TR> <TD width=&#8243;50%&#8243;>Spectral Techniques</TD> <TD width=&#8243;50%&#8243;>Verification</TD></TR></TBODY></TABLE>