[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

(Apologies for multiple copies)

First Workshop on Automated Deduction for Separation Logics, Oxford, UK, July 
13th 2018


The goal of this workshop is to bring together academic researchers and 
industrial practitioners focused on improving the state of the art of automated 
deduction methods for Separation Logics. We will consider technical submissions 
presenting work on the following topics (the list is not exclusive):

        • the integration of Separation Logics with SMT,
        • proof search and automata-based decision procedures for Separation 
Logics and sister logics such as Bunched Implication Logic;
        • computational complexity of logical problems such as satisfiability, 
entailment and abduction;
        • alternative semantics and computation models based on the notion of 
        • application of separation and resource logics to different fields, 
such as sociology and biology.

The workshop is affiliated with the 33rd Annual ACM/IEEE Symposium on Logic in 
Computer Science (LICS 2018) and part of the Federated Logic Conference 2018 
(FLOC 2018).

The workshop will present the results of the second edition of SL-COMP, the 
competition of solvers for Separation Logic which is will be organised before 
the workshop. A separate call for contributions will follow for SL-COMP'18.

Invited speakers: 

David Pym (University College London and The Alan Turing Institute, UK)
Viktor Vafeiadis (Max Planck Institute for Software Systems, Kaiserslautern, 

Important dates:

Papers due: 20th of April 2018
Author notification: 18th of May 2018
Workshop: 13 July 2018

Program committee

Philippa Gardner (Imperial College London)
Josh Berdine (Facebook)
James Brotherston (University College London)
Stéphane Demri (CNRS, LSV, ENS Paris-Saclay)
Nikos Gorogiannis (Middlesex University London, Facebook)
Mihaela Sighireanu (University of Paris Diderot)
Christoph Haase (University of Oxford)
Radu Iosif (VERIMAG, CNRS, University of Grenoble Alpes)
Bart Jacobs (University of Leuven)
Etienne Lozes (University of Nice)
Daniel Méry (LORIA, Nancy)
Peter O’Hearn (University College London, Facebook)
Madhusudan Parthasarathy (University of Illinois)
Nicolas Peltier (LIG, CNRS, University of Grenoble Alpes)
Thomas Wies (Courant Institute, New York University)


Radu Iosif (VERIMAG, CNRS, University of Grenoble Alpes)
Nikos Gorogiannis (Middlesex University London, Facebook)

Reply via email to