[Proof Complexity] SLOPPY workshop on pseudo-Boolean solving and optimization in Lund (and on Zoom) November 5-7

[Jakob Nordström]

Dear all,

With apologies for the very short forward notice, this is to announce 
that the /*1st International Workshop on Solving Linear Optimization 
Problems for Pseudo-Booleans and Yonder (SLOPPY ‘24)* /will be held *at 
Lund University from Tuesday November 5 to Thursday November 7*, with a 
collection of research presentations as listed at 
https://jakobnordstrom.se/SLOPPY24/#program.

In more detail, the program will consist of *one full day of tutorials 
followed by two days of a mix of research talks and discussions.* The 
purpose is to create a venue for discussing pseudo-Boolean solving and 
optimization, where we can enjoy technical presentations of recent and 
ongoing research and talk about the potential for collaboration on 
research and/or solver development in different directions. Since 
pseudo-Boolean tools and techniques have recently come up also in 
contexts such as mixed integer linear programming (MIP) and constraint 
programming (CP) --- that is the "yonder" part in the workshop title --- 
we hope for the workshop conversations to cover a wide range of topics.

*For more information *about the workshop presentations and speakers, 
*please see the webpage https://jakobnordstrom.se/SLOPPY24/* (which also 
contains lots of practical information). We will try to *stream most of 
the talks over Zoom using the meeting link 
https://lu-se.zoom.us/j/61925271827*, but we do not expect to conduct 
the informal afternoon discussions with Zoom participation.

If you have any questions about the workshop (that are not answered by 
the workshop webpage), please do not hesitate to send me a message!

Best regards,
Jakob Nordström

Jakob Nordström, Professor
University of Copenhagen and Lund University
Phone: +45 28 78 38 11 / +46 70 742 21 98
https://jakobnordstrom.se