/***
name = SL-comp
date = 2018-07-10
image = :actualites:ressources:conf-floc2018.png
image tag = FLOC18
extra link = https://bit.ly/2J3Otu9
for 2 months until 13 June 2018, priority=low
for 2 weeks until 13 June 2018, priority=normal
for 1 week until 13 June 2018, priority=high
notion = separation logic
notion text = {**Separation logic** is a language for describing properties and reasoning about programs that use mutable data structures (i.e. memory cells and pointers). Separation logic has a special support for local reasoning, which is the ability to use and compose properties that involve a subset of the data configuration only: it //separates// the relevant portion of the data structure from the irrelevant one. Local reasoning gives more compact proofs and specifications for imperative programs than with prior formalisms. Furthermore, it helps with the scalability of proofs done in automatic and semi-automatic verification and program analysis tools.}
***/
[[https://www.irif.fr/~sighirea/|Mihaela Sighireanu]] (IRIF) is organizing the second edition of SL-COMP, a competition of solvers for separation logic. The final results will be presented at ADSL 2018, a workshop of FLOC2018, which will take place in Oxford on the 13.07.18.