posted by system || 2628 views || tracked by 3 users: [display]

ISMVL 2008 : 38th IEEE International Symposium on Multiple-Valued Logic

FacebookTwitterLinkedInGoogle


Conference Series : International Symposium on Multiple-Valued Logic
 
Link: http://engr.smu.edu/ismvl08/
 
When Apr 22, 2008 - May 24, 2008
Where Dallas, TX, USA
Submission Deadline Nov 1, 2007
Categories    logic   computer
 

Call For Papers

The Multiple-Valued Logic Technical Committee of the IEEE Computer Society will hold its 38th annual symposium on May 22-24, 2008 in Dallas, Texas. This symposium is sponsored by the IEEE Computer Society and Southern Methodist University. 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:

Algebraic and Formal Aspects
Automatic Reasoning
Communication Systems
Data Mining
Image Processing
Logic Programming
Nanotechnology
Quantum Computing
Spectral Techniques
ATPG and SAT
Circuit/Device Implementation
Computer Arithmetic
Fuzzy Logic and Soft Computing
Logic Design
Switching Theory
Machine Learning and Robotics
Philosophical Aspects
Signal Processing

Schedule:

November 1, 2007: Manuscripts Due

February 1, 2008: Author Notification

March 1, 2008: Photo-Copy Version Due



All submissions should be formatted according to two-column IEEE conference paper standards and should not exceed 6 pages in length. Paper submission information is available at: http://engr.smu.edu/ismvl08



Symposium Chair: Mitch Thornton, Southern Methodist University, USA
Co-Chair: Rolf Drechsler, University of Bremen, Germany

Program Chair: Gerhard Dueck, University of New Brunswick, Canada



Program Committee

Felip Manyà, Universitat de Lleida, Spain

Hajime Machida, Hitotsubashi University, Japan

Shinobu Nagayama, Hiroshima City University, Japan

Svetlana Yanushkevich, University of Calgary, Canada

Radomir Stankovi�?, University of Nis, Serbia
Takafumi Aoki, Tohoku University, Japan

Jacqueline Rice, University of Lethbridge, Canada



The symposium will be followed by the Post Binary ULSI Workshop on May 24, 2008.

Related Resources

IEEE AIML4COINS 2020   IEEE AIML4COINS2020 | Artificial Intelligence | Machine Learning | Deep Learning | Machine Vision | Big Data Analytics | Video Analytics | Speech Recognition | NLP
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
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
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
Scopus-DIT 2020   2020 International Conference on Development of Internet of Things (DIT 2020)
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis