42nd ISMVL 2012: Victoria, BC, Canada

Wireline and Clocking

SAT

Quantum Circuits

Algebra and Logic

Arithmetic Circuits

Decision Diagrams

Invited Address I

Quantum Circuits

Switching Theory

Mixed-Signal Design

Exploring New Roads

Biomedical/Sensors

Clones

Special Session to Honour Ivo G. Rosenberg

Quantum Circuits

Invited Address II

Special Session to Honour Ivo G. Rosenberg

a service of Schloss Dagstuhl - Leibniz Center for Informatics