The main conference begins today. The first session, chaired by Armin Biere, is on QBF. In rest of the day, we will have sessions on applying SAT to Quantum circuits, the preprocessor, portfolio, and MaxSAT. An exciting day ahead at FLoC2022.