[TYPES/announce] First Workshop on Automated Deduction for Separation Logics (ADSL): Call for Papers

radu.iosif at univ-grenoble-alpes.fr radu.iosif at univ-grenoble-alpes.fr
Wed Dec 6 02:58:19 EST 2017


(Apologies for multiple copies)

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

http://adsl.univ-grenoble-alpes.fr/ <http://adsl.univ-grenoble-alpes.fr/>

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 resource;
	• 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, Germany)

Important dates:

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

Program committee

Josh Berdine (Facebook)
James Brotherston (University College London)
Stéphane Demri (CNRS, LSV, ENS Paris-Saclay)
Nikos Gorogiannis (Middlesex University London, Facebook)
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)

Organisation

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



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20171206/30999207/attachment-0001.html>


More information about the Types-announce mailing list