16th International Workshop
on Boolean Problems

September, 2024, 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.

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 X, 2024
Author notification:
August XX, 2024
Camera-ready version deadline:
August XX, 2024

Organization

General chair

Rolf Drechsler


Program chair

Görschwin Fey