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

IEEE COINS 2022   IEEE COINS 2022: Hybrid (3 days on-site | 2 days virtual)
TiL 2022   Trends in Logic XXII
IEEE COINS 2022   Internet of Things IoT | Artificial Intelligence | Machine Learning | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded Systems |
IEEE WCCI 2022   IEEE World Congress on Computational Intelligence
ASE 2022   37th IEEE/ACM International Conference on Automated Software Engineering
Computer SI on SE4RAI 2023   IEEE Computer - Special Issue on Software Engineering for Responsible AI
IPMU 2022   19th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems
IEEE SSCI 2023   2023 IEEE Symposium Series on Computational Intelligence
IEEE--PRAI--Scopus, Ei 2022   IEEE--2022 the 5th International Conference on Pattern Recognition and Artificial Intelligence (PRAI 2022)--Scopus, Ei Compendex
IEEE--ICIVC--Ei Compendex, Scopus 2022   IEEE--2022 7th International Conference on Image, Vision and Computing (ICIVC 2022)--Ei Compendex, Scopus