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

Nanotechnology

Philosophical Aspects

Quantum Computing

Quantum Cryptography

Reversible Computation

Signal Processing

Spectral Techniques

Verification

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

Conference:
May 19th-21st, 2014

ULSIWS-Workshop:
May 18th, 2014

»Download the Document (Pdf)