ISMVL 2002 PRELIMINARY PROGRAM


THURSDAY, May 16

Invited Talk (Sergiu Rudeanu)

ALGEBRA I

LOGICAL DESIGN I

CIRCUITS I

LOGICAL DESIGN II


FRIDAY, May 17

Invited Talk (D. Mundici)

SPECTRAL TECHNIQUES

CIRCUITS II

Invited Talk (R. Brayton)

ALGEBRA II

LOGICAL DESIGN III


SATURDAY, May 18

Invited Talk (Takagi)

DECISION DIAGRAMS

CIRCUITS III

Back to ISMVL 2002 Home Page


Last updated on 02/28/2002