Monday, May 14, Morning, Scandic Edderkoppen Hotel

08:00 - 08:45 Registration

08:45 - 08:50 Opening Address

08:50 - 10:00 Keynote Address

Grand Challenges of Nanoelectronics and Possible Architectural Solutions
Valeriu B. Beiu

10:00 - 10:05 Coffee Break

10:05 - 11:05 Session 1A and 1B

Session 1A – Theory (Chair: D. Simovici)

Automated reasoning in some local extensions of ordered structures
Viorica Sofronie-Stokkermans, Carsten Ihlemann

Reading the Sampling Theorem in Multiple-Valued Logic
Radomir S. Stankovi´c, Jaakko Astola

Model-Characterizing Formulas and Normal Forms in Gödel Logics
Heng Zhang, Mingyi Zhang, Benjuan Yang

Session 1B – Logic Functions (Chair: B. Steinbach)

Spectral Analysis of Special Properties of Ternary Functions
Claudio Moraga, Milena Stankovic, Suzana Stojkovic

Representations of Elementary Functions Using Edge-Valued MDDs
Shinobu Nagayama,Tsutomu Sasao

Experimental Studies on SAT-based ATPG for Gate Delay Faults
Stephan Eggersglüß, Daniel Tille, Görschwin Fey, Rolf Drechsler, Andreas Glowatz, Friedrich Hapke, Jürgen Schlöffel

11:05 - 11:10 Coffee Break

11:10 - 12:10 Session 2A and 2B

Session 2A – Theory 2 - Clones (Chair: M. Miyakawa)

Polynomials as Generators of Minimal Clones
Hajime Machida, Michael Pinsker

Restriction-closed Hyperclones
B.A.Romov

Monoidal Intervals of Partial Clones
L. Haddad, H. Machida, I.G. Rosenberg

Session 2B – Quantum Computing 1 (Chair: B. Falkowski)

Variable Reordering and Sifting for QMDD
D. Michael Miller, David Y. Feinstein, Mitchell A. Thornton

GF(4) Based Synthesis Of Quaternary Reversible/Quantum Logic Circuits
Mozammel H. A. Khan, Marek A. Perkowski

A Generalization of the Deutsch-Jozsa Algorithm to Multi-Valued Quantum Logic
Yale Fan

12:10 – 13:30 Lunch (at Scandic Edderkoppen Hotel)