The call for papers for the 79 workshops organized within the Federated Logic Conference are now available.

The three workshops associated to the SAT conference are Pragmatics of SAT, Quantified Boolean Formulas and Beyond and Proof Complexity.