[TYPES/announce] CFP SL-COMP 2022

[Mihaela Sighireanu]

SL-COMP 2022
Separation Logic Competition
Fourth edition
https://urldefense.com/v3/__https://sl-comp.github.io/__;!!IBzWLUs!H3YWEA227Zk7CIt-ajlyaLR3aVCKL8nZ92Von4NqCRGNOXz_Y8PjNjbrQsrgcK4nhMntvxE3nQr70Q$ 

        part of the

FLoC 2022 Olympic Games
and
ASL 22 Workshop at IJCAR
31 July 2022


The fourth edition of the Separation Logic Competition (SL-COMP)
is directed at solvers for fragments of Separation Logics.
The competition started at FLoC 2014 and continued to attract
new solvers and to improve its benchmarks during the following
editions at FLoC 2018 and TOOLympics 2019.


SL-COMP compares the performances of sound, fully automatic solvers
for Separation Logics in terms of:
   + fragments dealt,
   + number of problems solved for each fragment, and
   + average runtime for problems solved.

The benchmark foreseen for this edition includes various extensions
of the symbolic heap fragment (quantified or quantifier-free formulas,
various classes of inductively defined predicates, arithmetic 
constraints) and the general boolean combination of SL atoms.
New problems may be proposed for the existing divisions or
for new divisions. The proposals should be sent by email to
the competition's organisers.


The participants can register their solver by sending to
organisers a short description, a web page, and a corresponding person.
The corresponding person will be in charge of providing a
version of the tool compatible with the StarExec platform 
(https://urldefense.com/v3/__http://www.starexec.org__;!!IBzWLUs!H3YWEA227Zk7CIt-ajlyaLR3aVCKL8nZ92Von4NqCRGNOXz_Y8PjNjbrQsrgcK4nhMntvxE-OIP1pw$ ) and of training the solver on the
final benchmark of the competition.
The participating solvers will be invited to present (online)
their tool at a session dedicated to SL-COMP
during the Advancing Separation Logic (ASL 2022) workshop:

     https://urldefense.com/v3/__https://asl-workshop.github.io/asl22/__;!!IBzWLUs!H3YWEA227Zk7CIt-ajlyaLR3aVCKL8nZ92Von4NqCRGNOXz_Y8PjNjbrQsrgcK4nhMntvxH2z9ulVg$ 

Further details are available at:

     https://urldefense.com/v3/__https://sl-comp.github.io/__;!!IBzWLUs!H3YWEA227Zk7CIt-ajlyaLR3aVCKL8nZ92Von4NqCRGNOXz_Y8PjNjbrQsrgcK4nhMntvxE3nQr70Q$ 


Important dates:
================
- Problems proposals:      May  31, 2022
- Solver registration:     June 15, 2022
- Training period:         June 15 - July 15, 2022
- Competition rounds:      July 15 - July 30, 2022
- Presentation of results: July 31, 2022


Organisers of SL-COMP 2022
==========================
Quang Loc Le <loc.le at ucl.ac.uk>
Mihaela Sighireanu <mihaela.sighireanu at ens-paris-saclay.fr>