Theorem Provers in Circuit Design (TPCD)

2. TPCD 1994: Bad Herrenalb, Germany

1. TPCD 1992: Nijmegen, The Netherlands

maintained by Schloss Dagstuhl LZI at University of Trier