17th International Workshop
on Boolean Problems

September 17-18, 2026, 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.


Submission Details

AIWSBP solicits the submission of original research articles as full-length research papers that will be published in the IEEE Embedded Systems Letters (ESL) or in an informal digest of papers that will only be distributed among the participants of the workshop. All publications have to be presented in person at IWSBP'26.
The ESL publication will be four pages describing complete works and will follow the guidelines of IEEE ESL. Some authors whose papers have received major revision from the IEEE ESL submission may present their paper at the IWSBP and submit it according to the guidelines of the workshop. Minor revisions and accepted papers can be directly presented at the IWSBP. Direct submissions to IWSBP should be up to 16 pages in the LNCS format. All submission details can be found in the to 16 pages in the LNCS format. All submission details can be found in the Submission Details.

Venue

Bremen | Germany

Topics of interest

Boolean logic
Bitvector arithmetic
Verification and validation
Application to real-world problems
Digital VLSI Design
Dynamic analysis
Reasoning problems and algorithms
Beyond Boolean logic (e.g. multiple-valued, quantum, reversible)
(Self-)Explanations

Call for Papers

Paper submission deadline:
June 16, 2026
Paper notification deadline:
July 16, 2026
Camera ready version:
August 11, 2026

Organization

General chair

Rolf Drechsler


Program chairs

Chandan Kumar Jha


Bernhard J. Berger