36. ISMVL 2006: Singapore

Introduction

Session 1: Invited Address

Session 2: Circuits I

Session 3: Algebra and Logic

Session 4: Circuits II

Session 5: Invited Address

Session 6: Circuits III

Session 7: Algebra and Clones

Session 8: Systems and Satisfiability

Session 9: Decision Diagrams and Decision Trees

Session 10: Quantum Logic and Spectral Techniques