[Proof Complexity] Workshop "Satisfiability: Theory, Practice, and Beyond" April 17-21

Jakob Nordström jn at di.ku.dk
Thu Apr 6 23:58:29 CEST 2023

Dear colleagues,

I would be most grateful if you could help us spread information about the workshop "Satisfiability: Theory, Practice, and Beyond", which will be held April 17-21 at the Simons Institute for the Theory of Computing at UC Berkeley.

You can find more information about the workshop at https://simons.berkeley.edu/workshops/satisfiability-theory-practice-beyond, but, very briefly, the purpose is to collect leading researchers from theoretical and applied research areas related to SAT and combinatorial optimization more broadly to stimulate an exchange of ideas and techniques.

The workshop is open to all participants who register via the workshop webpage, and it is possible to participate both physically on site in Berkeley and virtually over video.

Best regards,
Jakob Nordström

Jakob Nordström, Professor
University of Copenhagen and Lund University
Phone: +46 70 742 21 98

More information about the Proof-Complexity mailing list