ISMVL 2014
IEEE International Symposium
on Multiple-Valued Logic

Call for Papers

The Multiple-Valued Logic Technical Committee of the IEEE Computer Society will hold its 44th annual symposium in Bremen, Germany, on May 19th-21st, 2014. You are invited to submit original papers, surveys, or tutorial papers on any subject in the area of multiple-valued logic, including but not limited to:

Algebra and Formal Aspects
Automatic Test Pattern Generation
Automatic Reasoning
Boolean Satisfiability
Circuit/Device Implementation
Communication Systems
Computer Arithmetic
Data Mining
Fuzzy Systems and Soft Computing
Image Processing
Logic Design and Switching Theory
Logic Programming
Machine Learning and Robotics
Mathematical Fuzzy Logic
Philosophical Aspects
Quantum Computing
Quantum Cryptography
Reversible Computation
Signal Processing
Spectral Techniques

Authors should submit papers as PDF files following the IEEE style guidelines for conference proceedings. Each manuscript shall include a 50-100 word abstract and shall not exceed 6 pages. All accepted papers will be published by IEEE. The authors of selected papers will be invited after the conference to prepare an extended version of their paper to be published in the journal of Mulitple-Valued Logic and Soft Computing.

In conjunction with the conference, the International Workshop on Post-Binary ULSI Systems (ULSIWS) will be held on May 18th, 2014. A separate call will follow.

General Chair
Rolf Drechsler
University of Bremen/DFKI

Program Chair
Robert Wille
University of Bremen/DFKI

Abstract Deadline:
November 17th, 2013 (extended)

Paper Deadline:
November 24th, 2013 (extended)

Author Notification:
February 2nd, 2014

Camera-ready Version:
March 2nd, 2014

May 19th-21st, 2014

May 18th, 2014

»Download the Document (Pdf)