posted by user: chillyc || 4999 views || tracked by 2 users: [display]

ISMVL 2011 : IEEE 41st International Symposium on Multiple-Valued Logic

FacebookTwitterLinkedInGoogle


Conference Series : International Symposium on Multiple-Valued Logic
 
Link: http://ticsp.cs.tut.fi/ISMVL/index.htm
 
When May 23, 2011 - May 25, 2011
Where Tuusula, Finland
Submission Deadline Nov 1, 2010
Notification Due Feb 1, 2011
Final Version Due Mar 1, 2011
Categories    logic
 

Call For Papers

The Multiple-Valued Logic Technical Committee of the IEEE Computer Society will hold its 41th annual symposium on May 23-25, 2011, in Tuusula, Finland.

The symposium will be co-located with the 19th International Workshop on Post-Binary ULSI Systems and Reed-Muller 2011 Workshop.

You are invited to submit an original paper, survey or tutorial paper on any subject in the area of multiple-valued logic, including but 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 SwitchingTheory
* Logic Programming
* Machine Learning and Robotics
* Mathematical Fuzzy Logic
* Nano Technology
* Philosophical Aspects
* Quantum Computing
* Signal Processing
* Spectral Techniques
* Verification

A selection of the papers presented at the ISMVL 2010 will be invited to provide an extended version to be published in a special issue of the Journal of Multiple-Valued Logic and Soft Computing.

Important dates:
Post-Binary ULSI Systems Workshop May 22, 2011
ISMVL 2011 Symposium May 23-25, 2011
Reed Muller 2011 Workshop May 26, 2011

Related Resources

Ei/Scopus-ITCC 2026   2026 6th International Conference on Information Technology and Cloud Computing (ITCC 2026)
LICS 2026   Logic in Computer Science
IEEE AIxVR 2026   8th International Conference on Artificial Intelligence & extended and Virtual Reality
IEEE ICCT-PACIFIC 2026   2026 IEEE 2nd International Conference on Consumer Technology - Pacific (ICCT-Pacific 2026)
ICAIDS 2026   2026 2nd International Conference on Artificial Intelligence, Digital Media Technology and Social Computing
IEEE-CNML 2026   IEEE 2026 4th International Conference on Communication Networks and Machine Learning
CACML 2026   2026 5th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2026)
Ei/Scopus-CMLDS 2026   2026 3rd International Conference on Computing, Machine Learning and Data Science (CMLDS 2026)
IEEE ICITES 2026   IEEE--2026 6th International Conference on Intelligent Technology and Embedded Systems (ICITES 2026)--SCI
IEEE CH 2026   2026 IEEE International Conference on Cyber Humanities