Dear Sir or Madam, this year we carry out the traditional workshop on Boolean Problems. Attached to this letter you receive the invitation and the program of the 4th International Workshop on Boolean Problems, a registration form and a reservation form for rooms. For a room, please contact freiberg-information directly as soon as possible using reservation form. You can find more information about the workshop at http://www.informatik.tu-freiberg.de/prof2/ws_bp4/ I am looking forward to meeting you in Freiberg. Best regards Prof. Dr.-Ing. habil. B. Steinbach --------------------------------------------------------------------------- program: --------------------------------------------------------------------------- Freiberg University of Mining and Technology 4th International Workshop on Boolean Problems September 21-22, 2000, Freiberg (Sachsen) The workshop on Boolean problems has an emphasis on the problems related to the solution of all kinds of high-dimension Boolean and discrete problems, and provides a forum for researchers and engineers from different disciplines to exchange ideas. The workshop is devoted to theoretical discoveries as well as practical applications. An aim of the workshop is to initiate possible collaborative research and to find new areas of application. Topics of Interest Decomposition Data Structures and Algorithms Boolean Differential Calculus EXOR-Representations Minimization Cryptography General Chair Prof. Dr.-Ing. habil. B. Steinbach Technical University Freiberg Institute of Computer Science Program Committee Prof. U. G. Baitinger, Stuttgart University Prof. B. Becker, Freiburg University Prof. Ch. Meinel, Trier University Prof. M. A. Perkowski, Portland State University Prof. T. Sasao, Kyushu Institute, Iizuka Prof. B. Steinbach, Technical University Freiberg Prof. A. Zakrevskij, Academy of Science of Belarus Program Thursday, September 21, 2000 9:00-9:15 Opening (B. Steinbach) 9:15-10:15 M. Fujita (The University of Tokyo, Japan): Boolean problems that have real application in CAD for digital systems 10:15-10:30 Coffee 10:30-12:00 Session 1 10:30 A. Mishchenko, C. Files, M. Perkowski (Portland State University, USA): Implicit Algorithms for Multi-Valued Input Support Minimization 11:00 A. Zakrevskij, I.Vasilkova (Institute of Engineering Cybernetics of NAS, Belarus): Reducing Large Systems of Boolean Equations 11:30 Ch. Posthoff, A. Mohais (The University of The West Indies, Trinidad & Tobago): SAT Problems � Recent Findings 12:00-13:00 Lunch 13:00-15:30 Session 2 - short papers 13:00 W.-M. Wendler (Fachhochschule Braunschweig/Wolfenb�ttel, Germany): Elements of Linear Binary System Theory 13:20 R. S. Stankovic, M. Stankovic (University of Nis, Yugoslavia), J. Astola, K. Egiazarian (Tampere University of Technology, Finland): Boolean Representations for Functions in Fibonacci Interconnection Topologies 13:40 A. Mohais, Ch.Posthoff (The University of The West Indies, Trinidad & Tobago): The Solution of Permutation-Dependent Problems by Evolutionary Algorithms 14:00 A. I. Gaidukov, S. F. Vinokurov (Irkutsk State University, Russian): Operator Polynomial Expansions of Boolean Functions 14:20 J. Rice, J. C. Muzio (University of Victoria, Canada): Two new methods for calculating autocorrelation coefficients 14:40 V. Tomashau (Institute of Engineering Cybernetics of NAS, Belarus): On Small-Depth Circuits 15:15-15:45 Coffee 16:00-17:30 Visit of Dom St. Marien 17:30-19 Session 3 17:30 Y. Novikov (Belorussian Academy of Sciences, Belarus), E. Goldberg (Cadence Berkeley Labs, USA) An efficient learning procedure for multiple implication checks 18:00 P. Fiser, J. Hlavicka (Czech Technical University Prague, Czech): Efficient Minimization Method for Incompletely Defined Boolean Functions 18:30 R. S. Stankovic, M. Stankovic (University of Nis, Yugoslavia), J. Astola, K. Egiazarian (Tampere University of Technology, Finland): Haar Spectral Transform Decision Diagrams with Exact Algorithm for Minimization of the Number of Paths 19:30 Dinner Friday, September 22, 2000 9:00-10:00 D. Bochmann (Chemnitz, Germany): Boolean Differences and Discrete Dynamics 10:00-10:15 Coffee 10:15-11:45 Session 4 10:15 D. Bochmann (Chemnitz, Germany), Ch. Posthoff (The University of The West Indies, Trinidad & Tobago), V. Shmerko, S.Yanushkevich (Technical University of Szczecin, Poland), R. Stankovic, Z. Tosic (University of Nis, Yugoslavia): State-of-the-Art Logic Differential Calculus 10:45 B. Steinbach, Ch. Dorotska (Freiberg University of Mining and Technology, Germany): Orthogonal Blockbuilding using ordered lists of Ternary vectors 11:15 Y. Pottosin, E. Shestakov (Institute of Engineering Cybernetics of NAS, Belarus): Decomposition of Systems of Completely Specified Boolean Functions Using Their Compact Table Representation 11:45-13:00 Lunch 13:00-14:30 Session 5 13:00 D. K. Das (Jadavpur University, India), S. Chakraborty (Kalyani Univesity, India), B. B. Bhattacharya (Indian Statistical Institute, India): Boolean Algebraic Properties of Faul Behavior in Logic Circuits 13:30 B. Steibach (Freiberg University of Mining and Technology, Germany), A. Zakrevskij (Institute of Engineering Cybernetics of NAS, Belarus): Parallel Automaton: Basic Model, Properties and Diagnostics 14:00 W. Eisele (Gundelfingen, Germany): Mirror Procedure for One-Shot-Coding of finite state machines 14:30-15:00 Coffee 15:00-16:00 Session 6 15:00 A. Bernasconi, B. Codenotti (Consiglio Nationale delle Ricerche, Italy): On Boolean Functions associated to Bipartite Cayley Graphs 15:30 T. Schubert, E. Mackensen, N. Drechsler, R. Drechsler, B. Becker (University of Freiburg, Germany): Specialized Hardware for Implementation of Evolutionary Algorithms 16:00 Close of Workshop Contact TU Bergakademie Freiberg Institut f�r Informatik Prof. Dr.-Ing. habil. B. Steinbach Bernhard-von-Cotta Str. 1 09596 Freiberg Germany Phone: +49 3731/39-2568 Fax: +49 3731/39-2645 E-Mail: [EMAIL PROTECTED] [EMAIL PROTECTED] Please register for the workshop by August 31, 2000 by e-mail to above address. The conference office is located at the conference hall (Tagungshalle) in Agricolastra�e and will be open from 8:00, Thursday, September 21, 2000. The workshop fee is 50,-DM. The fee includes one copy of the proceedings, a visit of Dom St. Marien, and the workshop dinner on Thursday. We ask you to pay the workshop fee by electronic money transfer to Sparkasse Chemnitz Konto-No.: 3 550 001 800 BLZ: 870 500 00 Code: BP 740/00900/0 Alternatively, you can pay in cash at the first day of the workshop. For a room, please contact freiberg-Information directly as soon as possible using reservation form. More Information: http://www.informatik.tu-freiberg.de/prof2/ws_bp4/ ------------------------------------------------------------------------------ registration form: ------------------------------------------------------------------------------ Registration for the 4th International Workshop on Boolean Problems September 21-22, 2000 in Freiberg (Sachsen) (Registration Deadline: August 31, 2000) Participant Academic Title: ................................................ First Name/Last Name: ................................................ Street: ................................................ Zip/City: ................................................ Tel/Fax: ................................................ E-mail: ................................................ __ I register for the Workshop __ I pay by money transfer __ I pay cash at the conference office ...... Workshop fee 50,-DM ...... additional copies of the proceedings (20,-DM per copy) ...... TOTAL City, date ................ Signature .................. Please send this registration to TU Bergakademie Freiberg Institut fuer Informatik Prof. Dr.-Ing. habil. Steinbach Bernhard-von-Cotta Str. 1 09596 Freiberg or e-mail to [EMAIL PROTECTED] ------------------------------------------------------------------------------ reservation form: ------------------------------------------------------------------------------ Freiberg - Information Tel. (49) 03731 273266 Burgstrasse 1 Fax: (49) 03731 273260 D-09599 Freiberg e-mail:[EMAIL PROTECTED] HOTEL/PRIVATE HOME ROOM RESERVATION 4th Wokshop on Boolean Problems September 21-22, 2000 in Freiberg (Sachsen) As a partixipant in this conference, I am reserving: Single room(s) from (arrival) to (departure) Category Double room(s) from (arrival) to (departure) Category __________________________________________________________________________________ Category A: Single room 90,00- 130,00 DM (***/****Hotel) Double room 140.00-180,00 DM Category B: Single room 60,00- 80,00 DM (pension /bed and breakfest) Double room 80,00- 110,00 DM Category C: Single room 30,00- 45,00 DM (privat home) Double room 50,00- 70,00 DM (private home) _________________________________________________________________________________ especially wishes: _________________________________________________________________________________ Arrival: by Car by Railway I will also accept other room categories (higher/lower prices) if the category I have marked is no longer available. Reservations are binding. Guests must check in on the specified date. In case they do not occupy the room, guests are required to pay the hotel/renter damages. (Latest date to cancel: 1 day before arrival) City, date:_____________________ Signature:_______________________________ ______________________________________________________________________only by fax From: (please print): Title/Name, Country Street Postal Code, City Phone Fax e-mail -----------------------------------------------------------------------------------
