13th International Workshop
on Boolean Problems

September 19-21, 2018, 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 will be invited to be published in a Springer book entitled "Advanced Boolean Techniques".


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.

Submit paper


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: May 27, 2018
Author notification: July 8, 2018

Organization

General chair

Rolf Drechsler


Program chair

Mathias Soeken, EPFL