About the Symposium

Multiple-Valued Logic Technical Committee

The Multiple-Valued Logic Technical Committee of the IEEE Computer Society
will hold its 52nd annual symposium at Southern Methodist University in Dallas
Texas, USA virtually on May 18-20, 2022 (more details to come). You are
invited to submit original papers, surveys, or tutorial papers on any subject in the area
of multiple-valued logic, including but not limited to:

Algebra and Formal Aspects	Logic Design and Switching Theory
Automatic Reasoning	Test and Verification
Logic Programming	Spectral Techniques
Philosophical Aspects of MVL	Circuit/Device Implementation
Fuzzy Logic and Soft Computing	VLSI Architecture and Computing
Data Mining	System-on-Chip Technology
Machine Learning	MVL in Nanotechnology
Quantum Informatics	MVL in Medical Technologies
Reversible Computing	MVL Aspects of Data Science
MVL in Autonomous Systems	MVL in Computer Security