Session 1

• Bernd Stöhr(Uni Karlsruhe), R. Preußmann (ISDATA GmbH)
  A graphical editor for the description of complex state machines
• C. Files, M. Perkowski (Portland State University, USA), A. Reis, M. Robert, D. Auvergne (Laboratoire d'Informatique, de Robotique et de Microelectronique de Montpellier, Frankreich)
  Minimization of Networks with Complex Gates
• R. Richter , H.-J. Brand, D. Müller (TU Chemnitz-Zwickau)
  Hazard examination of self-timed basic components using Boolean Differential Calculus

Session 2

• Prof. Dr.-Ing. Bernd Steinbach, K. Hesse (TU Bergakademie Freiberg)
  Design of large digital circuits utilizing functional and structural properties
• Prof. Dr.-Ing. Bernd Steinbach, Z. Zhang (TU Bergakademie Freiberg)
  Synthesis for Full Testability of Large Paritioned Combinational Circuits
• G. Kempe (TU Bergakademie Freiberg)
  The Suitability of Set of Phase Lists to Represent the Boolean Function

14.45 - 16.30 Session 3

• D. Bochmann (STZ Logische Systeme Chemnitz)
  Über einige neue Operationen des Booleschen Differentialkalküls
• R. Rohde, R. Barthel (TU Chemnitz-Zwickau)
  Operationen des Booleschen Differentialkalküls auf BDDs
• A. D. Zakrevskij (Institute of Engineering Cybernetics, Minsk, Weißrußland)
  Looking for shortest solutions of systems of linear logical equations: theory and applications in logic design

Session 4

• R. Drechsler (Uni Freiburg), S. Ruppertz (Uni Frankfurt), Albert-Ludwigs-Universität
  Manipulation Algorithms for K*BMDs
• Ch. Posthoff (The University of The West Indies, Saint Augustine, Trinidad & Tobago)
  Prototyping of Learnd (Fuzzy) Logic Structures Using (Fuzzy) Logic Equations
• K. Hesse (TU Bergakademie Freiberg)
  Load-Balancing in Incomplete Hypercubes

Session 5

• C. Lang (TU Bergakademie Freiberg)
  Verification of Software Using Libraries for Solving Boolean Equations
• B. Stiefel (Fachhochschule Schmalkalden)
  Usage of Boolean Equations in Knowledge Processing
• A. Bockmayr , P. Barth, T. Kasper (Max-Planck-Institut für Informatik, Saarbrücken)
  Methods and Tools for Pseudo-Boolean Problems

Session 6

• T. Schleinig, D. Müller (TU Chemnitz-Zwickau)
  Timing verification using the Boolean and timing difference
• S. N. Yanushkevich (Technical University of Szczecin, Polen)
  Analogues of Boolean Differences and Differentials in Arithmetical Logic