"LOGIC, DESIGN, AND LEARNING" SYMPOSIUM. FINAL PROGRAM.

PORTLAND STATE UNIVERSITY DEPARTMENT OF ELECTRICAL AND COMPUTER ENGINEERING SYMPOSIUM

AUGUST 29. THE FIRST DAY OF THE SYMPOSIUM.

OPENING.

Room 60-08 FAB Building. 8:45 - 9:00. Welcome and the goals of the symposium.

SESSION 1. TUTORIAL ON CLASSICAL LOGIC SYNTHESIS.

Chair: Alan Coppola, Cypress Semiconductor.

9:00 - 10:00. Alan Mishchenko - Tutorial on Zero-Suppressed BDDs.

SESSION 2. TUTORIAL ON REVERSIBLE LOGIC.

Chair: Osama Neiroukh, Intel.

10:00 - 11:00. Marek Perkowski and Pawel Kerntopf - Tutorial on Reversible Logic Synthesis.

SESSION 3. HIGH SCHOOL ROBOTICS.

11:00 - 12:00. Suite 70. Intelligent Robotics Lab. Demonstration of robots built by High School students and visit to Intelligent Robotics Laboratory. Walking robots will play soccer.

Lunch Break. 12:00 - 13:00.

SESSION 4. TUTORIAL ON VISUALISATION IN BIOMEDICAL ENGINEERING.

Chair: Garrison Greenwood, ECE PSU.

1. 13:00 - 14:00. James McNames - Spectrograms & Scaleograms for Biomedical Signal Analysis.

SESSION 5. TUTORIAL ON EVOLUTIONARY COMPUTING.

Chair: Xiaoyu Song, ECE PSU.

1. 14:00 - 15:00. Garrison W. Greenwood - On the Use of Biologically-Inspired Adaptive Mutations to Evolve Artificial Neural Network Structures, and other issues.

15:00 - 15:30. Break.

SESSION 6. REVERSIBLE LOGIC SYNTHESIS.

Chair: Marek Perkowski.

1. 15:30 - 16:00. Anas Al-Rabadi - Multiple-Valued Reversible Logic.
2. 16:00 - 16:30. Alan Coppola - Cypress Semiconductor Corporation - "An Architectural Modeling Toolkit for FPGA Design"
3. 16:30 - 17:00. Anas Al-Rabadi Library of benchmarks for reversible logic synthesis - examples of blocks.

SESSION 7. TUTORIAL ON INFORMATION THEORY AND DATA MINING.

Chair: Alan Mishchenko, ECE PSU.

1. 17:00 - 18:00. Martin Zwick Reconstructability Analysis - New Problems and Solutions.

SESSION 8. INFORMATION THEORY AND DATA MINING.

Chair: James McNames, ECE PSU.

1. 18:00 - 18:45. Marek Perkowski. Efficient Approaches to Logic Synthesis that use Information Theory.

AUGUST 30. THE SECOND DAY OF THE SYMPOSIUM.

SESSION 9. CLASSICAL LOGIC SYNTHESIS.

Chair: Andrzej Buller, ATR, Japan.

1. 9:00 - 9:30. Alan Mishchenko Efficient minimization of Exclusive Sum of Products Circuits.
2. 9:30 - 10:00. Alan Mishchenko Unate decomposition, it means how to separate nearly linear and nearly unate components of large boolean logic.

SESSION 10. QUANTUM COMPUTING TUTORIALS.

Chair: Sarah Mocas, CS PSU.

1. 10:00 - 11:00. Garrison Greenwood, Ph.D., P.E. Overview of Quantum Computing.
2. 11:00 - 12:00. Sarah Mocas - Complexity of Quantum Computing.
3. 12:00 - 13:00. Marek Perkowski and Anas Al-Rabadi, Towards Quantum Logic Synthesis.
4. 13:00 - 13:30. Anas Al-Rabadi Canonical Multi-Valued Quantum Logic.

13:30 - 14:30. Lunch Break.

SESSION 11. ROBOTICS.

Chair: Dipal Shah, Mentor Graphics.

1. 14:30 - 15:30. Andrzej Buller - Tutorial: Dynamic Fuzzy Logic in a Model of a Brain for a Robot.
2. 15:30 - 16:00. Bjorn Chambless. An Approach to a Walking Hexapod.

SESSION 12. TUTORIAL ON FORMAL VERIFICATION.

Chair: Marek Perkowski.

16:00 - 17:00 Xiaoyou Song - Tutorial on Formal Verification.

17:00 - 17:30. Break.

SESSION 13. SATISFIABILITY.

Chair: Bart Massey, CS PSU.

1. 17:30 - 18:30. Bart Massey - New algorithms for Satisfiability.
2. 18:30 - 19:00. Alan Mishchenko - Practical Application of Satisfiability in Logic Design.

19:00 - 19:30. Break.

SESSION 14. IMPLICIT APPROACH TO LOGIC SYNTHESIS.

Chair: Anas Al-Rabadi, PSU.

1. 19:30 - 20:15. Alan Mishchenko - Implicit Exact and Heuristic Sum-of-Product Minimization.

Dear Authors, please send me your papers in PDF format and slides in PPT format, if posssible. I will put both papers and slides to the LDL WWW Page. The deadline is October 12.