Website der TU Freiberg Website der Fakultät 1 Telefon- und E-Mail-Verzeichnis der TU BAF Online Katalog der Universitätsibliothek
Technische Universitaet Bergakademie Freiberg
Verschiedene Links
Institut für Informatik

12th International Workshop on Boolean Problems

September 22-23, 2016

Workshop Boolean Problems





Program



Synopsis

Topics of interest

Submissions

Guidelines to prepare
a paper

Registration

Room reservation

Excursion

Program Committee

Conference Language

Contacts



Previous Events



News

the workshop program you can find here
information about the excursion: Mining tour (1.5 hours)
the dinner location: "Ratskeller Freiberg", Obermarkt 16

News for authors

Please observe:
duration of a presentaion: 25 minutes including discussion
optional submission of presentations by September 19

Synopsis

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. The invited speakers
  • Rolf Drechsler (University of Bremen, Germany), and
  • Gerhard Dueck (University of New Brunswick, Canada)
are presenting essential results of their research.

Topics of interest (not limited to)

  • 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
    • Utilization of the available cores on both the CPU and GPU for the computations
    • Comparison of efficiency
  • Practical Applications
    • Application of Boolean Algebra in analysis, synthesis, and test of circuits
    • Quantum logic, reversible logic, and multi-valued logic
    • Solution of real-world problems

Submissions

Please send the final version of your paper as a PDF file no longer than 8 pages using the workshop web page

http://www.informatik.tu-freiberg.de/prof2/ws_bp12/

or send a PDF file to

iwsbp2016@informatik.tu-freiberg.de

by July 16, 2016.

Submission of Paper

Guidelines to prepare a paper

Program Committee

  • J. Butler, Naval Postgraduate School Monterey, USA
  • R. Berghammer, C-A-University of Kiel, Germany
  • L. Cheremisinova, Minsk Academy of Science, Belarus
  • D. Debnath, Oakland University, USA
  • R. Drechsler, University of Bremen, Germany
  • E. Dubrova, Royal Institute of Technology (KTH), Sweden
  • G. Dueck, University of New Brunswick, Canada
  • V. Gaudet, University of Waterloo, Ontario, Canada
  • D. Große , University of Bremen, Germany
  • A. Karatkevich, University of Zielona Gora, Poland
  • O. Keren, Bar-Ilan University, Israel
  • P. Kerntopf, Warsaw University of Technology and University of Lodz, Poland
  • I. Levin, Tel Aviv University, Israel
  • T. Luba, Warsaw University of Technology, Poland
  • M. Lukac, Tohoku University, Sendai, Japan
  • M. Miller, University of Victoria, Canada
  • C. Moraga, TU Dortmund, Germany
  • M. A. Perkowski, Portland State University, USA
  • Y. Pottosin, Minsk Academy of Science, Belarus
  • T. Sasao, Kyushu Institute of Technology, Japan
  • Ch. Scholl, University of Freiburg, Germany
  • M. Soeken, EPFL, Switzerland
  • R. Stankovic, University of Nis, Serbia
  • B. Steinbach, University of Freiberg, Germany
  • R. Ubar, Tallinn Technical University, Estonia
  • M. Velev, Aries Design Automation, USA
  • A. De Vos, University of Gent, Belgium
  • R. Wille, University of Bremen, Germany
  • S. Yanushkevich, University of Calgary, Canada

Registration

REGISTRATION DEADLINE - September 1, 2016

Please register for the workshop using the registration system at

http://www.informatik.tu-freiberg.de/prof2/ws_bp12/

or sending the completed registration form by e-mail to iwsbp2016@informatik.tu-freiberg.de.

Room reservation

For a room, please contact Tourist-Information Freiberg directly using a web side online reservation or a reservation form room_reservation.pdf (304KB).

Excursion

Information about our excursion you can find on the website "Besucherbergwerk Freiberg"

Conference Language: English

Contacts


Previous Events