15th International Workshop
on Boolean Problems

September 22-23, 2022, Bremen, Germany

The International Workshop on Boolean Problems addresses the scientific exchange on problems related to Boolean logic and Boolean algebra. It also includes problems of a discrete mathematical nature. The workshop provides a forum for researchers and engineers from different disciplines to exchange ideas as well as to discuss problems and solutions. The workshop is devoted to both theoretical discoveries and practical applications. One important aim is to initiate collaborative research and to find new areas of application.

Workshop format

Accepted papers will be distributed among the participants of the workshop. Selected papers are invited to be published in post proceedings.


Submission format

Please send papers using the LNCS template. Papers should not exceed 16 pages. Templates for LaTeX and Microsoft Word can be found here.

Submission is closed.


Venue

Bremen | Germany

Topics of interest

Boolean algebras
Boolean logic
Boolean modelling
Combinatorial Search
Boolean and bitwise arithmetic
Software and tools for the solution of Boolean problems
Applications of Boolean logic and algebras
Applications to real-world problems
Boolean constraint solving
Extensions of Boolean logic (e.g., fuzzy logic, multiple-valued logic, quantum logic, reversible logic)


Call for Papers

Paper submission deadline:
July 7, 2022 (extended)
Author notification:
August 22, 2022
Camera-ready version deadline:
August 31, 2022

Organization

General chair

Rolf Drechsler


Program chair

Sebastian Huhn