Open days of the Boole project will take place on June 20-21 (Thursday-Friday).

There will be talks on the following themes: Cryptography; Quantitative logic; Satisfiability, and fundamental research tools.
The talks summarizing the results obtained throughout the 4 years duration will be given by members of the project. Some of our foreign collaborators will also present results related to Boolean problems or to methodological tools.

The open days will take place in Paris at the Université Pierre et Marie Curie (Paris 6, campus Jussieu).

Further details will be available on the web site as soon as possible.

There is no fee, but for logistical reasons we ask you to register below.