CFP
ADSL 2020: Automated Deduction for Separation Logics New Orleans, LA, United States, January 20, 2020 |
Conference website | https://popl20.sigplan.org/home/adsl-2020 |
Submission link | https://easychair.org/conferences/?conf=adsl2020 |
Submission deadline | November 1, 2019 |
Author notification | December 15, 2019 |
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 resource logics such as Separation Logic and other variants of Bunched Implications.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference.
List of Topics
- the integration of resource logics with SMT
- proof search and automata-based decision procedures for resource logics
- 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
Committees
Program Committee
- Zhilin Wu
- Radu Iosif
- Dominique Larchey-Wendling
- Stephane Demri
- Peter O'Hearn
- David Pym
- James Brotherston
- Nikos Gorogiannis
- Thomas Wies
Organizing committee
- Nikos Gorogiannis
- Radu Iosif
Invited Speakers
- TBA
- TBA
Publication
ADSL 2020 will not publish formal proceedings.
Venue
The conference will be held in New Orleans, Louisiana, USA.
Contact
All questions about submissions should be emailed to Radu Iosif <radu.iosif@univ-grenoble-alpes.fr> and Nikos Gorogiannis <nikos.gorogiannis@gmail.com>