<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>