Monday, May 14, Afternoon, Scandic Edderkoppen Hotel

13:30 – 14:50 Session 3A and 3B

Session 3A – Theory 3 (Chair: C. Ihlemann)

The Genetic Code as a Multiple-Valued Function and its implementation Using Multilayer Neural Network based on Multi-Valued Neurons
Igor Aizenberg, Claudio Moraga

Many-valued Non-deterministic Effective Semantics for First-order Logics of Formal Inconsistency
Arnon Avron, Anna Zamansky

New Fastest Linearly Independent Transforms over GF(3)
Bogdan J. Falkowski, Cicilia C. Lozano, Tadeusz Luba

Inversion/Division in Galois Field Using Multiple-Valued Logic
Nabil Abu-Khader, Pepe Siy

Session 3B - Quantum Computing 2 (Chair: M. Miller)

Boolean functions of low polynomial degree for quantum query complexity theory
Rusins Freivalds, Liva Garkaje

Quantum Robots for Teenagers
Arushi Raghuvanshi, Yale Fan, Michal Woyke, Marek Perkowski

Quantum mechanical model of emotional robot behaviors
Martin Lukac, Marek Perkowski

Quantum Realization of Some Ternary Circuits using Muthukrishnan-Stroud Gates
Asif I. Khan, Nadia Nusrat, Samira M. Khan, Mozammel H. Khan

14:50 - 15:00 Coffee Break

15:00 – 16:00 Session 4A and 4B

Session 4A – Theory 4 (Chair: A. Zamansky)

2-SAT Problems in Some Multi-valued Logics Based on Lattices
Witold Charatonik, Michal Wrona

A Complete Resolution Calculus for Signed Max-SAT
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy and Felip Manyà

Efficient Algorithm for Calculation of Quaternary Fixed Polarity Arithmetic Expansions
Bogdan J. Falkowski, Cicilia C. Lozano, Tadeusz Luba

Session 4B – Circuit Design 1 (Chair: T. Sasao)

Multiple-Valued Logic Circuits Design using Negative Differential Resistance Devices
Krzysztof S. Berezowski, Sarma B. K. Vrudhula

Low-Power Multiple-Valued Reconfigurable VLSI Using Series-Gating Differential-Pair Circuits
Nobuaki Okada, Michitaka Kameyama

Equalization Techniques for Multiple-Valued Data Transmission and Their Application
Yasushi Yuminaka, Kazuyoshi Yamamura

16:00 - 16:10 Coffee Break

16:10 – 17:10 Session 5A and 5B

Session 5A – Theory 5 (Chair: M. Wrona)

The Rough Powerset Monad
P. Eklund, M.A. Galàn

Exploiting of Homogeneous Dual Polarity Routes in Implementation of Algorithms for Optimization of Galois Field Expressions for Ternary Functions
Dragan Jankovic, Radomir S. Stankovic, Claudio Moraga

Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic
Jun Liu, Luis Martinez, and Yang Xu

Session 5B – Circuit Design 2 (Chair: Y. Yuminaka)

Fast Addition using Balanced Ternary Counters Designed with CMOS Semi-Floating Gate Devices
Henning Gundersen, Yngvar Berg

Algorithm-level optimization of multiple-valued arithmetic circuits using counter tree diagrams
Naofumi Homma, Katsuhiko Degawa, Takafumi Aoki, Tatsuo Higuchi

On Designs of Radix Converters Using Arithmetic Decompositions
Yukihiro Iguchi, Tsutomu Sasao, Munehiro Matsuura

19:00 – 20:45 A guided tour in downtown Oslo

We take a nice walk through the streets of Oslo. Starting from the Scandic Edderkoppen Hotel and ending up at the Oslo City Hall. We look at the attractions situated at the heart of the city, The Royal Castle, Karl Johan Street, Akershus Fortress, and Aker Brygge.

21:00 – 22:00 Reception at the Oslo City Hall

The city of Oslo invites all participants at the conference to a reception at the Oslo City Hall. The mayor of Oslo will personally welcome guests to the exquisite City Hall. Snacks and beverages will be served.