<div dir="ltr"><p class="MsoNormal">CFP: 11th International Workshop on Boolean Problems
(IWSBP’14)</p>
<p class="MsoNormal">Freiberg (Sachs.), Germany, September 17 - 19, 2014</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"><a href="http://www.informatik.tu-freiberg.de/prof2/ws_bp11/index.html">http://www.informatik.tu-freiberg.de/prof2/ws_bp11/index.html</a></p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">Important Dates:</p>
<p class="MsoNormal">Submission deadline: April 30, 2014</p>
<p class="MsoNormal">Notification of acceptance: June 6, 2014</p>
<p class="MsoNormal">Final version due: July 6, 2014</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">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.
It is intended to publish the papers in proceedings. </p>
<p class="MsoNormal">The invited speakers will be:</p>
<p class="MsoNormal">- Mitch Thornton (SMU Dallas (Texas), USA),</p>
<p class="MsoNormal">- Jaap van den Herik (Tilburg University, Netherlands), and</p>
<p class="MsoNormal">- Shinobu Nagayama (Hiroshima City University, Japan)</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">Topics of interest include, but are not limited to:</p>
<p class="MsoNormal">- Theory</p>
<p class="MsoNormal">- Properties and applications of Boolean Algebras</p>
<p class="MsoNormal">- Data Structures and Algorithms</p>
<p class="MsoNormal">- Modeling</p>
<p class="MsoNormal">- Specification of data structures/Algorithms</p>
<p class="MsoNormal">- Complexity</p>
<p class="MsoNormal">- Program Systems/Software</p>
<p class="MsoNormal">- Fundamental software for the solution of Boolean Problems</p>
<p class="MsoNormal">- Comparison of efficiency</p>
<p class="MsoNormal">- Practical Applications</p>
<p class="MsoNormal">- Application of Boolean Algebra in FPGA synthesis</p>
<p class="MsoNormal">- Quantum logic, reversible logic, and multi-valued logic</p>
<p class="MsoNormal">- Solution of real-world problems</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">Submissions:</p>
<p class="MsoNormal">To submit a paper, please send an extended abstract, as a
PDF file no longer than 6 pages using the workshop web page:
<a href="http://www.informatik.tu-freiberg.de/prof2/ws_bp11/">http://www.informatik.tu-freiberg.de/prof2/ws_bp11/</a> </p>
<p class="MsoNormal">or send a PDF file to: <a href="mailto:iwsbp2014@informatik.tu-freiberg.de">iwsbp2014@informatik.tu-freiberg.de</a></p>
<p class="MsoNormal">by April 30, 2014.</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">General Chair: Prof. Dr.-Ing. B. Steinbach, TU Bergakademie
Freiberg</p>
<p class="MsoNormal">Conference Coordinator: Dr.-Ing. G. Rudolf, TU Bergakademie
Freiberg</p>
<p class="MsoNormal">Publicity Chair: M. Velev, Aries Design Automation, USA</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">Program Committee:</p>
<p class="MsoNormal">- M. Adamski, University of Zielona Gora, Poland</p>
<p class="MsoNormal">- J. Butler, Naval Postgraduate School Monterey, USA</p>
<p class="MsoNormal">- R. Berghammer, C-A-University of Kiel, Germany</p>
<p class="MsoNormal">- L. Cheremisinova, Minsk Academy of Science, Belarus</p>
<p class="MsoNormal">- D. Debnath, Oakland University, USA</p>
<p class="MsoNormal">- R. Drechsler, University of Bremen, Germany</p>
<p class="MsoNormal">- E. Dubrova, Royal Institute of Technology (KTH), Sweden</p>
<p class="MsoNormal">- G. Dueck, University of New Brunswick, Canada</p>
<p class="MsoNormal">- V. Gaudet, University of Waterloo, Ontario, Canada</p>
<p class="MsoNormal">- D. Große , University of Bremen, Germany</p>
<p class="MsoNormal">- A. Karatkevich, University of Zielona Gora, Poland</p>
<p class="MsoNormal">- P. Kerntopf, Warsaw University of Technology and
University of Lodz, Poland</p>
<p class="MsoNormal">- I. Levin, Tel Aviv University, Israel</p>
<p class="MsoNormal">- T. Luba, Warsaw University of Technology, Poland</p>
<p class="MsoNormal">- M. Lukac, Tohoku University, Sendai, Japan</p>
<p class="MsoNormal">- M. Miller, University of Victoria, Canada</p>
<p class="MsoNormal">- C. Moraga, TU Dortmund, Germany</p>
<p class="MsoNormal">- M. A. Perkowski, Portland State University, USA</p>
<p class="MsoNormal">- Y. Pottosin, Minsk Academy of Science, Belarus</p>
<p class="MsoNormal">- T. Sasao, Kyushu Institute of Technology, Japan</p>
<p class="MsoNormal">- Ch. Scholl, University of Freiburg, Germany</p>
<p class="MsoNormal">- R. Stankovic, University of Nis, Serbia</p>
<p class="MsoNormal">- B. Steinbach, University of Freiberg, Germany</p>
<p class="MsoNormal">- R. Ubar, Tallinn Technical University, Estonia</p>
<p class="MsoNormal">- M. Velev, Aries Design Automation, USA</p>
<p class="MsoNormal">- R. Wille, University of Bremen, Germany</p>
<p class="MsoNormal">- S. Yanushkevich, University of Calgary, Canada</p>
<p class="MsoNormal">- A. D. Zakrewskij, Minsk Academy of Science, Belarus</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">Conference Language: English</p></div>