COVID-19 Update:

The 14th International Workshop on Boolean Problems (IWSBP) organization committee has decided to move
IWSBP 2020 to a virtual event format scheduled for September 24 - 25, 2020 (i.e. dates have not changed).
*** Registration is free of charge ***


14th International Workshop
on Boolean Problems

September 24-25, 2020, 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

Virtual format. The registration is free of charge. Register here.

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 8, 2020 (extended)
Author notification:
August 26, 2020

Organization

General chair

Rolf Drechsler


Program chair

Daniel Große