posted by system || 2697 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

ICALP 2020   47th International Colloquium on Automata, Languages and Programming
ICDM 2020   20th IEEE International Conference on Data Mining
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
MNLP 2020   4th IEEE Conference on Machine Learning and Natural Language Processing
MASTER@IJGIS 2020   Multiple-Aspect Analysis of Semantic Trajectories - Special Issue at IJGIS
CONCUR 2020   31st International Conference on Concurrency Theory
Scopus-DIT 2020   2020 International Conference on Development of Internet of Things (DIT 2020)
IEEE CiSt 2020   6th IEEE Congress on Information Science and Technology
IJCAR 2020   10th International Joint Conference on Automated Reasoning
Special Issue of TEVC 2020   Evolutionary Computation Meets Deep Learning