| 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
Functions |
Problem Solvers and Fuzzy Logic |
| 14:00-15:30 |
Algebra and Logic I |
Hardware Improvement and
Exploitation |
| 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
Clones |
Advances for Quantum
Computation |
| 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 |
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.