<html><body><div style="font-family: arial, helvetica, sans-serif; font-size: 12pt; color: #000000"><div>Workshop on Advances in Separation Logics (ASL 2022), Haifa, Israel, July 31st 2022<br><br>https://asl-workshop.github.io/asl22/<br><br>The past two decades have witnessed important progress in static<br>analysis and verification of code with low-level pointer and heap<br>manipulations, mainly due to the development of Separation Logic<br>(SL). SL is a resource logic, a dialect of the logic of Bunched<br>Implications (BI) designed to describe models of the heap memory and<br>the mutations that occur in the heap as the result of low-level<br>pointer updates. The success of SL in program analysis is due to the<br>support for local reasoning, namely the ability of describing only the<br>resource(s) being modified, instead of the entire state of the<br>system. This enables the design of compositional analyses that<br>synthesize specifications of the behavior of small parts of the<br>program before combining such local specifications into global<br>verification conditions. Another interesting line of work consists in<br>finding alternatives to the underlying semantic domain of SL, namely<br>heaps with aggregative composition, in order to address other fields<br>in computing, such as self-adapting distributed networks, blockchain<br>and population protocols, social networks or biological systems.<br><br>We consider submissions on topics including:<br><br>   * decision procedures for SL and other resource logics,<br>   * computational complexity of decision problems such as satisfiability, entailment and abduction for SL and other resource logics,<br>   * axiomatisations and proof systems for automated or interactive theorem proving for SL and other resource logics,<br>   * verification conditions for real-life interprocedural and concurrent programs, using SL and other resource logics,<br>   * alternative semantics and computation models based on the notion of resource,<br>   * application of separation and resource logics to different fields, such as sociology and biology.<br><br>ASL 2022 is a workshop affiliated to IJCAR 2022 at FLOC 2022.<br><br>Keynote Speakers<br><br>   * Philippa Gardner, Imperial College London<br>   * Ralf Jung, MIT CSAIL<br><br>Important Dates<br><br>   * Papers due: May 10, 2022 (AoE)<br>   * Authors notification: June 15, 2022 (AoE)<br>   * Workshop: July 31, 2022<br><br>Program Committee<br><br>    Nadia Polikarpova (UCSD, San Diego, USA)<br>    James Brotherston (UCL, London, UK)<br>    Qinxiang Cao (Shanghai Jiaotong University)<br>    Dan Frumin (University of Groningen, The Netherlands)<br>    Lennart Beringer (Princeton University, USA)<br>    Arthur Charguéraud (INRIA Strasbourg, France)<br>    Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France)<br>    Le Quang Loc (UCL, London, UK)<br>    Alessio Mansutti (University of Oxford, UK)<br>    Christoph Matheja (DTU, Lyngby, Denmark)<br>    Daniel Méry (University of Loraine, France)<br>    Koji Nakazawa (Nagoya University, Japan)<br>    Nicolas Peltier (LIG, CNRS, Grenoble, France)<br>    Adam Rogalewicz (Brno University of Technology, Czech Republic)<br>    Mihaela Sighireanu (LMF, ENS Paris-Saclay, France)<br>    Florian Zuleger (Vienna University of Technology, Austria)<br><br>Organizing committee<br><br>    Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France)<br>    Nikos Gorogiannis (Meta, London, UK)<br>    Robbert Krebbers (Radboud Univ. Nijmegen, The Netherlands)<br>    Mihaela Sighireanu (LMF, ENS Paris-Saclay, France)<br>    Makoto Tatsuta (NII, Tokyo, Japan)<br>    Thomas Noll (RWTH, Aachen, Germany)<br><br data-mce-bogus="1"></div></div></body></html>