ISMVL 2014
IEEE International Symposium
on Multiple-Valued Logic


Monday, May 19th, 2014
9:00-10.00 Invited Talk I (Carsten Lutz): Ontology-Based Data Access: Complexity and Expressive Power
10:30-12:30 Logic Design and Switching
Problem Solvers and Fuzzy Logic
14:00-15:30 Algebra and Logic I Hardware Improvement and
16:00-17:30 Investigations on Types of Clones Synthesis and Fault Analysis for Reversible Circuits
Tuesday, May 20th, 2014
9:00-10:00 Invited Talk II (Daniel Große): Circuit Design: Slip Schedule or Automate Debug
10:30-12:00 Algebra and Logic II Coding
Wednesday, May 21st, 2014
9:00-10:00 Invited Talk III (Görschwin Fey): Command and Data Handling Infrastructure for Space Systems
10:30-12:00 Investigations on Properties of
Advances for Quantum
13:30-15:00 Decision Diagrams and other
Function Representations
Design and Evaluation of Memories
15:30-17:00 Algebra and Logic III Hardware Components
17:00 Plenary Session & Closing

complete Program

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.

Research papers and work-in-progress reports from the area of multiple-valued logic are within the scope of the symposium. Invited talks by leading experts will complete the program.