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

ICARA--IEEE, Ei, Scopus 2021   IEEE--2020 7th International Conference on Automation, Robotics and Applications (ICARA 2020)--Ei Compendex, Scopus
Special Issue of TEVC 2020   IEEE Transactions on Evolutionary Computation CALL FOR PAPERS for Special Issue: Evolutionary Computation Meets Deep Learning
AIKE 2020   IEEE Artificial Intelligence & Knowledge Engineering 2020
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
IEEE-CC 2020   First IEEE International Conference on Conversational Computing
RP 2020   14th International Conference on Reachability Problems (RP'20)
MASTER@IJGIS 2020   Multiple-Aspect Analysis of Semantic Trajectories - Special Issue at IJGIS
WOMoCoE 2020   5th International Workshop on Ontology Modularity, Contextuality, and Evolution
ICLP 2020   The 36th International Conference on Logic Programming
CCNC 2021   IEEE Consumer Communications & Networking Conference