As in previous years, the SAT conference hosts several competitive events which run before the conference and whose results are disclosed during the conference.
This year, the following competitive events will be organized:
The day before the conference, Monday July 4th, will be a workshop day. For the moment, the workshops having been organized for a while with the SAT conference has been reconducted this year.
Using SAT solvers to tackle industrial problems led to several success stories, the most visible one being the quick adoption of SAT technology in formal verification companies.
The research community has provided in the past 15 years a wide range of tools (solvers) which can be used in companies. However, having access to efficient solvers is often not sufficient to be able to tackle a specific problem with SAT technology. A specific expertise is needed for instance to translate the original problem to feed the solver, the choice of the solver may also be of crucial importance.
Furthermore, SAT technology empowers a wide range of tools and methods to solve both optimization problems (pseudo-Boolean optimization, MAXSAT) or problems strictly more complex that SAT (MUS, QBF).
The aim of the Industrial day is to allow current or prospective practitionners of SAT technology from companies to meet bleeding edge practitionners from academia to help them apply state of the art SAT practices.
Other practitionners from the SAT community have already confirmed their attendance:
The event is meant to allow attendees to test the tools presented during the day. As such, people are warmly encouraged to bring their own laptop. Most of the presented software are available as Linux binaries. VirtualBox vitual machines with a flavor of Linux will be available on site for people using another operating system.
The participants of the "Industrial day" are also encoureaged and welcome to attend the sessions of the last day of the conference, on July 8, dedicated to applications and competitive events. That way, they could also get a taste of the brand new applications and bleeding edge solvers techniques.
Since 2011, a SAT/SMT summer school is organized each year to train students on recent topics of SAT and Satisfiability Modulo Theory. This year, the SAT/SMT summer school joins forces with the automated reasoning community to propose a SAT/SMT/AR summer school right before IJCAR. The summer school will take place from June 22 to June 25 in Lisbon, Portugal. IJCAR is taking place in Coimbra, Portugal, from June 27 to July 2. More information can be found on the summer school web site/
Labri -- Laboratoire Bordelais de Recherche en Informatique
351, cours de la Libération,