TU Freiberg Fakultät 1 Telefon- und E-Mail-Verzeichnis der TU BAF Büchersuche
Technische Universitaet Bergakademie Freiberg
Verschiedene Links
Institut für Informatik

10th International Workshop on Boolean Problems

September 19-21, 2012

Workshop Boolean Problems





Call for Papers



Synopsis

Topics of interest

Program

Program Committee

Conference Language

Contacts



Previous Events



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
  • Mitch Thornton (SMU Dallas (Texas), USA),
  • Raimund Ubar (TTU Tallinn, Estonia), and
  • Vincent Gaudet (University of Waterloo, 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
    • Comparison of efficiency
  • Practical Applications
    • Application of Boolean algebra in FPGA synthesis
    • Quantum logic, reversible logic, and multi-valued logic
    • Solution of real-world problems

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
  • D. Große , University of Bremen, Germany
  • I. Levin, Tel Aviv University, Israel
  • T. Luba, Warsaw University of Technology, Poland
  • 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
  • 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
  • S. Yanushkevich, University of Calgary, Canada
  • A. D. Zakrewskij, Minsk Academy of Science, Belarus

Conference Language: English

Contacts


Previous Events