posted by user: chillyc || 2670 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

SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
KRR@SAC 2019   KRR@SAC 2019 : Knowledge Representation and Reasoning (track of the 34th ACM/SIGAPP Symposium On Applied Computing)
ITSC 2019   IEEE Intelligent Transportation Systems Conference
LOGLEG 2018   Logic, Law and Legal Reasoning
IEEE Trans SUSC 2019   IEEE Trans on Sustainable Computing (SI: Intersection of Computing and Communication Technologies with Energy Systems)
IEEE--ICAIBD--Ei and Scopus 2019   IEEE--2019 The 2nd International Conference on Artificial Intelligence and Big Data (ICAIBD 2019)--Ei Compendex, Scopus
IEEE S&P 2019   IEEE Symposium on Security and Privacy
ICCRE--IEEE, EI and Scopus 2019   IEEE--2019 4th International Conference on Control and Robotics Engineering (ICCRE 2019)--EI Compendex and Scopus
ICMEAE--IEEE, EI and Scopus 2019   IEEE--2019 6th International Conference on Mechatronics, Electronics and Automation Engineering (ICMEAE 2019)--EI Compendex and Scopus
IEEE TNNLS SI 2019   IEEE TNNLS. Special Issue on Connectionist Methods for Finance and Blockchain