Abbrevation
ISMVL
City
Dallas
Country
United States
Deadline Paper
Start Date
End Date
Abstract

<P><SPAN style=&#8243;FONT&#8211;SIZE: 11pt; COLOR: #231f20; FONT&#8211;FAMILY: ConcordeBE&#8211;Medium&#8243;>The Multiple&#8211;Valued Logic Technical Committee of the IEEE Computer Society will hold its 38th annual symposium on May 22&#8211;24, 2008 in Dallas, Texas&#046; This symposium is sponsored by the IEEE Computer Society and Southern Methodist University&#046;</SPAN></P> <P><SPAN style=&#8243;FONT&#8211;SIZE: 11pt; COLOR: #231f20; FONT&#8211;FAMILY: ConcordeBE&#8211;Medium&#8243;></SPAN> <B>Keywords:</B> </P> <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>