16th International Workshop
on Boolean Problems

September 19-20, 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

All accepted papers will be distributed among the participants of the workshop in an informal digest of papers. Selected papers may be invited for a special issue of the journal „it- Information Technology“ - a computer science journal existing since 1959! The reviews provided for the workshop contribution will be used for the first iteration of the journal articles. Accepted papers must be presented at the workshop. We will have poster presentations and oral presentations.


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 logic
Bitvector arithmetic
Verification and validation
Application to real-world problems
Dynamic analysis
Reasoning problems and algorithms
Beyond Boolean logic (e.g. multiple-valued, quantum, reversible)

Call for Papers

Paper submission deadline:
June 9th, 2024
Author notification:
July 14th, 2024
Camera ready version:
August 11th, 2024

Organization

General chair

Rolf Drechsler


Program chair

Görschwin Fey