24th ISMVL 1994: Boston, Massachusetts, USA

Session 1: Invited Address

Session 2a: Circuits I

Session 2b: Logic Design I

Session 3a: Design II

Session 3b: Logic I

Session 4a: Fuzzy Logic, Applications, and Circuits

Session 4b: Algebra I

Session 5: Invited Address

Session 6a: Circuits II

Session 6b: Logic II

Session 7: Invited Address

Session 8a: Logic Design III

Session 8b: Algebra II

Session 9a: Logic Design IV

Session 9b: Logic III

a service of Schloss Dagstuhl - Leibniz Center for Informatics