posted by system || 2363 views || tracked by 2 users: [display]

ISMVL 2010 : 40th IEEE International Symposium on Multiple-Valued Logic

FacebookTwitterLinkedInGoogle


Conference Series : International Symposium on Multiple-Valued Logic
 
Link: http://www2.iiia.csic.es/conferences/ismvl2010/index.html
 
When May 26, 2010 - May 28, 2010
Where Barcelona, Spain
Submission Deadline Nov 15, 2009
Final Version Due Mar 1, 2010
Categories    logic
 

Call For Papers

The Multiple-Valued Logic Technical Committee of the IEEE Computer Society will hold its 40th annual symposium on May 26-28, 2010 in Casa Convalescència, Barcelona, Spain. The event is sponsored by the IEEE Computer Society, and is organized by the Artificial Intelligence Research Institute of the Spanish National Research Council (IIIA-CSIC), the University of Barcelona, the Autonomous University of Barcelona, and the University of Lleida.

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

Authors should submit papers by November 1, 2009 using the software that will be available on the conference web site. Each manuscript should include a 50-100 word abstract, and should not exceed 6 pages in the 2-column IEEE Proceedings format.

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.

The symposium will be co-located with the Post Binary ULSI Workshop.

Important Dates:
November 15, 2009 Paper submission New (extended) deadline
February 1, 2010 Author notification
March 1, 2010 Final version
April 10, 2010 Early registration deadline
May 26-28, 2010 Conference
Invited speakers:
Joao Marques-Silva University College Dublin, Ireland
Claudio Moraga European Centre for Soft Computing, Spain
Daniele Mundici University of Florence, Italy
Program Chairs:
Francesc Esteva
Artificial Intelligence Research Institute (IIIA)
Spanish National Research Council (CSIC)

Joan Gispert
University of Barcelona (UB)

Related Resources

IEEE COINS 2020   Internet of Things IoT | Artificial Intelligence | Machine Learning | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded Systems | Circuit and Systems | WSN | 5G
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
IEEE AIML4COINS 2020   IEEE AIML4COINS2020 | Artificial Intelligence | Machine Learning | Deep Learning | Machine Vision | Big Data Analytics | Video Analytics | Speech Recognition | NLP
IJCAR 2020   10th International Joint Conference on Automated Reasoning
CONCUR 2020   31st International Conference on Concurrency Theory
MNLP 2020   4th IEEE Conference on Machine Learning and Natural Language Processing
LICS 2020   Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science
IEEE--ICICN--Ei Compendex, Scopus 2020   IEEE--2020 The 8th International Conference on Information, Communication and Networks (ICICN 2020)--Ei Compendex, Scopus
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
IEEE ICSGSC--EI, Scopus 2020   2020 The 4th. IEEE International Conference on Smart Grid and Smart Cities (ICSGSC 2020)--EI Compendex, Scopus