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 5th 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_bp5/
I am looking forward to meet you in Freiberg.
Best regards
Prof. Dr.-Ing. habil. B. Steinbach
---------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------
invitation and program
Freiberg University of Mining and Technology
5th International Workshop on Boolean Problems
September 19-20, 2002, 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. The invited speakers Prof. Robert
K. Brayton (University of California, Berkeley, USA) and Prof. Tsutomu Sasao
(Kyushu Institute of Technology, Iizuka, Japan) present essential results of their
research.
Topics of Interest
Theory
Properties and applications of Boolean Algebras
Data Structures and Algorithms
Modeling
Specification of data structures/Algorithms
Complexity
Program Systems/Software
Fundamental software for the solution of Boolean Problems
Comparison of efficiency
Practical Applications
Modeling
Multi-valued logic, reversible logic, and quantum logic
Solution of real-world problems
Program Committee
Prof. B. Becker, Universit�t Freiburg
Prof. T. Sasao, Kyushu Institute, Iizuka
Prof. J. Hlavicka, Czech Technical University
Prof. B. Steinbach, TU BA Freiberg
Prof. Ch. Meinel, Universit�t Trier
Prof. A. Zakrevskij, Academy of Science, Minsk
Prof. M. A. Perkowski, Portland State University
Conference Language: English
Program
Thursday, September 19, 2002
09:00 - 10:00 Invited Talk (Robert Brayton, Berkeley, USA)
A. Mishchenko (Portland State University, USA),
R. Brayton (University of California, Berkeley, USA):
A Theory of Non-Deterministic Networks
10:15 - 12:00 Session 1
G. Negovetic, M. Perkowski, M. Lukac (Portland State University, USA),
A. Buller (Human Information Science Laboratories, Kyoto, Japan):
Evolving quantum circuits and an FPGA-based Quantum Computing Emulator
A. N. Al-Rabadi, L. W. Casperson, M. Perkowski, X. Song (Portland
State University, USA):
Canonical Representations for Two-Valued Quantum Computing
M. Lukac, M. Pivtoraiko, A. Mishchenko, M. Perkowski (Portland State
University, USA):
Automated Synthesis of Generalized Reversible Cascades using Genetic
Algorithms
P. Kerntopf (Warsaw University of Technology, Poland):
On Universality of Binary Reversible Logic Gates
13:00 - 15:00 Excursion into the Mine "Reiche Zeche"
15:30 - 17:00 Session 2
R. S. Stankovic (Dept. of Computer Science, Nis, Yugoslavia),
J. T. Astola (Tampere University of Technology, Finland):
Relationships between Logic Derivatives and Ternary Decision Diagrams
Ch. Posthoff (The University of The West Indies, Trinidad & Tobago),
B. Steinbach (Freiberg University of Mining and Technology, Germany):
Functions Implicitly Defined by Logic Equations - Unique Solutions
A. Zakrevskij, I. Vasilkova (Institute of Engineering Cybernetics of
NAS, Belarus):
Reducing Search Trees to Accelerate Solving Large Systems of Boolean
Equations
J. C. Bioch (Erasmus University Rotterdam, Netherlands):
Complexity of Boolean function decomposition
17:15 - 19:00 Session 3
P. Fiser, J. Hlavicka (Czech Technical University Prague, Czech):
A Flexible Minimization and Partitioning Method
Ch. Dorotska, B. Steinbach (Freiberg University of Mining and
Technology, Germany):
Orthogonal Block Change & Block Building Using Ordered Lists of
Ternary Vectors
Y. Pottosin, E. Shestakov, V. Tomashev (Institute of Engineering
Cybernetics of NAS, Belarus):
Generalized Shannon Expansion and Its Application for Multiplex
Decomposition of Boolean Functions
H. Kubatova, M. Becvar (Czech Technical University Prague, Czech):
FEL�Code: FSM Internal State Encoding Method
L. Cheremisinova (Institute of Engineering Cybernetics of NAS,
Belarus):
Minimization of sequent automata implementing concurrent control
algorithms
19:30 Dinner Brauhof
Friday, September 20, 2002
09:00 - 10:00 Invited Talk (Tsutomu Sasao, Iizuka, Japan)
T.Sasao (Kyushu Institute of Technology, Iizuka, Japan):
Design Methods for Multi-Rail Cascades
10:15 - 12:00 Session 4
V. Ciriani, A. Bernasconi (University of Pisa, Italy):
2-SPP: a practical trade-off between SP and SPP synthesis
A. Gaidukov, (Irkutsk State University, Russian):
Algorithm to derive mimimum ESOP for 6-variable function
G. Fey, R. Drechsler (University of Bremen, Germany):
Minimizing the Number of Paths in BDDs
A. Jutman, J. Raik, R. Ubar (Tallinn Technical University, Estonia):
SSBDDs: Advantageous Model and Efficient Algorithms for Digital
Circuit Modeling, Simulation & Test
13:00 - 14:45 Session 5
S. Guthridge, M. Perkowski (Portland State University, USA):
Rectangular Davio Lattice Structures
S.Guthridge, M.Perkowski (Portland State University, USA):
Test Generation for Triangular Davio Lattice Structures
H. Rahaman (Indian Institute of Information Technology,Calcutta,
India),
D. K. Das (Computer Sc. & Engg., Jadavpur University, Calcutta, India),
B. B. Bhattacharya (Indian Statistical Institute, Calcutta, India):
A Simple Delay-Testable Design of Digital Summation Threshold Logic
(DSTL) Array
R. Drechsler (University of Bremen, Germany),
S. H�reth (Infineon Technologies AG, M�nchen, Germany):
Gatecomp: Equivalence Checking of Digital Circuits in an Industrial
Environmentt
D.Fr�hlich (University of Applied Sciences Mittweida, Germany)
Use-Case Driven HW/SW-Partitioning of Dynamically Reconfigurable
Systems
15:00 - 17:30 Session 6
Y. Novikov (Institute of Engineering Cybernetics of NAS, Belarus):
Local search for Boolean relations on the basis of unit propagation
A. S. Baluck, S. F. Vinokurov (Irkutsk State University, Russian):
Classes of Operator Forms
M. Perkowski, A. Mishchenko (Portland State University, USA):
Logic Synthesis for Regular Layout using Satisfiability
B. Steinbach, R. Kohut (Freiberg University of Mining and Technology,
Germany):
Neural Networks � A Model of Boolean Functions
W.-M. Wendler (FHS Braunschweig/Wolfenb�ttel, Germany):
General Remarks on Lineal Binary System Theory
W.-M. Wendler (FHS Braunschweig/Wolfenb�ttel, Germany):
Linear Binary Autonomous Systems
U. Wong, M. Perkowski (Portland State University, USA):
A New Approach to Robot�s Imitation of Behaviors by Decomposition of
Multiple-Valued Relations
General Chair
Prof. Dr.-Ing. B. Steinbach,
TU Bergakademie Freiberg, Institut f�r Informatik,
Akademiestr. 6, D-09596 Freiberg, Germany,
Phone +49 (03731) 39-2568, FAX +49 (3731) 39-2645,
E-mail: [EMAIL PROTECTED]
Conference Coordinator
G. Kempe,
TU Bergakademie Freiberg, Institut f�r Informatik,
Akademiestr. 6, D-09596 Freiberg, Germany,
Phone +49(03731) 39-3197, FAX. +49(03731) 39-2645,
E-mail: [EMAIL PROTECTED]
Please register for the workshop by August 31, 2002 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 19,
2002. The workshop fee is 25 Euro. The fee includes one copy of the
proceedings, an excursion into the mine "Reiche Zeche", 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 7040/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_bp5/
-----------------------------------------------------------------------------------------------------------------
registration form
Registration for the 5th International Workshop on Boolean Problems
September 19-20, 2002 in Freiberg (Sachsen)
(Registration Deadline: August 31, 2002)
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 25 Euro
...... additional copies of the proceedings (12 Euro per copy)
...... additional pages of own paper (10 Euro per page)
...... 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]
-----------------------------------------------------------------------------------------------------------------
room reservation form
An
Fremdenverkehrsamt der Stadt Freiberg Tel. (49) 03731 273266
Obermarkt 24 Fax: (49) 03731 273260
D-09599 Freiberg e-mail: [EMAIL PROTECTED]
HOTEL/PRIVATE HOME ROOM RESERVATION
FOR 5th Wokshop on Boolean Problems
September 19-20, 2002 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 50,00-75,00 Euro (***/****Hotel)
Double room 60,00-90,00 Euro
Category B: Single room 25,00-46,00 Euro (pension /bed and
breakfest)
Double room 41,00-57,00 Euro
Category C: Single room 18,00-26,00 Euro (privat home)
Double room 26,00-36,00 Euro (private home)
exspezialy 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
________________________________________________________________________________
Enrollment until is welcome
